| 结合Petri网和Pi演算的协同业务过程建模 |
| |
| 引用本文： | 代飞,莫启,林雷蕾,朱锐,李彤,谢仲文. 结合Petri网和Pi演算的协同业务过程建模[J]. 计算机科学与探索, 2015, 0(6) |
| |
| 作者姓名： | 代飞 莫启 林雷蕾 朱锐 李彤 谢仲文 |
| |
| 作者单位： | 1. 云南大学 软件学院，昆明 650091; 云南大学 云南省软件工程重点实验室，昆明 650091
2. 云南大学 软件学院,昆明,650091 |
| |
| 基金项目： | 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 |
| |
| 摘 要： | 协同业务过程使组织业务过程同其他组织的业务过程间进行交互和协作，以形成相对稳定的过程视图，从而满足共同的商业目标。为确保过程模型的正确性，采用形式化方法对协同业务过程进行建模变得越来越重要。将Petri网和Pi演算进行交叉应用，提出了一种协同业务过程的建模方法。该方法采取关注点分离的原则，一方面，从控制流角度，针对协同业务过程面向流的特点，提出公共视图，使用Petri网直观描述参与协同组织的业务过程的静态结构和状态转换；另一方面，从交互角度，针对协同业务过程面向协作的特点，提出协作视图，使用Pi演算描述业务过程间的交互。为建立Petri网和Pi演算间的关联，提出了进程标号迁移系统。与传统的业务过程建模方法相比，该方法能有效支持协同业务过程具有的个性化特征。
|
| 关 键 词： | 协同业务过程 公共视图 协作视图 Petri网 Pi演算 |
Collaboration Business Process Modeling Based on Petri Nets and Pi Calculus |
| |
| DAI Fei,MO Qi,LIN Leilei,ZHU Rui,LI Tong,XIE Zhongwen. Collaboration Business Process Modeling Based on Petri Nets and Pi Calculus[J]. Journal of Frontier of Computer Science and Technology, 2015, 0(6) |
| |
| Authors: | DAI Fei MO Qi LIN Leilei ZHU Rui LI Tong XIE Zhongwen |
| |
| Abstract: | |
| |
| Keywords: | collaboration business process public view cooperation view Petri nets Pi calculus |
| 本文献已被 万方数据 等数据库收录！ |
