Title
Business process specification, verification, and deployment in a mono-cloud, multi-edge context
Source of Publication
Computer Science and Information Systems
Abstract
© 2020, ComSIS Consortium. All rights reserved. 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.
Document Type
Article
First Page
293
Last Page
313
Publication Date
1-1-2020
DOI
10.2298/CSIS190430041C
Recommended Citation
Cheikhrouhou, Saoussen; Kallel, Slim; Guidara, Ikbel; and Maamar, Zakaria, "Business process specification, verification, and deployment in a mono-cloud, multi-edge context" (2020). Scopus Indexed Articles. 439.
https://zuscholars.zu.ac.ae/scopus-indexed-articles/439