基于Pi演算的BPMN编排模式  

BPMN Choreography Pattern Based on Pi-calculus

作　　者：杨鹏玉[1] 邱锦伦[1] 

机构地区：[1]上海大学计算机工程与科学学院,上海200072

出　　处：《计算机工程》2009年第23期274-277,共4页Computer Engineering

基　　金：上海市学科建设基金资助重点项目(J50103)

摘　　要：针对业务流程建模标记(BPMN)无法依靠自身对编排进行形式化分析的问题,提出用Pi演算描述BPMN编排模式,实现对BPMN编排的描述。BPMN编排模式是服务交互模式的BPMN表达。实验结果表明,该方法能够找到并排除BPMN编排中的死锁。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 fred and eliminate the deadlock of BPMN choreography.

关 键 词：业务流程建模标记 PI演算 编排 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]