A SAT-based formal approach for verifying business process configuration - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

A SAT-based formal approach for verifying business process configuration

Résumé

Nowadays, some organizations are using and deploying similar business processes to achieve their business objectives. Typically, these processes often exhibit specific differences in terms of structure and context depending on the organizations needs. In this context, configurable process models are used to represent variants in a generic manner. Hence, the behavior of similar variants is grouped in a single model holding configurable elements. Such elements are then customized and configured depending on specific needs. Nevertheless, the decision to configure an element may be incorrect leading to critical behavioral errors. In the present work, we propose a formal model based on propositional satisfiability formula allowing to find all possible correct elements configuration. This approach allows to provide the designers with correct configuration decisions. In order to show the feasibility of the proposed approach, an experimentation was conducted using a case study.

Domaines

Informatique
Fichier non déposé

Dates et versions

hal-03123347 , version 1 (27-01-2021)

Identifiants

Citer

Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Walid Gaaloul. A SAT-based formal approach for verifying business process configuration. INNOVATIVE-DATA 2019: 5th international conference on Big Data Innovations and Applications, Aug 2019, Istanbul, Turkey. pp.47-62, ⟨10.1007/978-3-030-27355-2_4⟩. ⟨hal-03123347⟩
33 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More