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

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

针对跨组织协同环境下的业务流程建模技术的不足,提出了一个新的用于跨组织业务流程的形式化建模方法。首先根据工作流管理联盟(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.