基于数据流约束的可配置业务流程分析与验证

Verification of configurable business processes based on data-flow constraints

可配置的业务流程模型通过隐藏、阻断或允许可配置业务过程模型中的某些片段来实现流程配置,在实际配置过程中可能会导致不正确的配置。针对这一问题,采用着色Petri网作为形式化模型表达业务过程模型,同时在流程的控制流加入数据流,将活动产生的数据流整合到基于数据流的业务流程模型,从而使待处理的业务过程模型具有数据流的语义。通过在业务流程模型中添加配置操作,将基于数据流的业务流程模型转换成基于数据的可配置业务流程模型。最后,使用ASK-CTL逻辑表达基于数据流的可配置业务过程模的型数据语义约束,然后应用着色Petri网的相应工具分析和验证了该模型的数据语义约束的属性正确性,表明了所提方法的有效性。

A configurable business process model described the domain oriented similar process model,In this model,process configuration was achieved by hiding,blocking or allowing certain fragments of the configurable business process model,which led to behavioral issues such as deadlocks and livelocks.Aiming at this problem,the Color Petri Net（CPN）was used as formalism model to express the business process model.The data-flow was added into control flow to integrate the data-flow generated by activities into the business process model,which enabled to dealing with the data semantic in the business process model.Through adding configurable operation,the business process model was transformed into the configurable business process model.The data semantic constraints of configurable business process model based on data flow was expresses with logic ASK-CTL,and the corresponding toolset of CPN was applied to analyze and verify the data semantic constraint properties of this model.The results of experiment showed the validation of the proposed method.