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.
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00832828
Contributor : Frédéric Davesne <>
Submitted on : Friday, November 29, 2013 - 5:19:30 PM
Last modification on : Wednesday, December 18, 2019 - 5:24:23 PM
Long-term archiving on: Monday, March 3, 2014 - 1:55:27 PM

File

wetice13.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

472

Files downloads

272