@inproceedings{af3eb92f25c54e19868679276bc24933,
title = "Deadlock-freeness verification of business process configuration using SOG",
abstract = "Configurable process models are increasingly used in many industries as reference processes shared between different process tenants. These processes are configured and adapted according to their specific needs through configurable elements (i.e. the variation points). Since configuration decisions are taken prior to execution, incorrect ones may lead to critical behavioral issues such as deadlocks. In this work, we propose a formal behavioral model based on the Symbolic Observation Graph (SOG) allowing to find the set of correct configuration choices while avoiding the state-space explosion problem. This set of configuration choices, jointly provided with the configurable process, will support and help business analysts in deriving deadlock-free variants.",
keywords = "Business process management, Configurable process model, Formal verification, Process variants",
author = "Souha Boubaker and Kais Klai and Katia Schmitz and Mohamed Graiet and Walid Gaaloul",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2017.; 15th International Conference on Service-Oriented Computing, ICSOC 2017 ; Conference date: 13-11-2017 Through 16-11-2017",
year = "2017",
month = jan,
day = "1",
doi = "10.1007/978-3-319-69035-3\_7",
language = "English",
isbn = "9783319690346",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "96--112",
editor = "Marc Oriol and Antonio Vallecillo and Michael Maximilien and Jianmin Wang",
booktitle = "Service-Oriented Computing - 15th International Conference, ICSOC 2017, Proceedings",
}