Business process specification, verification, and deployment in a mono-cloud, multi-edge context - Archive ouverte HAL
Article Dans Une Revue Computer Science and Information Systems Année : 2020

Business process specification, verification, and deployment in a mono-cloud, multi-edge context

Saoussen Cheikhrouhou
  • Fonction : Auteur
Slim Kallel
Ikbel Guidara
Zakaria Maamar

Résumé

Despite the prevalence of cloud and edge computing, ensuring the satisfaction of time-constrained business processes, remains challenging. Indeed, some cloud/edge-based resources might not be available when needed leading to delaying the execution of these processes? tasks and/or the transfer of these processes? data. This paper presents an approach for specifying, verifying, and deploying time constrained business processes in a mono-cloud, multi-edge context. First, the specification and verification of processes happen at design-time and run-time to ensure that these processes? tasks and data are continuously placed in a way that would mitigate the violation of time constraints. This mitigation might require moving tasks and/or data from one host to another to reduce time latency, for example. A host could be either a cloud, an edge, or any. Finally, the deployment of processes using a real case-study allowed to confirm the benefits of the early specification and verification of these processes in mitigating time constraints violations.

Dates et versions

hal-03370128 , version 1 (07-10-2021)

Identifiants

Citer

Saoussen Cheikhrouhou, Slim Kallel, Ikbel Guidara, Zakaria Maamar. Business process specification, verification, and deployment in a mono-cloud, multi-edge context. Computer Science and Information Systems, 2020, 17 (1), pp.293-313. ⟨10.2298/CSIS190430041C⟩. ⟨hal-03370128⟩
27 Consultations
0 Téléchargements

Altmetric

Partager

More