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

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