The Change Region Analysis Of Configurable Business Process Based On Merging Model Of Petri Net

The core of business process management is analyzing the relevance of related models with the overall goal to improve the interaction ability between models. Therefore, determining change region plays an important role in the context of business process management. However, it’s overwhelming for analysts to cope with the problem only by the presented approach or by experientialism because of business processes in the real world mostly are complex and redundant. To meets the different requirements of multiple users of E-business process in the mobile internet environments, the activities in the process should optionally to be configured differently based on the actual needs. Configurable process models has been proposed and used to describe process model of this type. Furthermore, because of most business processes are modeled in the purpose of describing interaction, the behavioral constraints in the interacted model should be taken to consideration.The article takes model abstraction as a technique to compact interactive model based on complex correspondence relation, and presents an approach to determine change region by merging models on which have complex correspondence relation and analyzing the digest extracted from the merged model.In this paper, the configuration constraints are used to formally describe the behavioral constraints in interacted configurable models, and an approach to merge process model based on the configuration constraints is presented later. With using a merged model obtained by the presented approach which meets the configuration constraints as referenced model, an algorithm is proposed in this paper to look for change regions in process models in case of that configured instances dissatisfy configuration constraints. The behavioral constraints among interaction model are translated into the configuration constraints among configurable model in this paper. Merged model with configuration synthetic is obtained by merging process model, which add flow constrain to activities based on feasible configuration and limit infeasible configuration through separating different configuration on an activities. Such merged model can be use as a reference model for look for change region in configured interactive models which under behavioral constrains. The main contribution in this paper is:(1) a formalization of configuration constraints for describing the behavioral constraints in interacted configurable models; (2) an approach to merge process model based on the configuration constraints;(3) an algorithm to look for change regions in process models in case of that configured instances dissatisfy configuration constraints by comparing the configuration path of merged model and configuration instance.