工作流建模分析:WF_Net、pi演算、WM_semantics

Workflow model Analysis:WF_Net,pi Calculating,WM_Semantics

利用实例分析基于工作流网WF_Net,pi演算和工作流管理语义网WM_semantics在工作流建模过程中的优缺点,指出将以上建模理论的各自优势互相补充、合理整合,开发有效的过程建模理论,并将其应用于工作流过程模型的描述和分析是一种可行的方法。

With examples to analyze the advantage and disadvantage of workflow Net,pi calculus and workflow management semantic net in the building of workflow model,a workable way is found out to clarify the advantages and disadvantages of the above modeling theories.and how to make good use of both.Then the theory is applied in the description and analysis of work flow model.