基于Petri网分析技术的BPMN2.0过程模型的语义分析

摘要

信息技术的发展推动组织商务模式的变革,业务协作日益频繁,为谋求组织利益的最大化,对部分资源与流程的共享提出更高的要求.如何满足交互需求的新的商业过程,是组织关注的热点问题.业务流程建模标注(BPMN)是业务流程管理领域的一种标准符号.在发布的BPMN2.0中,对象管理组织首次提出编排的概念.但是BPMN2.0编排中,具有多样性的元素组合特点,增加了语义分析的难度,可能出现不同结构与相同语义对应的情况,有必要对BPMN2.0进行形式化定义.