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

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00932703
Contributor : Frédéric Davesne <>
Submitted on : Friday, January 17, 2014 - 3:22:22 PM
Last modification on : Wednesday, December 18, 2019 - 5:06:51 PM
Long-term archiving on: Friday, April 18, 2014 - 4:42:56 AM

File

coopis13.pdf
Files produced by the author(s)

Identifiers

Citation

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

Share

Metrics

Record views

336

Files downloads

301