基于Pi-Calculus的跨组织工作流建模方法  

Modeling Method for Inter-Organizational Workflow Based on Pi-Calculus

作　　者：潘晓华[1] 冯志林[1] 尹建伟[1] 郑正平 董金祥[1] 

机构地区：[1]浙江大学计算机科学与工程系,浙江杭州310027 [2]浙江省交通规划设计研究院,浙江杭州310006

出　　处：《计算机应用研究》2006年第1期63-65,76,共4页Application Research of Computers

基　　金：国家"863"资助项目(2003AA411021;2001AA415220);国家自然科学基金资助项目(60273056)

摘　　要：针对跨组织协同环境下的业务流程建模技术的不足,提出了一个新的用于跨组织业务流程的形式化建模方法。首先根据工作流管理联盟(W fMC)的有关工作流过程定义接口规范,利用Pi-Calculus技术对跨组织业务流程结构进行了形式化定义。此外,利用Pi-Calculus特有机制对并发流程及其之间的通信进行描述。提出的方法可以有效用于不同业务流程间的协同工作,并且适合于对分布式协同环境下的工作流进行建模。Due to some defects on the existing modeling methods for supporting inter-organizational processes, a novel formal modeling method was proposed. According to the specifications of workflow process definition interface instituted by Workflow Management Coalition （ WfMC ）, firstly defined a formal foundation for structure modeling of inter-organizational business processes, which is based on Pi-Calculus technique. Then make use of the special mechanism provided bv the Pi-Calculus technology to describe parallel processes and their communication. The proposed method works well on the collaboration between different workflow processes and appropriates for the modeling of distributed cooperative workflow systems.

关 键 词：工作流建模 Pi—Calculus 跨组织流程 

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