Formal Modeling and Evaluation of Service-Based Business Process Elasticity in the Cloud - Archive ouverte HAL
Conference Papers Year : 2013

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

Abstract

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.
Fichier principal
Vignette du fichier
wetice13.pdf (289.25 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00832828 , version 1 (29-11-2013)

Identifiers

Cite

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⟩
321 View
239 Download

Altmetric

Share

More