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

Xiaohua Pan,Jianwei Yin
2006-01-01
Abstract: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.
What problem does this paper attempt to address?