A Survey of Workflow Modeling Approaches and Model Verification
工作流过程建模方法及模型的形式化验证

Workflow technology is widely used in business process modeling, software process modeling as well as enterprise information integration. At present, there exist a variety of workflow modeling approaches, which differ in the easiness of modeling, expressiveness and formalism. In this paper, the modeling approaches most used in research project and workflow products are compared. And the verification of workflow model is also dealt. We argue that a ideal workflow modeling approach is a hybrid one, i. e. the integration of the above approaches.