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

针对跨组织协同环境下的业务流程建模技术的不足，提出了一个新的用于跨组织业务流程的形式化建模方法。首先根据工作流管理联盟（WfMC）的有关工作流过程定义接口规范，利用PiCalculus技术对跨组织业务流程结构进行了形式化定义。此外，利用PiCalculus特有机制对并发流程及其之间的通信进行描述。提出的方法可以有效用于不同业务流程间的协同工作，并且适合于对分布式协同环境下的工作流进行建模。

Modeling Method for Inter-Organizational Workflow Based on 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 by 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.