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