杨鹏玉

作品数：1被引量：1H指数：1
导出分析报告
供职机构：上海大学计算机工程与科学学院更多>>
发文主题：PI演算BPMN形式化更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Pi演算的BPMN编排模式被引量：1
《计算机工程》2009年第23期274-277,共4页杨鹏玉 邱锦伦 
上海市学科建设基金资助重点项目(J50103)
针对业务流程建模标记(BPMN)无法依靠自身对编排进行形式化分析的问题,提出用Pi演算描述BPMN编排模式,实现对BPMN编排的描述。BPMN编排模式是服务交互模式的BPMN表达。实验结果表明,该方法能够找到并排除BPMN编排中的死锁。
关键词：业务流程建模标记 PI演算 编排 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部