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

Formal modelling and verification of cloud resource allocation in business processes

Résumé

Cloud environments have been increasingly used by companies for deploying and executing business processes to enhance their performance while lowering the operating cost. Nevertheless, the combination of business processes and Cloud environments is a field that needs to be further studied since it lacks an explicit and formal description of the resource perspective in the existing business processes and especially of Cloud-related properties, namely vertical/horizontal elasticity. Therefore, this field cannot yet fully benefit of what Cloud environments can offer. Besides the lack in formalization, there is also a need for a verification method to check the correctness of allocations. In fact, without formal verification, the designer can easily model erroneous allocations which lead to runtime errors if left untreated at design-time. In this work, we address the above shortcomings by proposing a formal model for the Cloud resource perspective in business processes using the Coloured Petri net formalism, which can be used to check the correctness of Cloud resource allocation at design-time
Fichier non déposé

Dates et versions

hal-01996297 , version 1 (28-01-2019)

Identifiants

Citer

Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul. Formal modelling and verification of cloud resource allocation in business processes. OTM 2018: Confederated International Conferences "On the Move to Meaningful Internet Systems", Oct 2018, Valletta, Malta. pp.552 - 567, ⟨10.1007/978-3-030-02610-3_31⟩. ⟨hal-01996297⟩
61 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More