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

Formal verification of temporal constraints and allocated cloud resources in business processes

Résumé

Cloud environments offer an interesting infrastructure for any modern enterprise information systems due to their high performance and low operating cost. Cloud resources are offered in various pricing strategies based on temporal properties. In general, enterprises looking towards minimizing their spending on IT infrastructure find such pricing strategies very attractive to deploy and run their business processes. Nevertheless, due to the lack of explicit and formal description of (Cloud) resources in existing business processes modeling languages, such as BPMN, Cloud resources can not be correctly allocated. Therefore, we elaborate an extension to BPMN 2.0 to fully integrate (Cloud) resource perspective, especially the temporal properties of Cloud pricing strategies in business process model. In order to help the designer to allocate correctly the required Cloud resources, we propose an automatic generation of timed automata from this BPMN extensions to check the matching between both temporal constraints: activities and Cloud resources. To show its feasibility, our approach has been implemented and tested using a real use case from an industrial partner
Fichier non déposé

Dates et versions

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

Identifiants

Citer

Rania Ben Halima, Imen Zouaghi, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel. Formal verification of temporal constraints and allocated cloud resources in business processes. AINA 2018: 32nd International Conference on Advanced Information Networking and Applications, May 2018, Krakow, Poland. pp.952 - 959, ⟨10.1109/AINA.2018.00139⟩. ⟨hal-01996077⟩
26 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More