结合Petri网和Pi演算的协同业务过程建模

摘要：

协同业务过程使组织业务过程同其他组织的业务过程间进行交互和协作，以形成相对稳定的过程视图，从而满足共同的商业目标。为确保过程模型的正确性，采用形式化方法对协同业务过程进行建模变得越来越重要。将Petri网和Pi演算进行交叉应用，提出了一种协同业务过程的建模方法。该方法采取关注点分离的原则，一方面，从控制流角度，针对协同业务过程面向流的特点，提出公共视图，使用Petri网直观描述参与协同组织的业务过程的静态结构和状态转换；另一方面，从交互角度，针对协同业务过程面向协作的特点，提出协作视图，使用Pi演算描述业务过程间的交互。为建立Petri网和Pi演算间的关联，提出了进程标号迁移系统。与传统的业务过程建模方法相比，该方法能有效支持协同业务过程具有的个性化特征。

关键词：协同业务过程、公共视图、协作视图、Petri网、Pi演算

分类号：TP311(计算技术、计算机技术)

资助基金：The National Natural Science Foundation of China under Grant Nos.61262024,61462095,61379032;the Natural Science Foundation of Yunnan Province of China under Grant No.2012FD005;the Open Fund Projects of Key Laboratory for Software Engineering of Yunnan Province under Grant Nos.2012SE307,2012SE309;the Scientific Research Projects of Education Department of Yunnan Province under under Grant No.2013Y365

在线出版日期：2015-06-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共15页

页码：692-706