@inproceedings{e9ae9ff6dbe944b7aa5bf567b316934f,
title = "A formal guidance approach for correct process configuration",
abstract = "Configurable process models are recently gaining momentum as a basis for process design by reuse. Such models are designed in a generic manner to group common and variable parts of similar processes. Since these processes are usually large and complex, their configuration becomes manifestly a difficult task. This is why, an increasing attention is being paid to help achieving the process models configuration in a correct and domain-compliant manner. In this work, we propose an Event-B based formal approach that guides the process analyst to easily derive correct process variants while considering business domain constraints provided by configuration guidelines. To show the effectiveness of our approach, we conduct experiments on a case study.",
keywords = "Business process management, Configurable process model, Event-B, Formal verification, Process variants",
author = "Souha Boubaker and Amel Mammar and Mohamed Graiet and Walid Gaaloul",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 14th International Conference on Service-Oriented Computing, ICSOC 2016 ; Conference date: 10-10-2016 Through 13-10-2016",
year = "2016",
month = jan,
day = "1",
doi = "10.1007/978-3-319-46295-0\_30",
language = "English",
isbn = "9783319462943",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "483--498",
editor = "Samir Tata and Eleni Stroulia and Sami Bhiri and Sheng, \{Quan Z.\}",
booktitle = "Service-Oriented Computing - 14th International Conference, ICSOC 2016, Proceedings",
}