Skip to main content
Article
Business process specification, verification, and deployment in a mono-cloud, multi-edge context
Computer Science and Information Systems
  • Saoussen Cheikhrouhou, University of Sfax
  • Slim Kallel, University of Sfax
  • Ikbel Guidara, Université Claude Bernard Lyon 1
  • Zakaria Maamar, Zayed University
Document Type
Article
Publication Date
1-1-2020
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.

Publisher
ComSIS Consortium
Disciplines
Keywords
  • Business process,
  • Cloud,
  • Edge,
  • Time constraint,
  • Violation
Scopus ID
85079876625
Creative Commons License
Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International
Indexed in Scopus
Yes
Open Access
Yes
Open Access Type
Gold: This publication is openly available in an open access journal/series
Citation Information
Saoussen Cheikhrouhou, Slim Kallel, Ikbel Guidara and Zakaria Maamar. "Business process specification, verification, and deployment in a mono-cloud, multi-edge context" Computer Science and Information Systems Vol. 17 Iss. 1 (2020) p. 293 - 313 ISSN: <a href="https://v2.sherpa.ac.uk/id/publication/issn/1820-0214" target="_blank">1820-0214</a>
Available at: http://works.bepress.com/zakaria-maamar/52/