Operational Semantic of Workflow Engine and the Realizing Technique
Fu, Yanning, Liu ., Lei Lei, Zhao Zhao, Dong-fan, Jin, Longfei · 中国邮电高校学报：英文版 · 2005
At present, there is no formalized description of the executing procedure of workflow models. The procedure of workflow models executing in workflow engine is described using operational semantic. The formalized description of process instances and activity instances leads to very clear structure of the workflow engine, has easy cooperation of the heterogeneous workflow engines and guides the realization of the workflow engine function. Meanwhile, the software of workflow engine has been completed by means of the formalized description.