摘要
针对还没有工作流模型的执行过程的形式化描述的问题,给出工作流机处理步骤的操作语义描述。由于对过程实例和活动实例进行形式化描述,使得工作流机具有清晰的结构,易于不同的工作流机之间的协同工作,并且对工作流机的程序实现具有指导意义。
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.
出处
《吉林大学学报(信息科学版)》
CAS
2005年第3期311-315,共5页
Journal of Jilin University(Information Science Edition)
关键词
工作流元模型
工作流机
工作流模型
过程实例
活动实例
workflow meta model
workflow engine
workflow model
process instance
activity instance