Toward a correct and optimal time-aware cloud resource allocation to business processes

Rania Ben Halima (1, 2, 3, 4) , Slim Kallel (4) , Walid Gaaloul (1, 2, 3) , Zakaria Maamar (5) , Mohamed Jmaiel (6)

1 TSP - INF - Département Informatique
2 IP Paris - Institut Polytechnique de Paris
3 ACMES-SAMOVAR - Architecture, Cloud continuum, formal Models, artificial intElligence and Services in distributed computing
4 REDCAD - Unité de Recherche en développement et contrôle d'applications distribuées
5 Zayed University
6 CRNS - Centre de Recherche en Numérique de Sfax

Cloud is an increasingly popular computing paradigm that provides on-demand services to organizations for deploying their business processes over the Internet as it reduces their needs to plan ahead for provisioning resources. Cloud providers offer competitive pricing strategies (e.g., on-demand, reserved, and spot) specified based on temporal constraints to accommodate organizations’ changing and last-minute demands. Despite their varieties and benefits to optimize business process deployment cost, using those pricing strategies can lead to violating time constraints and exceeding budget constraints due to inappropriate decisions when allocating cloud resources to business processes. In this paper, we present an approach to guarantee a correct and optimal time-aware allocation of cloud resources to business processes. Correct because time constraints on these processes are not violated. And, optimal because the deployment cost of these processes is minimized. For this purpose, our approach uses timed automata to formally verify the matching between business processes’ temporal constraints and cloud resources’ time availabilities and linear programming to optimize deployment costs. Experiments demonstrate the technical doability of our proposed approach.

Mots clés: Business process; Cloud resource; Formal verification; Optimization

Domaines: Informatique

Rania Ben Halima, Slim Kallel, Walid Gaaloul, Zakaria Maamar, Mohamed Jmaiel. Toward a correct and optimal time-aware cloud resource allocation to business processes. Future Generation Computer Systems, 2020, 112, pp.751-766. ⟨10.1016/j.future.2020.06.018⟩. ⟨hal-03122709⟩