10.3969/j.issn.1000-3428.2009.23.096
基于Pi演算的BPMN编排模式
针对业务流程建模标记(BPMN)无法依靠自身对编排进行形式化分析的问题,提出用Pi演算描述BPMN编排模式,实现对BPMN编排的描述.BPMN编排模式是服务交互模式的BPMN表达.实验结果表明,该方法能够找到并排除BPMN编排中的死锁.
业务流程建模标记、Pi演算、编排
35
TP393(计算技术、计算机技术)
上海市学科建设基金资助重点项目J50103
2010-03-02(万方平台首次上网日期,不代表论文的发表时间)
共4页
274-277