Loading…

A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation

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

Full description

Saved in:
Bibliographic Details
Published in:J.UCS (Annual print and CD-ROM archive ed.) 2021-07, Vol.27 (7), p.693-713
Main Authors: Ait Wakrime, Abderrahim, Boubaker, Souha, Kallel, Slim, Guermazi, Emna, Gaaloul, Walid
Format: Article
Language:English
Subjects:
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0948-695X
0948-6968
DOI:10.3897/jucs.70978