工作流机的操作语义

Operational Semantic of Workflow Engine

针对还没有工作流模型的执行过程的形式化描述的问题,给出工作流机处理步骤的操作语义描述。由于对过程实例和活动实例进行形式化描述,使得工作流机具有清晰的结构,易于不同的工作流机之间的协同工作,并且对工作流机的程序实现具有指导意义。

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 the 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.