Geodesic
Business Process Specification, Verification, and Deployment in a Mono-Cloud, Multi-Edge Context
Computer Science and Information Systems, Tome 17 (2020) no. 1.

Voir la notice de l'article provenant de la source Computer Science and Information Systems website

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.
Keywords: Business process, Cloud, Edge, Time constraint, Violation 
@article{CSIS_2020_17_1_a15,
     author = {Saoussen Cheikhrouhou and Slim Kallel and Ikbel Guidara and Zakaria Maamar},
     title = {Business {Process} {Specification,} {Verification,} and {Deployment} in a {Mono-Cloud,} {Multi-Edge} {Context}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {17},
     number = {1},
     year = {2020},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a15/}
}
TY  - JOUR
AU  - Saoussen Cheikhrouhou
AU  - Slim Kallel
AU  - Ikbel Guidara
AU  - Zakaria Maamar
TI  - Business Process Specification, Verification, and Deployment in a Mono-Cloud, Multi-Edge Context
JO  - Computer Science and Information Systems
PY  - 2020
VL  - 17
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a15/
ID  - CSIS_2020_17_1_a15
ER  - 
%0 Journal Article
%A Saoussen Cheikhrouhou
%A Slim Kallel
%A Ikbel Guidara
%A Zakaria Maamar
%T Business Process Specification, Verification, and Deployment in a Mono-Cloud, Multi-Edge Context
%J Computer Science and Information Systems
%D 2020
%V 17
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a15/
%F CSIS_2020_17_1_a15
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, Tome 17 (2020) no. 1. http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a15/