%0 Journal Article %A 代飞 %A 莫启 %A 林雷蕾 %A 朱锐 %A 李彤 %A 谢仲文 %T 结合Petri网和Pi演算的协同业务过程建模 %D 2015 %R 10.3778/j.issn.1673-9418.1408024 %J 计算机科学与探索 %P 692-706 %V 9 %N 6 %X 协同业务过程使组织业务过程同其他组织的业务过程间进行交互和协作,以形成相对稳定的过程视图,从而满足共同的商业目标。为确保过程模型的正确性,采用形式化方法对协同业务过程进行建模变得越来越重要。将Petri网和Pi演算进行交叉应用,提出了一种协同业务过程的建模方法。该方法采取关注点分离的原则,一方面,从控制流角度,针对协同业务过程面向流的特点,提出公共视图,使用Petri网直观描述参与协同组织的业务过程的静态结构和状态转换;另一方面,从交互角度,针对协同业务过程面向协作的特点,提出协作视图,使用Pi演算描述业务过程间的交互。为建立Petri网和Pi演算间的关联,提出了进程标号迁移系统。与传统的业务过程建模方法相比,该方法能有效支持协同业务过程具有的个性化特征。 %U http://fcst.ceaj.org/CN/10.3778/j.issn.1673-9418.1408024