| 基于Pi演算的BPMN编排模式 |
| |
| 引用本文： | 杨鹏玉,邱锦伦.基于Pi演算的BPMN编排模式[J].计算机工程,2009,35(23):274-277. |
| |
| 作者姓名： | 杨鹏玉 邱锦伦 |
| |
| 作者单位： | 上海大学计算机工程与科学学院,上海,200072 |
| |
| 基金项目： | 上海市学科建设基金资助重点项目 |
| |
| 摘 要： | 针对业务流程建模标记（BPMN）无法依靠自身对编排进行形式化分析的问题，提出用Pi演算描述BPMN编排模式，实现对BPMN编排的描述。BPMN编排模式是服务交互模式的BPMN表达。实验结果表明，该方法能够找到并排除BPMN编排中的死锁。
|
| 关 键 词： | 业务流程建模标记 Pi演算 编排 |
| 修稿时间： | |
BPMN Choreography Pattern Based on Pi-calculus |
| |
| YANG Peng-yu,QIU Jin-lun.BPMN Choreography Pattern Based on Pi-calculus[J].Computer Engineering,2009,35(23):274-277. |
| |
| Authors: | YANG Peng-yu QIU Jin-lun |
| |
| Affiliation: | (School of Computer Engineering and Science, Shanghai University, Shanghai 200072) |
| |
| Abstract: | Aiming at the problem that Business Process Modeling Notation(BPMN) does not allow for formal analysis, this paper proposes a method to describe BPMN choreography pattern by Pi-calculus to realize describing BPMN choreography. BPMN choreography pattern is service interaction pattern in BPMN. Experimental result shows that this method can find and eliminate the deadlock of BPMN choreography. |
| |
| Keywords: | Business Process Modeling Notation(BPMN) Pi-calculus choreography |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
|
