您的位置： 专家智库 > >

重庆市教育委员会科学技术研究项目(KJ08A03)

作品数：1 被引量：8H指数：1
相关作者：高庆萱易树平蔡章利更多>>
相关机构：重庆大学更多>>
发文基金：重庆市教育委员会科学技术研究项目国家教育部博士点基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇语义验证
  • 1篇工作流
  • 1篇工作流模式
  • 1篇BPMN
  • 1篇PETRI网

机构

  • 1篇重庆大学

作者

  • 1篇蔡章利
  • 1篇易树平
  • 1篇高庆萱

传媒

  • 1篇计算机集成制...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于工作流模式的BPMN过程模型验证方法被引量：8
2010年
针对业务流程建模符号过程模型语义验证问题,提出了一种新方法。该方法基于正确的业务流程建模符号过程模型是工作流模式的合理组合的理念,通过扩展和改进业务流程建模符号及其执行语义,设计了工作流模式的形式化编码规则;借鉴Petri网化简方法,设计了工作流模式组合化简规则;基于工作流模式编码及组合化简规则,给出了业务流程建模符号过程模型验证方法。应用示例表明了该方法的有效性。
蔡章利易树平高庆萱
关键词：工作流语义验证PETRI网
全选 清除 导出
共1页<1>
聚类工具0