@inproceedings{b4a0ca1f1903438e8a6d9c936d8aa278,
title = "A Formal Model for Business Process Configuration Verification Supporting OR-Join Semantics",
abstract = "In today{\textquoteright}s industries, similar process models are typically reused in different application contexts. These models result in a number of process model variants sharing several commonalities and exhibiting some variations. Configurable process models came to represent and group these variants in a generic manner. These processes are configured according to a specific context through configurable elements. Considering the large number of possible variants as well as the potentially complex configurable process, the configuration may be a tedious task and errors may lead to serious behavioral issues. Since achieving configuration in a correct manner has become of paramount importance, the analysts undoubtedly need assistance and guidance in configuring process variants. In this work, we propose a formal behavioral model based on the Symbolic Observation Graph (SOG) allowing to find the set of deadlock-free configuration choices while avoiding the well-known state-space explosion problem and considering loops and OR-join semantics. These choices are used to support business analysts in deriving deadlock-free variants.",
keywords = "Business process management, Configurable process model, Formal verification",
author = "Souha Boubaker and Kais Klai and Hedi Kortas and Walid Gaaloul",
note = "Publisher Copyright: {\textcopyright} 2018, Springer Nature Switzerland AG.; Confederated International Conferences: Cooperative Information Systems, CoopIS 2018, Ontologies, Databases, and Applications of Semantics, ODBASE 2018, and Cloud and Trusted Computing, C and TC, held as part of OTM 2018 ; Conference date: 22-10-2018 Through 26-10-2018",
year = "2018",
month = jan,
day = "1",
doi = "10.1007/978-3-030-02610-3\_35",
language = "English",
isbn = "9783030026097",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "623--642",
editor = "Proper, \{Henderik A.\} and Robert Meersman and Ardagna, \{Claudio Agostino\} and Herv{\'e} Panetto and Christophe Debruyne and Dumitru Roman",
booktitle = "On the Move to Meaningful Internet Systems. OTM 2018 Conferences - Confederated International Conferences",
}