A Validation Method of Configurable Business Processes Based on Data-Flow

摘要

In configurable business process model, an incorrect configuration may lead to behavioral issues. The researches of the configurable business process model focus on the control-flow perspective but lacking the perspective of the data-flow, which can't reflect the constraints of data-flow during the configuration. To overcome this shortage, this paper uses the CPN as a formalism model to express the business process model and extends the business process model by adding the data-flow, which enables it to deal with the data semantic in business process model, then transforms business process model into the configurable business process model by adding configuration operations. Finally, we use the logic ASK-CTL to express the data constraints of configurable business process model, and then we apply the corresponding toolset of CPN to analyzing and verifying the data semantic constraint properties of this model, and the results of experiment show the validation of the proposed method.