An Event-B Based Approach for Ensuring Correct Configurable Business Processes

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 be...

Full description

Saved in:
Bibliographic Details
Published in2016 IEEE International Conference on Web Services (ICWS) pp. 460 - 467
Main Authors Boubaker, Souha, Mammar, Amel, Graiet, Mohamed, Gaaloul, Walid
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.06.2016
Subjects
Analytical models
Automobiles
Business
Business process management
Configurable process model
Connectors
Context
Context modeling
Event-B
Formal verification
System recovery
Online AccessGet full text

Cover

More Information
Summary: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.
DOI:10.1109/ICWS.2016.66