科研之友
微信
新浪微博
Facebook
分享链接
摘要
业务流程的变化域是潜在的、易导致系统出现非一致性的区域,从流程模型变化域的角度来分析业务系统可信性,也是解决业务系统可信管理的关键点之一.已有的研究大多数针对业务流程的控制流进行变化域分析,或将控制流与数据流进行交互分析,很少注意到两种流程交互时的行为包含关系及其影响.文中基于业务流程模型存在控制流和数据流,提出了基于Petri网Behavior inclusion的业务流程变化域融合分析方法,分别研究了业务流程控制流Petri网模型的变化域和数据流Petri网模型的变化域,并依据Behavior inclusion关系,确定了目标模型融合网的最终变化域.另外,对于存在沉默变迁的网提供了紧密度算法,分析业务流程控制流网、数据流网和融合网间的紧密度,以确定控制流模型或数据流模型对融合网变化域的影响程度.最后通过具体的实例分析与仿真实验,验证了该方法的有效性.
- 单位
