作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2009, Vol. 35 ›› Issue (23): 274-277. doi: 10.3969/j.issn.1000-3428.2009.23.096

• 开发研究与设计技术 • 上一篇    下一篇

基于Pi演算的BPMN编排模式

杨鹏玉,邱锦伦   

  1. (上海大学计算机工程与科学学院,上海 200072)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2009-12-05 发布日期:2009-12-05

BPMN Choreography Pattern Based on Pi-calculus

YANG Peng-yu, QIU Jin-lun   

  1. (School of Computer Engineering and Science, Shanghai University, Shanghai 200072)
  • Received:1900-01-01 Revised:1900-01-01 Online:2009-12-05 Published:2009-12-05

摘要: 针对业务流程建模标记(BPMN)无法依靠自身对编排进行形式化分析的问题,提出用Pi演算描述BPMN编排模式,实现对BPMN编排的描述。BPMN编排模式是服务交互模式的BPMN表达。实验结果表明,该方法能够找到并排除BPMN编排中的死锁。

关键词: 业务流程建模标记, Pi演算, 编排

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.

Key words: Business Process Modeling Notation(BPMN), Pi-calculus, choreography

中图分类号: