{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T10:58:17Z","timestamp":1759229897521,"version":"3.37.3"},"reference-count":59,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2022,3,14]],"date-time":"2022-03-14T00:00:00Z","timestamp":1647216000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,3,14]],"date-time":"2022-03-14T00:00:00Z","timestamp":1647216000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2022,7]]},"DOI":"10.1007\/s11227-022-04363-0","type":"journal-article","created":{"date-parts":[[2022,3,14]],"date-time":"2022-03-14T17:19:15Z","timestamp":1647278355000},"page":"13004-13039","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Conformance checking for autonomous multi-cloud SLA management and adaptation"],"prefix":"10.1007","volume":"78","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1070-1906","authenticated-orcid":false,"given":"Jeremy","family":"Mechouche","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roua","family":"Touihri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Sellami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walid","family":"Gaaloul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,3,14]]},"reference":[{"key":"4363_CR1","unstructured":"Comparing multicloud management and governance approaches. https:\/\/www.gartner.com\/en\/documents\/3903683\/comparing-multicloud-management-and-governance-approache. Accessed: 2021-03-26"},{"key":"4363_CR2","unstructured":"State of the cloud report from flexera"},{"key":"4363_CR3","unstructured":"MELODIC: multi-cloud management platform (2020). https:\/\/h2020.melodic.cloud\/"},{"key":"4363_CR4","unstructured":"DECIDE: multicloud application towards the digital single market (2020). https:\/\/decide-h2020.eu\/"},{"key":"4363_CR5","unstructured":"Cyclone (2020). https:\/\/www.cyclone-project.eu\/\/"},{"key":"4363_CR6","doi-asserted-by":"crossref","unstructured":"Ardagna D et\u00a0al. (2012) MODAClouds: a model-driven approach for the design and execution of applications on multiple Clouds. In: 2012 4th International Workshop on Modeling in Software Engineering (MISE) . https:\/\/ieeexplore.ieee.org\/document\/6226014\/","DOI":"10.1109\/MISE.2012.6226014"},{"key":"4363_CR7","first-page":"2","volume":"18","author":"A Brogi","year":"2015","unstructured":"Brogi A et al (2015) Adaptive management of applications across multiple clouds: the SeaClouds approach. CLEI Electron J 18:2","journal-title":"CLEI Electron J"},{"key":"4363_CR8","unstructured":"Farokhi S, Jrad F, Brandic I, Streit A (2014) Hierarchical SLA-based service selection for multi-cloud environments. In: Proceedings of the 4th International Conference on Cloud Computing and Services Science"},{"key":"4363_CR9","volume-title":"SP 800\u2013145","author":"PM Mell","year":"2011","unstructured":"Mell PM, Grance T (2011) SP 800\u2013145. The NIST definition of cloud computing. Tech, Rep, NIST, Gaithersburg, MD, USA"},{"key":"4363_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/s13677-020-00194-7","volume":"9","author":"O Tomarchio","year":"2020","unstructured":"Tomarchio O, Calcaterra D, Di Modica G (2020) Cloud resource orchestration in the multi-cloud landscape: a systematic review of existing frameworks. J Cloud Comput 9:1\u201324","journal-title":"J Cloud Comput"},{"key":"4363_CR11","volume-title":"Autonomic Computing: IBM\u2019s Perspective on the State of Information Technology","author":"PJ Horn","year":"2001","unstructured":"Horn PJ (2001) Autonomic Computing: IBM\u2019s Perspective on the State of Information Technology. Tech, Rep, IBM"},{"issue":"3","key":"4363_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2843890","volume":"48","author":"F Faniyi","year":"2015","unstructured":"Faniyi F, Bahsoon R (2015) A systematic review of service level management in the cloud. ACM Comput Surv 48(3):1\u201327","journal-title":"ACM Comput Surv"},{"key":"4363_CR13","doi-asserted-by":"crossref","unstructured":"Maarouf A, Marzouk A, Haqiq A (2015) A review of SLA specification languages in the cloud computing. SITA 1\u20136","DOI":"10.1109\/SITA.2015.7358406"},{"key":"4363_CR14","volume-title":"Information technology: Cloud computing-Service level agreement (SLA) framework - Part 1: Overview and concepts","author":"ISO","year":"2016","unstructured":"ISO (2016) Information technology: Cloud computing-Service level agreement (SLA) framework - Part 1: Overview and concepts. Standard, International Organization for Standardization"},{"key":"4363_CR15","volume-title":"Information technology: Cloud computing-Service level agreement (SLA) framework - Part 2: Metric model","author":"ISO","year":"2018","unstructured":"ISO (2018) Information technology: Cloud computing-Service level agreement (SLA) framework - Part 2: Metric model. Standard, International Organization for Standardization"},{"issue":"2","key":"4363_CR16","doi-asserted-by":"publisher","first-page":"317","DOI":"10.3390\/sym13020317","volume":"13","author":"C Ramalingam","year":"2021","unstructured":"Ramalingam C, Mohan P (2021) Addressing semantics standards for cloud portability and interoperability in multi cloud environment. Symmetry 13(2):317","journal-title":"Symmetry"},{"key":"4363_CR17","doi-asserted-by":"crossref","unstructured":"Taha A, Manzoor S, Suri N (2017) SLA-based service selection for multi-cloud environments. In: 2017 IEEE International Conference on Edge Computing (EDGE). 65\u201372","DOI":"10.1109\/IEEE.EDGE.2017.17"},{"key":"4363_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-1568-8","volume-title":"Cloud computing patterns: fundamentals to design, build, and manage cloud applications","author":"C Fehling","year":"2014","unstructured":"Fehling C, Leymann F, Retter R, Schupeck W, Arbitter P (2014) Cloud computing patterns: fundamentals to design, build, and manage cloud applications. Springer, Berlin"},{"key":"4363_CR19","doi-asserted-by":"crossref","unstructured":"Mechouche J, Touihri R, Sellami M, Gaaloul, W (2021) Towards higher-level description of SLA-aware reconfiguration strategies based on state-machine. ICEBE to appear","DOI":"10.1109\/ICEBE52470.2021.00014"},{"key":"4363_CR20","volume-title":"An architectural blueprint for autonomic computing","author":"D Sinreich","year":"2006","unstructured":"Sinreich D (2006) An architectural blueprint for autonomic computing. Tech. Rep, IBM"},{"key":"4363_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4","volume-title":"Process mining: data science in action","author":"WMP Van der Aalst","year":"2016","unstructured":"Van der Aalst WMP (2016) Process mining: data science in action, 2nd edn. Springer, Berlin","edition":"2"},{"issue":"4","key":"4363_CR22","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s00607-015-0441-1","volume":"98","author":"F Mannhardt","year":"2016","unstructured":"Mannhardt F, De Leoni M, Reijers HA, Van Der Aalst WM (2016) Balanced multi-perspective checking of process conformance. Computing 98(4):407\u2013437","journal-title":"Computing"},{"key":"4363_CR23","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1023\/A:1022445108617","volume":"11","author":"A Keller","year":"2003","unstructured":"Keller A, Ludwig H (2003) The WSLA framework: specifying and monitoring service level agreements for web services. J Netw Syst Manag 11:57","journal-title":"J Netw Syst Manag"},{"key":"4363_CR24","doi-asserted-by":"crossref","unstructured":"Kearney KT, Torelli F, Kotsokalis C (2010) SLA*: An abstract syntax for Service Level Agreements. In: 2010 11th IEEE\/ACM International Conference on Grid Computing. 217\u2013224","DOI":"10.1109\/GRID.2010.5697973"},{"key":"4363_CR25","doi-asserted-by":"crossref","unstructured":"Ludwig H et\u00a0al (2015) rSLA: monitoring SLAs in dynamic service environments. In: International Conference on Service-oriented Computing. 139\u2013153","DOI":"10.1007\/978-3-662-48616-0_9"},{"key":"4363_CR26","doi-asserted-by":"crossref","unstructured":"Engel R, Rajamoni S, Chen B, Ludwig H, Keller A (2018) ysla: reusable and configurable SLAs for large-scale SLA management. In: 2018 IEEE 4th International Conference on Collaboration and Internet Computing (CIC). 317\u2013325","DOI":"10.1109\/CIC.2018.00050"},{"key":"4363_CR27","doi-asserted-by":"crossref","unstructured":"Uriarte RB, Tiezzi F, De Nicola R (2014) Slac: a formal service-level-agreement language for cloud computing. In: 2014 IEEE\/ACM 7th International Conference on Utility and Cloud Computing. 419\u2013426","DOI":"10.1109\/UCC.2014.53"},{"key":"4363_CR28","doi-asserted-by":"publisher","DOI":"10.5220\/0003956405860591","author":"Y Kouki","year":"2012","unstructured":"Kouki Y, Ledoux T et al (2012) CSLA: a Language for Improving Cloud SLA Management. CLOSER. https:\/\/doi.org\/10.5220\/0003956405860591","journal-title":"CLOSER"},{"key":"4363_CR29","doi-asserted-by":"crossref","unstructured":"Son S, Choi HH, Oh BT, Kim SW, Kim, BS (2017) Cloud SLA relationships in multi-cloud environment: models and practices. In: Proceedings of the 8th International Conference on Computer Modeling and Simulation","DOI":"10.1145\/3036331.3050422"},{"issue":"7","key":"4363_CR30","doi-asserted-by":"publisher","first-page":"1017","DOI":"10.1016\/j.future.2011.08.018","volume":"28","author":"VC Emeakaroha","year":"2012","unstructured":"Emeakaroha VC et al (2012) Towards autonomic detection of SLA violations in Cloud infrastructures. Fut Gener Comput Syst 28(7):1017\u20131029","journal-title":"Fut Gener Comput Syst"},{"issue":"3B","key":"4363_CR31","doi-asserted-by":"publisher","first-page":"114","DOI":"10.4236\/jsea.2013.63B025","volume":"6","author":"A Mosallanejad","year":"2013","unstructured":"Mosallanejad A, Atan R (2013) HA-SLA: a hierarchical autonomic SLA model for SLA monitoring in cloud computing. J Softw Eng Appl 6(3B):114","journal-title":"J Softw Eng Appl"},{"issue":"3","key":"4363_CR32","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1016\/j.comnet.2012.10.020","volume":"57","author":"E Casalicchio","year":"2013","unstructured":"Casalicchio E, Silvestri L (2013) Mechanisms for SLA provisioning in cloud-based service providers. Comput Netw 57(3):795\u2013810","journal-title":"Comput Netw"},{"key":"4363_CR33","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/j.future.2017.02.022","volume":"78","author":"M Ghobaei-Arani","year":"2018","unstructured":"Ghobaei-Arani M, Jabbehdari S, Pourmina MA (2018) An autonomic resource provisioning approach for service-based cloud applications: a hybrid approach. Futur Gener Comput Syst 78:191\u2013210","journal-title":"Futur Gener Comput Syst"},{"issue":"2","key":"4363_CR34","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1504\/IJGUC.2021.114824","volume":"12","author":"N Sfondrini","year":"2021","unstructured":"Sfondrini N, Motta G (2021) LISA: a lean information service architecture for SLA management in multi-cloud environments. Int J Grid Util Comput 12(2):149\u2013158","journal-title":"Int J Grid Util Comput"},{"issue":"4","key":"4363_CR35","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1007\/s10723-020-09532-0","volume":"18","author":"J Kosi\u0144ska","year":"2020","unstructured":"Kosi\u0144ska J, Zieli\u0144ski K (2020) Autonomic management framework for cloud-native applications. J Grid Comput 18(4):779\u2013796","journal-title":"J Grid Comput"},{"key":"4363_CR36","doi-asserted-by":"crossref","unstructured":"Rouf Y, Mukherjee J, Litoiu M, Wigglesworth J, Mateescu R (2021) A framework for developing devops operation automation in clouds using components-off-the-shelf. In: Proceedings of the ACM\/SPEC International Conference on Performance Engineering. 265\u2013276","DOI":"10.1145\/3427921.3450235"},{"key":"4363_CR37","unstructured":"Ismail B, Khalid M, Muty N, Ong H (2014) SLA object and SLA process modelling using wsla and bpm notations towards defining a generic SLA Orchestrator framework. In: The Seventh International Conference on Dependability"},{"key":"4363_CR38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-56509-4","volume-title":"Fundamentals of business process management","author":"M Dumas","year":"2018","unstructured":"Dumas M, Rosa ML, Mendling J, Reijers HA (2018) Fundamentals of business process management, 2nd edn. Springer, Berlin","edition":"2"},{"key":"4363_CR39","first-page":"49","volume":"1","author":"C Mager","year":"2014","unstructured":"Mager C (2014) Analysis of service level agreements using process mining techniques. FHWS Sci J 1:49","journal-title":"FHWS Sci J"},{"key":"4363_CR40","doi-asserted-by":"crossref","unstructured":"van Eck ML, Sidorova N, van der Aalst WM (2016) Discovering and exploring state-based models for multi-perspective processes. In: International Conference on Business Process Management. 142\u2013157","DOI":"10.1007\/978-3-319-45348-4_9"},{"key":"4363_CR41","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1016\/j.procs.2015.12.126","volume":"72","author":"RA Sutrisnowati","year":"2015","unstructured":"Sutrisnowati RA et al (2015) BAB Framework: process mining on cloud. Proc Comput Sci 72:453\u2013460","journal-title":"Proc Comput Sci"},{"key":"4363_CR42","doi-asserted-by":"crossref","unstructured":"Chesani F, Ciampolini A, Loreti D, Mello P (2016) Map reduce autoscaling over the cloud with process mining monitoring. In: International Conference on Cloud Computing and Services Science. 109\u2013130","DOI":"10.1007\/978-3-319-62594-2_6"},{"issue":"1","key":"4363_CR43","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2542182.2542199","volume":"5","author":"M Montali","year":"2014","unstructured":"Montali M, Maggi FM, Chesani F, Mello P, Aalst WMVD (2014) Monitoring business constraints with the event calculus. ACM Trans Intell Syst Technol 5(1):1\u201330","journal-title":"ACM Trans Intell Syst Technol"},{"key":"4363_CR44","doi-asserted-by":"crossref","unstructured":"Acampora G, Bernardi ML, Cimitile M, Tortora G, Vitiello A (2017) A fuzzy-based autoscaling approach for process centered cloud systems. In: 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). 1\u20138","DOI":"10.1109\/FUZZ-IEEE.2017.8015768"},{"issue":"10","key":"4363_CR45","doi-asserted-by":"publisher","first-page":"2979","DOI":"10.1109\/TPDS.2017.2696942","volume":"28","author":"W Song","year":"2017","unstructured":"Song W et al (2017) Scientific workflow mining in clouds. IEEE Trans Parallel Distrib Syst 28(10):2979\u20132992","journal-title":"IEEE Trans Parallel Distrib Syst"},{"key":"4363_CR46","doi-asserted-by":"crossref","unstructured":"Calcaterra D, Cartelli V, Di Modica G, Tomarchio O (2018) Exploiting BPMN features to design a fault-aware TOSCA Orchestrator. CLOSER. 533\u2013540","DOI":"10.5220\/0006775605330540"},{"key":"4363_CR47","unstructured":"OMG (2013) Business Process Model and Notation (BPMN), Version 2.0.2. Tech. Rep., Object Management Group. http:\/\/www.omg.org\/spec\/BPMN\/2.0.2"},{"issue":"4","key":"4363_CR48","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.6025","volume":"33","author":"KK Azumah","year":"2021","unstructured":"Azumah KK, S\u00f8rensen LT, Montella R, Kosta S (2021) Process mining-constrained scheduling in the hybrid cloud. Concurr Comput Pract Exp 33(4):e6025","journal-title":"Concurr Comput Pract Exp"},{"key":"4363_CR49","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2019.101450","volume":"90","author":"B Hayet","year":"2020","unstructured":"Hayet B, Achraf M, Walid G, Boualem B (2020) Toward higher-level abstractions based on state machine for cloud resources elasticity. Inform Syst 90:101450","journal-title":"Inform Syst"},{"key":"4363_CR50","doi-asserted-by":"crossref","unstructured":"Verbeek H, Buijs JC, Van Dongen BF, Van Der Aalst WM (2010) Xes, xesame, and prom 6. In: International Conference on Advanced Information Systems Engineering. 60\u201375","DOI":"10.1007\/978-3-642-17722-4_5"},{"key":"4363_CR51","doi-asserted-by":"crossref","unstructured":"De Leoni M, van der Aalst WM (2013) Data-aware process mining: discovering decisions in processes using alignments. In: Proceedings of the 28th Annual ACM Symposium on Applied Computing. 1451\u20131461","DOI":"10.1145\/2480362.2480633"},{"key":"4363_CR52","doi-asserted-by":"crossref","unstructured":"Mannhardt F, De Leoni M, Reijers HA, Van Der Aalst WM, Toussaint PJ (2016) From low-level events to activities-a pattern-based approach. In: International Conference on Business Process Management. 125\u2013141","DOI":"10.1007\/978-3-319-45348-4_8"},{"key":"4363_CR53","doi-asserted-by":"crossref","unstructured":"Dunzer S, Stierle M, Matzner M, Baier S (2019) Conformance checking: a state-of-the-art literature review. In: Proceedings of the 11th International Conference on Subject-oriented Business Process Management. 1\u201310","DOI":"10.1145\/3329007.3329014"},{"issue":"2","key":"4363_CR54","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1002\/widm.1045","volume":"2","author":"W Van der Aalst","year":"2012","unstructured":"Van der Aalst W, Adriansyah A, van Dongen B (2012) Replaying history on process models for conformance checking and performance analysis. Wiley Interdiscip Rev Data Min Knowl Discov 2(2):182\u2013192","journal-title":"Wiley Interdiscip Rev Data Min Knowl Discov"},{"key":"4363_CR55","doi-asserted-by":"crossref","unstructured":"De Leoni M, Van Der Aalst WM (2013) Aligning event logs and process models for multi-perspective conformance checking: an approach based on integer linear programming. In: Business Process Management. 113\u2013129","DOI":"10.1007\/978-3-642-40176-3_10"},{"key":"4363_CR56","doi-asserted-by":"crossref","unstructured":"Adriansyah A, van Dongen BF, van der Aalst WM (2011) Conformance checking using cost-based fitness analysis. In: 2011 IEEE 15th International Enterprise Distributed Object Computing Conference. 55\u201364","DOI":"10.1109\/EDOC.2011.12"},{"key":"4363_CR57","first-page":"1","volume":"2016","author":"D Jaramillo","year":"2016","unstructured":"Jaramillo D, Nguyen DV, Smart R (2016) Leveraging microservices architecture by using Docker technology. SoutheastCon 2016:1\u20135","journal-title":"SoutheastCon"},{"key":"4363_CR58","doi-asserted-by":"crossref","unstructured":"Van Dongen BF, de Medeiros AKA, Verbeek H, Weijters A & van Der Aalst WM (2005) The ProM framework: a new era in process mining tool support. In: International Conference on Application and Theory of Petri nets. pp 444\u2013454","DOI":"10.1007\/11494744_25"},{"key":"4363_CR59","unstructured":"Berti A, van Zelst SJ, van der Aalst W (2019) Process mining for python (PM4Py): bridging the gap between process-and data science. arXiv preprint arXiv:1905.06169"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-022-04363-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11227-022-04363-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-022-04363-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,4]],"date-time":"2022-07-04T14:07:40Z","timestamp":1656943660000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11227-022-04363-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,14]]},"references-count":59,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2022,7]]}},"alternative-id":["4363"],"URL":"https:\/\/doi.org\/10.1007\/s11227-022-04363-0","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"type":"print","value":"0920-8542"},{"type":"electronic","value":"1573-0484"}],"subject":[],"published":{"date-parts":[[2022,3,14]]},"assertion":[{"value":"7 February 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 March 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}