A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is subsequently used to handle individual cases, for instance, to process customer orders. Process configuration is notoriously difficult as there may be all kinds of interdependencies between configuration decisions. In fact, an incorrect configuration may lead to behavioral issues such as deadlocks and livelocks. To address this problem, we present a novel verification approach inspired by the "operating guidelines" used for partner synthesis. We view the configuration process as an external service, and compute a characterization of all such services which meet particular requirements using the notion of configuration guideline. As a result, we can characterize all feasible configurations (i. e., configurations without behavioral problems) at design time, instead of repeatedly checking each individual configuration while configuring a process model.
|Title of host publication||Business Process Management (8th International Conference, BPM 2010, Hoboken NJ, USA, September 13-16, 2010. Proceedings)|
|Editors||R. Hull, J. Mendling, S. Tai|
|Place of Publication||Berlin|
|Publication status||Published - 2010|
|Name||Lecture Notes in Computer Science|
Aalst, van der, W. M. P., Lohmann, N., La Rosa, M., & Xu, J. (2010). Correctness ensuring process configuration : an approach based on partner synthesis. In R. Hull, J. Mendling, & S. Tai (Eds.), Business Process Management (8th International Conference, BPM 2010, Hoboken NJ, USA, September 13-16, 2010. Proceedings) (pp. 95-111). (Lecture Notes in Computer Science; Vol. 6336). Berlin: Springer. https://doi.org/10.1007/978-3-642-15618-2_9