Formal Modeling and Evaluation of Service-Based Business Process Elasticity in the Cloud
| Autor: | Samir Tata, Mourad Amziani, Tarek Melliti |
|---|---|
| Přispěvatelé: | Informatique, Biologie Intégrative et Systèmes Complexes (IBISC), Université d'Évry-Val-d'Essonne (UEVE), Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (SAMOVAR), Institut Mines-Télécom [Paris] (IMT)-Télécom SudParis (TSP), Centre National de la Recherche Scientifique (CNRS) |
| Jazyk: | angličtina |
| Rok vydání: | 2013 |
| Předmět: |
Database
Computer science Business process business.industry Distributed computing media_common.quotation_subject Business data processing Provisioning Cloud computing computer.software_genre [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] Software deployment Service (economics) Elasticity (economics) business computer media_common |
| Zdroj: | Proc. of the 22nd IEEE International Conference on Collaboration Technologies and Infrastructure ( WETICE 2013) 22nd IEEE International Conference on Collaboration Technologies and Infrastructure ( WETICE 2013) 22nd IEEE International Conference on Collaboration Technologies and Infrastructure ( WETICE 2013), Jun 2013, Hammamet, Tunisia. pp.284--291, ⟨10.1109/WETICE.2013.42⟩ WETICE |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|