基于Petri网Behavior Inclusion的业务流程变化域融合分析

摘要

业务流程的变化域是潜在的、易导致系统出现非一致性的区域,从流程模型变化域的角度来分析业务系统可信性,也是解决业务系统可信管理的关键点之一.已有的研究大多数针对业务流程的控制流进行变化域分析,或将控制流与数据流进行交互分析,很少注意到两种流程交互时的行为包含关系及其影响.文中基于业务流程模型存在控制流和数据流,提出了基于Petri网Behavior inclusion的业务流程变化域融合分析方法,分别研究了业务流程控制流Petri网模型的变化域和数据流Petri网模型的变化域,并依据Behavior inclusion关系,确定了目标模型融合网的最终变化域.另外,对于存在沉默变迁的网提供了紧密度算法,分析业务流程控制流网、数据流网和融合网间的紧密度,以确定控制流模型或数据流模型对融合网变化域的影响程度.最后通过具体的实例分析与仿真实验,验证了该方法的有效性.%The change region in business process is potential and easily causing the inconsistency region.Therefore,the trustworthiness analysis of business system from the perspective of change region of business model is also one of the ways to solve the trusted management of business system.Proposed research mainly focus on the change region about the control flow of business process,or the interaction analysis of control flow and data flow,with little attention to the behavior inclusion relationships between the control flow and the data flow,and their influence to each other.In the view of control flow and data flow exist in the business process model,the fusion analysis method about the change region of the business process model is proposed based on behavior inclusion.Firstly,the change region of the control flow and the data flow Petri net models are analyzed respectively.Then,we determine the final change region of the fusion nets in the target model according to the relation of behavior inclusion.Furthermore,aimed to the process model existing silent transitions,we presented the calculation method of closeness in business process models.By analyzing the closeness of the control flow or the data flow with the fusion nets,we could determine the influence degree to the change region of the fusion nets.Finally,we use concrete instance and simulation experiment to verify the effectiveness of the method.