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

Formal verification of time-aware cloud resource allocation in business process

Résumé

Cloud computing has become an essential ingredient for any modern enterprise information systems infrastructure to effectively facilitate business-process execution with a low operating cost. Most of pricing strategies proposed by Cloud providers are based on temporal dimension. That is why time is considered one of the most important Cloud resources properties. In addition, activities in the business process are also constrained by hard timing requirements. Therefore, it is essential to ensure the matching between temporal constraints of both Cloud resources and business process activities. The aim of the present paper is to ensure a consistent time-aware Cloud resource allocation: we propose to formally specify temporal constraints on cloud resources and on process activities in business processes. This specification is translated to timed automata in order to formally validate the consistency of the time-aware Cloud resource allocation, and to analyze and check its correctness against business-process temporal constraints
Fichier non déposé

Dates et versions

hal-01455664 , version 1 (03-02-2017)

Identifiants

Citer

Rania Ben Halima, Slim Kallel, Kais Klai, Walid Gaaloul, Mohamed Jmaiel. Formal verification of time-aware cloud resource allocation in business process. OTM 2016 : Confederated International Conferences "On the Move to Meaningful Internet Systems", Oct 2016, Rhodes, Greece. pp.400 - 417, ⟨10.1007/978-3-319-48472-3_23⟩. ⟨hal-01455664⟩
123 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More