一种模型驱动的工作流过程定义途径

传统的工作流管理系统在互操作性，可复用性，可移植性和开发效率等方面遇到了挑战，MDA是解决上述挑战和问题的一种途径。在模型驱动的工作流管理系统中，工作流模型处于核心地位，本文首先给出了扩展的工作流元模型和基于Petri网的形式化工作流模型过程网。其次，运用模型驱动的途径，依据给出的工作流模型，本文提出了一种模型驱动的，用于快速构造工作流管理系统的框架。针对工作流过程模型，着重讨论了从基于EPC的过程CIM到基于过程网的过程PIM的转换（转换过程和转换规则），并以扩展的Petri网标注语言E-PNML规约了过程PIM。

A Model Driven Approach to Defining Workflow Process

Interoperability, reusability, portability and productivity are the real challenges for traditional workflow management system, MDA is an approach to meeting the challenges mentioned above. In the research area of model driven workflow management system, workflow model is the very core of the subject. As a start, extended workflow metamodel and Petri net based formal workflow model procedure net are introduced. And then, according to MDA and given workflow model, a model driven framework is proposed for rapidly building workflow management system. Finally, one of the key steps in the framework, i.e. transformation (process and rules)from EPC based process CIM to procedure net based process PIM, is discussed in detail, and E-PNML specification for process PIM is given.