基于Pi演算的BPMN编排模式

摘要

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