中文摘要：

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

英文摘要：

To semantically validate Business Process Model Notation（BPMN）process model,a new method was put forward.This method was based on the idea that correct BPMN process model was the sound combination of work-flow patterns.By improving the BPMN＇s notations and execution semantics,the formal encoding rules were de-signed.And the combinatorial simplification rules were designed by borrowing Petri net＇s simplification methods.The algorithms to validate the BPMN process model were also presented.Finally,this method was proved to be ef-fective in validating BPMN process model by application examples.