Formal Modeling and Evaluation of Service-Based Business Process Elasticity in the Cloud

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

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

Cloud computing is a new delivery model for IT services. Cloud platforms are being increasingly used for the deployment and execution of service-based business processes (SBPs). Nevertheless, the provisioning of elastic infrastructures and/or platforms is not sufficient to provide users with elasticity at the level of SBPs. Therefore, there is a need to provide SBPs with mechanisms to scale their resource requirements up and down whenever possible. This can be achieved using mechanisms for duplicating and consolidating business services that compose the SBPs. In this paper, we propose a formal model for SBPs elasticity in the Cloud. We show that our model preserves the semantics of SBPs when services are duplicated or consolidated. We also propose a formal framework for the evaluation of elasticity strategies that decide on when and how many resources are required to ensure elasticity of SBPs.

Domaines: Modélisation et simulation; Théorie et langage formel [cs.FL]

Mourad Amziani, Tarek Melliti, Samir Tata. Formal Modeling and Evaluation of Service-Based Business Process Elasticity in the Cloud. 22nd IEEE International Conference on Collaboration Technologies and Infrastructure ( WETICE 2013), Jun 2013, Hammamet, Tunisia. pp.284--291, ⟨10.1109/WETICE.2013.42⟩. ⟨hal-00832828⟩