Configuring business process models

A configurable business process model (sometimes referred to as a reference business process model) may be configured to meet the specific requirements of an organization. The configuration activity is required to automatically determine the variability of a configurable process model and ensure the correctness of a specific process model. However, few approaches solve the problem. In this paper, we propose an innovative approach for automatically separating a configurable process model into atomic and correct sub-process models (sub-process models without abnormal behavioral problems). The atomic sub-process models that fulfill specific requirements are merged into specific process models that are provided for organizations. Compared with existing approaches, since the configuration activity is incorporated into the verification process of a process model at design time and can obtain all feasible configurations, our approach avoids independently handling the configuration activity and does not suffer from computational complexity. Moreover, our approach is language-independent. We have developed a prototype tool for configuring these process models.