{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T07:18:33Z","timestamp":1721891913772},"reference-count":0,"publisher":"National Library of Serbia","issue":"1","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["ComSIS","COMPUT SCI INF SYST","COMPUT SCI INFORM SY","COMPUTER SCI INFORM","COMSIS J"],"published-print":{"date-parts":[[2020]]},"abstract":"<jats:p>Despite the prevalence of cloud and edge computing, ensuring the satisfaction\n   of time-constrained business processes, remains challenging. Indeed, some\n   cloud\/edge-based resources might not be available when needed leading to\n   delaying the execution of these processes? tasks and\/or the transfer of these\n   processes? data. This paper presents an approach for specifying, verifying,\n   and deploying time constrained business processes in a mono-cloud, multi-edge\n   context. First, the specification and verification of processes happen at\n   design-time and run-time to ensure that these processes? tasks and data are\n   continuously placed in a way that would mitigate the violation of time\n   constraints. This mitigation might require moving tasks and\/or data from one\n   host to another to reduce time latency, for example. A host could be either a\n   cloud, an edge, or any. Finally, the deployment of processes using a real\n   case-study allowed to confirm the benefits of the early specification and\n   verification of these processes in mitigating time constraints violations.<\/jats:p>","DOI":"10.2298\/csis190430041c","type":"journal-article","created":{"date-parts":[[2019,11,27]],"date-time":"2019-11-27T14:56:53Z","timestamp":1574866613000},"page":"293-313","source":"Crossref","is-referenced-by-count":3,"title":["Business process specification, verification, and deployment in a mono-cloud, multi-edge context"],"prefix":"10.2298","volume":"17","author":[{"given":"Saoussen","family":"Cheikhrouhou","sequence":"first","affiliation":[{"name":"ReDCAD University of Sfax, Sfax, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Slim","family":"Kallel","sequence":"additional","affiliation":[{"name":"ReDCAD University of Sfax, Sfax, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ikbel","family":"Guidara","sequence":"additional","affiliation":[{"name":"LIRIS Claude Bernard, Lyon University, Lyon, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zakaria","family":"Maamar","sequence":"additional","affiliation":[{"name":"College of Technological Innovation, Zayed University, Dubai, U.A.E"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1078","container-title":["Computer Science and Information Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T08:05:00Z","timestamp":1685347500000},"score":1,"resource":{"primary":{"URL":"https:\/\/doiserbia.nb.rs\/Article.aspx?ID=1820-02141900041C"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020]]}},"URL":"https:\/\/doi.org\/10.2298\/csis190430041c","relation":{},"ISSN":["1820-0214","2406-1018"],"issn-type":[{"value":"1820-0214","type":"print"},{"value":"2406-1018","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]}}}