Formal verification of cloud resource allocation in business processes using Event-B - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Formal verification of cloud resource allocation in business processes using Event-B

Résumé

Nowadays, a growing number of companies are using Cloud Computing to optimize their business processes by using dynamically scalable and often virtualized resources on demand. Nevertheless, due to the lack of explicit and formal description of the resource perspective in existing business processes, Cloud resource allocation behavior cannot be efficiently and correctly managed. In this paper, we aim at formally verifying resource allocation in business processes using Event-B. More precisely, our aim is to specify the resource allocation behavior both at design time and at runtime, and to check its correctness according to users' needs. Our model also takes into account different cloud properties such as elasticity and shareability. In order to show its feasibility, our approach has been tested using a use case study from an industrial partner
Fichier non déposé

Dates et versions

hal-01341653 , version 1 (04-07-2016)

Identifiants

Citer

Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul. Formal verification of cloud resource allocation in business processes using Event-B. AINA 2016 : 30th International Conference on Advanced Information Networking and Applications, Mar 2016, Crans-Montana, Switzerland. pp.746 - 753, ⟨10.1109/AINA.2016.126⟩. ⟨hal-01341653⟩
98 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More