Formal modeling and evaluation of stateful service-based business process elasticity in the cloud

Mourad Amziani (1, 2, 3, 4) , Tarek Melliti (1) , Samir Tata (2, 3, 4)

1 IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
2 SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
3 TSP - INF - Département Informatique
4 CNRS - Centre National de la Recherche Scientifique

Cloud environments are being increasingly used for deploying and executing business processes and particularly Service-based Business Processes (SBPs). One of the expected features of Cloud environments is elasticity at different levels. It is obvious that provisioning of elastic platforms is not sufficient to provide elasticity of the deployed business process. Therefore, SBPs should be provided with elasticity so that they would be able to adapt to the workload changes while ensuring the desired functional and non-functional properties. In this paper, we propose a formal model for stateful SBPs elasticity that features a duplication/consolidation mechanisms and a generic controller to define and evaluate elasticity strategies.

Mots clés: Stateful service-based business processes; Evaluation of elasticity strategies; Elasticity; Cloud computing

Domaines: Réseaux et télécommunications [cs.NI]

Mourad Amziani, Tarek Melliti, Samir Tata. Formal modeling and evaluation of stateful service-based business process elasticity in the cloud. OTM 2013: CoopIS 2013: Confederated International Conferences on On the Move to Meaningful Internet Systems, Sep 2013, Graz, Austria. pp.21-38, ⟨10.1007/978-3-642-41030-7_3⟩. ⟨hal-00932703⟩