TY - GEN
T1 - An event-B based approach for ensuring correct configurable business processes
AU - Boubaker, Souha
AU - Mammar, Amel
AU - Graiet, Mohamed
AU - Gaaloul, Walid
N1 - Publisher Copyright:
© 2016 IEEE.
PY - 2016/8/31
Y1 - 2016/8/31
N2 - A configurable process model captures a family of similar processes. Such models can be configured to obtain a process variant according to specific requirements. With this aim, several approaches have been proposed for the configuration of process models. Nevertheless, an increasing attention is being paid to achieve this in a sound manner due to the complex inter-dependencies between the configuration decisions. In this work, we aim to guide the process analyst to easily configure process models while preserving soundness. To do so, we propose a formal approach for ensuring correctness of business process configurations while considering structural constraints they have to obey. Specifically, using the Event-B language, we formally define a configurable process model, its correctness-preserving conditions and its configuration constraints.
AB - A configurable process model captures a family of similar processes. Such models can be configured to obtain a process variant according to specific requirements. With this aim, several approaches have been proposed for the configuration of process models. Nevertheless, an increasing attention is being paid to achieve this in a sound manner due to the complex inter-dependencies between the configuration decisions. In this work, we aim to guide the process analyst to easily configure process models while preserving soundness. To do so, we propose a formal approach for ensuring correctness of business process configurations while considering structural constraints they have to obey. Specifically, using the Event-B language, we formally define a configurable process model, its correctness-preserving conditions and its configuration constraints.
KW - Business process management
KW - Configurable process model
KW - Event-B
KW - Formal verification
U2 - 10.1109/ICWS.2016.66
DO - 10.1109/ICWS.2016.66
M3 - Conference contribution
AN - SCOPUS:84990973246
T3 - Proceedings - 2016 IEEE International Conference on Web Services, ICWS 2016
SP - 460
EP - 467
BT - Proceedings - 2016 IEEE International Conference on Web Services, ICWS 2016
A2 - Reiff-Marganiec, Stephan
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 23rd IEEE International Conference on Web Services, ICWS 2016
Y2 - 27 June 2016 through 2 July 2016
ER -