基于工作流模式的BPMN过程模型验证方法

摘要：

针对业务流程建模符号过程模型语义验证问题,提出了一种新方法.该方法基于正确的业务流程建模符号过程模型是工作流模式的合理组合的理念,通过扩展和改进业务流程建模符号及其执行语义,设计了工作流模式的形式化编码规则;借鉴Petri网化简方法,设计了工作流模式组合化简规则;基于工作流模式编码及组合化简规则,给出了业务流程建模符号过程模型验证方法.应用示例表明了该方法的有效性.

关键词：工作流、业务流程、建模、过程模型、语义验证、Petri网

所属期刊栏目：16

分类号：TP391(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目70871127;高等学校博士学科点专项科研基金资助项目20070611027;重庆市教育委员会科学技术研究资助项目KJ08A03

在线出版日期：2010-10-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：1578-1586