-
题名结合Petri网和Pi演算的协同业务过程建模
被引量:9
- 1
-
-
作者
代飞
莫启
林雷蕾
朱锐
李彤
谢仲文
-
机构
云南大学软件学院
云南大学云南省软件工程重点实验室
-
出处
《计算机科学与探索》
CSCD
北大核心
2015年第6期692-706,共15页
-
基金
国家自然科学基金Nos.61262024
61462095
+4 种基金
61379032
云南省自然科学基金No.2012FD005
云南省软件工程重点实验室开放基金项目Nos.2012SE307
2012SE309
云南省教育厅科学研究基金项目No.2013Y365~~
-
文摘
协同业务过程使组织业务过程同其他组织的业务过程间进行交互和协作,以形成相对稳定的过程视图,从而满足共同的商业目标。为确保过程模型的正确性,采用形式化方法对协同业务过程进行建模变得越来越重要。将Petri网和Pi演算进行交叉应用,提出了一种协同业务过程的建模方法。该方法采取关注点分离的原则,一方面,从控制流角度,针对协同业务过程面向流的特点,提出公共视图,使用Petri网直观描述参与协同组织的业务过程的静态结构和状态转换;另一方面,从交互角度,针对协同业务过程面向协作的特点,提出协作视图,使用Pi演算描述业务过程间的交互。为建立Petri网和Pi演算间的关联,提出了进程标号迁移系统。与传统的业务过程建模方法相比,该方法能有效支持协同业务过程具有的个性化特征。
-
关键词
协同业务过程
公共视图
协作视图
PETRI网
PI演算
-
Keywords
collaboration business process
public view
cooperation view
Petri nets
Pi calculus
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-