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/