![این مقاله در پایگاه ساینس دایرکت منتشر شده است Elsevier - ScienceDirect - الزویر - ساینس دایرکت](/assets/img/Elsevier-Logo.png)
Keywords: خودکار اتوماتیک حالت محدود; Business artifact; Business process; Document lifecycle; Lifecycle policy; UML statechart; Business Process Modelling Language; Linear Temporal Logic; Finite-state automata; Trace validation; Policy enforcement; Public-key encryption; Hash functions; Tamp