BPMN的形式化分析和验证方法

摘要

本发明提出BPMN形式化分析和验证的方法包括BPMN抽象语法建立和BPMN与COWS之间的映射，以及COWS模型的分析验证。抽象BPMN语法将BPMN看成一个四元组P＝(O，F，fCond，fExcp)，分别代表核心元素：对象集、顺序流集、条件和异常。映射模型包括事件、活动、网关、顺序流、消息流、事务和异常处理等。将BPMN和COWS中的概念集合建立一一对应的映射关系。用COWS表达式形式化BPMN中核心的元素和概念，结合BPMN的COWS形式化模型，采用COWS语义操作规则推演系统的协作正确性。本发明可以在模型分析领域对模型正确性进行分析验证。

主权项

BPMN的形式化分析和验证方法，其特征在于包括下列几点：一个BPMN模型是一个四元组P＝(O，F，fCond，fExcp)；采用COWS对BPMN核心元素建模；采用COWS公式描述BPMN结构正确性；采用COWS推演对BPMN相容性进行分析。