A Formal model for configurable business process with optimal cloud resource allocation

Abderrahim Ait Wakrime, Souha Boubaker (), Slim Kallel (), Emna Guermazi () and Walid Gaaloul ()
Additional contact information
Abderrahim Ait Wakrime: UM5 - Université Mohammed V de Rabat [Agdal]
Souha Boubaker: IP Paris - Institut Polytechnique de Paris, TSP - INF - Département Informatique - IMT - Institut Mines-Télécom [Paris] - TSP - Télécom SudParis - IP Paris - Institut Polytechnique de Paris, ACMES-SAMOVAR - Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing - SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux - IMT - Institut Mines-Télécom [Paris] - TSP - Télécom SudParis - IP Paris - Institut Polytechnique de Paris
Slim Kallel: REDCAD - Unité de Recherche en développement et contrôle d'applications distribuées - ENIS - École Nationale d'Ingénieurs de Sfax | National School of Engineers of Sfax
Emna Guermazi: Université de Sfax - University of Sfax
Walid Gaaloul: IP Paris - Institut Polytechnique de Paris, TSP - INF - Département Informatique - IMT - Institut Mines-Télécom [Paris] - TSP - Télécom SudParis - IP Paris - Institut Polytechnique de Paris, ACMES-SAMOVAR - Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing - SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux - IMT - Institut Mines-Télécom [Paris] - TSP - Télécom SudParis - IP Paris - Institut Polytechnique de Paris

Post-Print from HAL

Abstract: In today’s competitive business environments, organizations increasingly need to model and deploy flexible and cost effective business processes. In this context, configurable process models are used to offer flexibility by representing process 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. However, the decision to configure an element may be incorrect leading to critical behavioral errors. Recently, process configuration has been extended to include Cloud resources allocation, to meet the need of business scalability by allowing access to on-demand IT resources. In this work, we propose a formal model based on propositional satisfiability formula allowing to find correct elements configuration including resources allocation ones. In addition, we propose to select optimal con- figurations based on Cloud resources cost. This approach allows to provide the designers with correct and cost-effective configuration decisions.

Keywords: Configurable Business Process; Formal Methods; Cloud Resources; Propositional Satisfiability (search for similar items in EconPapers)
Date: 2021-07-28
Note: View the original document on HAL open archive server: https://hal.science/hal-04490808v1
References: View complete reference list from CitEc
Citations:

Published in Journal of Universal Computer Science, 2021, 27 (7), pp.693-713. ⟨10.3897/jucs.70978⟩

Downloads: (external link)
https://hal.science/hal-04490808v1/document (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:hal:journl:hal-04490808

DOI: 10.3897/jucs.70978

Access Statistics for this paper

More papers in Post-Print from HAL
Bibliographic data for series maintained by CCSD ().