![](https://d3ilqtpdwi981i.cloudfront.net/5YHjlfqkTMipcVHRrsWB4nSn--I=/425x550/smart/https://bepress-attached-resources.s3.amazonaws.com/uploads/5f/22/25/5f22252a-28f7-4126-8e8d-d951cf9af31c/thumbnail_862a5fa1-8a56-4601-988f-3061f1b44484.jpg)
© 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.
- Business process,
- Cloud,
- Edge,
- Time constraint,
- Violation
Available at: http://works.bepress.com/zakaria-maamar/52/