HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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 metadata

Cited literature [16 references]  Display  Hide  Download

Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Friday, November 29, 2013 - 5:19:30 PM
Last modification on : Friday, August 28, 2020 - 3:23:40 AM
Long-term archiving on: : Monday, March 3, 2014 - 1:55:27 PM


Files produced by the author(s)



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⟩



Record views


Files downloads