工作流建模语言XPDL到CSP进程的转化研究  

Formal semantics of XPDL specification in CSP process

作　　者：郭李华[1] 吕钊[1] 顾君忠[1] 

机构地区：[1]华东师范大学信息科学技术学院,上海200062

出　　处：《计算机应用》2008年第5期1295-1299,共5页journal of Computer Applications

基　　金：国家自然科学基金资助项目(60703004);上海市科学与技术发展基金资助项目(055107039)

摘　　要：针对工作流定义标准语言XPDL缺乏形式化语义,提出了将XPDL描述转化为通信顺序进程(CSP)的方法,从而可以利用进程代数CSP理论以加强对工作流模型的语义描述分析检测。通过实例分析具体说明转化方法的有效性。Aiming at that the notation specification of XPDL widely supported in practical workflow systems does not include a formal semantics, an approach of transforming XPDL to Communicating Sequential Process （CSP） process was proposed to enhance the formal semantic analysis of workflow process by the rigorous CSP theory. The effectiveness of the approach was verified through a case study.

关 键 词：工作流 XPDL CSP进程 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]