%0 Journal Article
%T Modeling Method for Inter-Organizational Workflow Based on Pi-Calculus<br>基于Pi-Calculus的跨组织工作流建模方法*
%A PAN Xiao-hu
%A FENG Zhi-lin
%A YIN Jian-wei
%A ZHENG Zheng-ping
%A DONG Jin-xiang
%A <br>潘晓华
%A 冯志林
%A 尹建伟
%A 郑正平
%A 董金祥
%J 计算机应用研究
%D 2006
%I 
%X 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.
%K Pi-Calculus<br>工作流建模
%K 跨组织流程
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=EA8090491B1170B4&yid=37904DC365DD7266&vid=EA389574707BDED3&iid=CA4FD0336C81A37A&sid=E84BBBDDD74F497C&eid=8BD23BD67BF01A5C&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=11