基于Pi演算的BPMN编排模式

• 作者: 杨鹏玉 邱锦伦
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 业务流程建模标记 Pi演算 编排
• 年，卷（期）: 2009,（23）
• 所属期刊栏目: 开发研究与设计技术
• 页码范围: 274-277
• 页数: 4页
• 分类号: TP393
• 字数: 2533字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2009.23.096

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邱锦伦	上海大学计算机工程与科学学院	7	52	5.0	7.0
2	杨鹏玉	上海大学计算机工程与科学学院	1	5	1.0	1.0