{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T16:03:36Z","timestamp":1772726616848,"version":"3.50.1"},"reference-count":73,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2024,2,27]],"date-time":"2024-02-27T00:00:00Z","timestamp":1708992000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,2,27]],"date-time":"2024-02-27T00:00:00Z","timestamp":1708992000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2024,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper briefly outlines current literature on evolutionary architectures and current links with microservices orchestration and data integration. We also propose future research directions bridging the field of service-oriented architectures with the data science domain.<\/jats:p>","DOI":"10.1007\/s11761-024-00387-x","type":"journal-article","created":{"date-parts":[[2024,2,27]],"date-time":"2024-02-27T02:02:12Z","timestamp":1708999332000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Towards automating microservices orchestration through data-driven evolutionary architectures"],"prefix":"10.1007","volume":"18","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1844-0851","authenticated-orcid":false,"given":"Giacomo","family":"Bergami","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,2,27]]},"reference":[{"key":"387_CR1","unstructured":"Ford N, Parsons R, Kua P, Sadalage P (2022) Building evolutionary architectures: support constant change, 2nd edn. O\u2019Reilly Media Inc"},{"key":"387_CR2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2023.102978","volume":"230","author":"N Chondamrongkul","year":"2023","unstructured":"Chondamrongkul N, Sun J (2023) Software evolutionary architecture: automated planning for functional changes. Sci Comput Prog 230:102978. https:\/\/doi.org\/10.1016\/j.scico.2023.102978","journal-title":"Sci Comput Prog"},{"key":"387_CR3","doi-asserted-by":"publisher","unstructured":"Bergami G (2018) A new nested graph model for data integration. Ph.D. thesis, University of Bologna, Italy, pp 119-155 (2018). https:\/\/doi.org\/10.6092\/unibo\/amsdottorato\/8348","DOI":"10.6092\/unibo\/amsdottorato\/8348"},{"key":"387_CR4","doi-asserted-by":"publisher","unstructured":"Chondamrongkul N, Sun J, Warren I (2019) PAT approach to Architecture Behavioural Verification. In: The 31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019, ed. by A.\u00a0Perkusich (KSI Research Inc. and Knowledge Systems Institute Graduate School, 2019), pp 187\u2013252. https:\/\/doi.org\/10.18293\/SEKE2019-041","DOI":"10.18293\/SEKE2019-041"},{"key":"387_CR5","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-319-20233-4_13","volume-title":"FoodBroker: generating synthetic datasets for graph-based business analytics","author":"A Petermann","year":"2015","unstructured":"Petermann A, Junghanns M, M\u00fcller R, Rahm E (2015) FoodBroker: generating synthetic datasets for graph-based business analytics. Springer, Cham, pp 145\u2013155. https:\/\/doi.org\/10.1007\/978-3-319-20233-4_13"},{"key":"387_CR6","unstructured":"Bergami G (2019) A framework supporting imprecise queries and data"},{"issue":"4","key":"387_CR7","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/S11761-023-00366-8","volume":"17","author":"K Geeta","year":"2023","unstructured":"Geeta K, Prasad VK (2023) Self-improved algorithm for cloud load balancing under SLA constraints. Serv Oriented Comput Appl 17(4):277\u2013291. https:\/\/doi.org\/10.1007\/S11761-023-00366-8","journal-title":"Serv Oriented Comput Appl"},{"key":"387_CR8","doi-asserted-by":"publisher","DOI":"10.1145\/3530692","author":"I Murturi","year":"2022","unstructured":"Murturi I, Dustdar S (2022) Decent: a decentralized configurator for controlling elasticity in dynamic edge networks. ACM Trans Internet Technol. https:\/\/doi.org\/10.1145\/3530692","journal-title":"ACM Trans Internet Technol"},{"key":"387_CR9","unstructured":"Milner R (1989) Communication and concurrency. PHI Series in computer science. Prentice Hall"},{"key":"387_CR10","doi-asserted-by":"publisher","unstructured":"Gorrieri R, Versari C (2015) Introduction to Concurrency Theory - Transition Systems and CCS. Texts in Theoretical Computer Science. An EATCS Series. Springer. https:\/\/doi.org\/10.1007\/978-3-319-21491-7","DOI":"10.1007\/978-3-319-21491-7"},{"key":"387_CR11","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/3-540-36532-X_20","volume-title":"Software security: theories and systems","author":"C Fournet","year":"2003","unstructured":"Fournet C, Abadi M (2003) Hiding names: private authentication in the applied pi calculus. In: Okada M, Pierce BC, Scedrov A, Tokuda H, Yonezawa A (eds) Software security: theories and systems. Springer, Heidelberg, pp 317\u2013338"},{"issue":"1","key":"387_CR12","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1145\/1925844.1926420","volume":"46","author":"N Tzevelekos","year":"2011","unstructured":"Tzevelekos N (2011) Fresh-register automata. SIGPLAN Not 46(1):295\u2013306. https:\/\/doi.org\/10.1145\/1925844.1926420","journal-title":"SIGPLAN Not"},{"key":"387_CR13","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-030-85469-0_16","volume-title":"Business process management","author":"G Bergami","year":"2021","unstructured":"Bergami G, Maggi FM, Marrella A, Montali M (2021) Aligning data-aware declarative process models and event logs. In: Polyvyanyy A, Wynn MT, Van Looy A, Reichert M (eds) Business process management. Springer, Cham, pp 235\u2013251"},{"key":"387_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/s11761-023-00380-w","author":"A Daosabah","year":"2023","unstructured":"Daosabah A, Guermah H, Nassar M (2023) User\u2019s intention and context as pertinent factors for optimal web service composition. SOCA. https:\/\/doi.org\/10.1007\/s11761-023-00380-w","journal-title":"SOCA"},{"key":"387_CR15","doi-asserted-by":"publisher","unstructured":"He K, Lahijanian M, Kavraki LE, Vardi MY (2015) Towards manipulation planning with temporal logic specifications. In: IEEE International Conference on Robotics and Automation, ICRA 2015, Seattle, WA, USA, 26-30 May, 2015 (IEEE, 2015), pp 346\u2013352. https:\/\/doi.org\/10.1109\/ICRA.2015.7139022","DOI":"10.1109\/ICRA.2015.7139022"},{"key":"387_CR16","unstructured":"De Pellegrin E, Petrick R (2022) Plan simulation with pdsim. CEUR Workshop Proceedings 3065"},{"key":"387_CR17","unstructured":"Leser U, Naumann F (2007) Informationsintegration. dpunkt.verlag"},{"key":"387_CR18","doi-asserted-by":"crossref","unstructured":"Gro\u00df A, Hartung M, Kirsten T, Rahm E (2011) Mapping Composition for Matching Large Life Science Ontologies. In: ICBO, CEUR Workshop Proceedings, vol. 833. CEUR-WS.org","DOI":"10.1007\/978-3-642-15120-0_4"},{"key":"387_CR19","unstructured":"Hartung M, Gro\u00df A, Rahm E (2013) Composition methods for link discovery. In: BTW, LNI, vol 214 (GI, 2013), pp 261\u2013277"},{"key":"387_CR20","unstructured":"Euzenat J, Shvaiko P (2007) In Ontology Matching. Springer"},{"key":"387_CR21","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1016\/j.dss.2014.11.003","volume":"69","author":"J Aligon","year":"2015","unstructured":"Aligon J, Gallinucci E, Golfarelli M, Marcel P, Rizzi S (2015) A collaborative filtering approach for recommending olap sessions. Decis Supp Syst 69:20\u201330. https:\/\/doi.org\/10.1016\/j.dss.2014.11.003","journal-title":"Decis Supp Syst"},{"key":"387_CR22","volume-title":"Semantic web for the working ontologist: effective modeling in RDFS and OWL","author":"D Allemang","year":"2011","unstructured":"Allemang D, Hendler J (2011) Semantic web for the working ontologist: effective modeling in RDFS and OWL, 2nd edn. Morgan Kaufmann Publishers Inc., San Francisco","edition":"2"},{"key":"387_CR23","unstructured":"Saeki M, Kaiya H (2006) On Relationships Among Models, Meta Models, and Ontologies. In: Proceedings of the 6th OOPSLA workshop on domain-specific modeling"},{"key":"387_CR24","doi-asserted-by":"crossref","unstructured":"Henderson-Sellers B (2012) On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages. Springer Briefs in Computer Science. Springer, pp I\u2013IX, 1\u2013106","DOI":"10.1007\/978-3-642-29825-7_1"},{"key":"387_CR25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38721-0","volume-title":"Ontology matching","author":"J Euzenat","year":"2013","unstructured":"Euzenat J, Shvaiko P (2013) Ontology matching, 2nd edn. Springer, Heidelberg","edition":"2"},{"key":"387_CR26","unstructured":"Manolescu I, Florescu D, Kossmann D (2001) Answering XML queries on heterogeneous data sources. In: VLDB. Morgan Kaufmann, pp 241\u2013250"},{"key":"387_CR27","unstructured":"Nadal S, Romero O, Abell\u00f3 A, Vassiliadis P, Vansummeren S (2017) An integration-oriented ontology to govern evolution in big data ecosystems. In: EDBT\/ICDT Workshops, CEUR workshop proceedings, vol 1810. CEUR-WS.org"},{"key":"387_CR28","unstructured":"Sint R, Stroka S, Schaffert S, Ferstl R (2009) Combining Unstructured, Fully Structured and Semi-Structured Information in Semantic Wikis. In: 4th Semantic Wiki Workshop (SemWiki 2009) at the 6th European Semantic Web Conference (ESWC 2009), Hersonissos, Greece, June 1st, 2009. Proceedings. http:\/\/ceur-ws.org\/Vol-464\/paper-14.pdf"},{"key":"387_CR29","unstructured":"Magnani M, Montesi D (2004) A unified approach to structured, semistructured and unstructured data. Tech. rep., in education. Inf Process Manag 29"},{"issue":"1","key":"387_CR30","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.datak.2005.06.004","volume":"59","author":"M Magnani","year":"2006","unstructured":"Magnani M, Montesi D (2006) A unified approach to structured and XML data modeling and manipulation. Data Knowl Eng 59(1):25\u201362. https:\/\/doi.org\/10.1016\/j.datak.2005.06.004","journal-title":"Data Knowl Eng"},{"issue":"2","key":"387_CR31","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2005.11.031","volume":"150","author":"JJ Lu","year":"2006","unstructured":"Lu JJ (2006) A data model for data integration. Electron Not Theor Comput Sci 150(2):3\u201319","journal-title":"Electron Not Theor Comput Sci"},{"key":"387_CR32","unstructured":"Botoeva E, Calvanese D, Cogrel B, Rezk M, Xiao G (2016) OBDA beyond relational DBs: a study for mongodb. In: Description Logics, CEUR Workshop Proceedings, vol. 1577. CEUR-WS.org"},{"key":"387_CR33","doi-asserted-by":"publisher","unstructured":"Holubov\u00e1 I, Contos P, Svoboda M (2021) Multi-model data modeling and representation: state of the art and research challenges. In: IDEAS 2021: 25th international database engineering & applications symposium, Montreal, QC, Canada, July 14-16, 2021 (ACM, 2021), pp 242\u2013251. https:\/\/doi.org\/10.1145\/3472163.3472267","DOI":"10.1145\/3472163.3472267"},{"key":"387_CR34","doi-asserted-by":"publisher","unstructured":"Holubov\u00e1 I, Contos P, Svoboda M (2021) Categorical management of multi-model data. In: IDEAS 2021: 25th international database engineering & applications symposium, Montreal, QC, Canada, July 14-16, 2021 (ACM, 2021), pp 134\u2013140. https:\/\/doi.org\/10.1145\/3472163.3472166","DOI":"10.1145\/3472163.3472166"},{"issue":"4","key":"387_CR35","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/s007780100054","volume":"10","author":"AY Halevy","year":"2001","unstructured":"Halevy AY (2001) Answering queries using views: a survey. VLDB J 10(4):270\u2013294. https:\/\/doi.org\/10.1007\/s007780100054","journal-title":"VLDB J"},{"key":"387_CR36","doi-asserted-by":"publisher","DOI":"10.1145\/3609429.3609433","author":"G Bergami","year":"2023","unstructured":"Bergami G, Zegad\u0142o W (2023) Towards a generalised semistructured data model and query language. SIGWEB Newsl. https:\/\/doi.org\/10.1145\/3609429.3609433","journal-title":"SIGWEB Newsl"},{"key":"387_CR37","doi-asserted-by":"crossref","unstructured":"Saeedi A, Peukert E, Rahm E (2017) Comparative evaluation of distributed clustering schemes for multi-source entity resolution. ADBIS","DOI":"10.1007\/978-3-319-66917-5_19"},{"key":"387_CR38","doi-asserted-by":"publisher","unstructured":"Zou J, Barnett RM, Lorido-Botran T, Luo S, Monroy C, Sikdar S, Teymourian K, Yuan B, Jermaine C (2018), PlinyCompute: A Platform for High-Performance, Distributed, Data-Intensive Tool Development. In: Proceedings of the 2018 International Conference on Management of Data (Association for Computing Machinery, New York, NY, USA, 2018), SIGMOD \u201918, pp 1189\u20131204. https:\/\/doi.org\/10.1145\/3183713.3196933","DOI":"10.1145\/3183713.3196933"},{"key":"387_CR39","doi-asserted-by":"crossref","unstructured":"Junghanns M, Petermann A, Teichmann N, Gomez K, Rahm E (2016) Analyzing extended property graphs with apache flink. SIGMOD workshop on Network Data Analytics (NDA)","DOI":"10.1145\/2980523.2980527"},{"key":"387_CR40","unstructured":"Zhang T, Subburathinam A, Shi G, Huang L, Lu D, Pan X, Li M, Zhang B, Wang Q, Whitehead S, Ji H, Zareian A, Akbari H, Chen B, Zhong R, Shao S, Allaway E, Chang S, McKeown KR, Li D, Huang X, Sun K, Peng X, Gabbard R, Freedman M, Kejriwal M, Nevatia R, Szekely PA, Kumar TKS, Sadeghian A, Bergami G, Dutta S, Rodr\u00edguez ME, Wang DZ (2018) GAIA: a multi-media multi-lingual knowledge extraction and hypothesis generation system. In: Proceedings of the 2018 Text Analysis Conference, TAC 2018, Gaithersburg, Maryland, USA, November 13-14, 2018 (NIST, 2018). https:\/\/tac.nist.gov\/publications\/2018\/participant.papers\/TAC2018.GAIA.proceedings.pdf"},{"key":"387_CR41","unstructured":"Kleppmann M (2016) Designing data-intensive applications: the big ideas behind reliable, scalable, and maintainable systems. O\u2019Reilly. http:\/\/shop.oreilly.com\/product\/0636920032175.do"},{"issue":"4","key":"387_CR42","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s11761-023-00376-6","volume":"17","author":"Y Gamha","year":"2023","unstructured":"Gamha Y (2023) A framework for rest services discovery and composition. Serv Oriented Comput Appl 17(4):259\u2013275. https:\/\/doi.org\/10.1007\/s11761-023-00376-6","journal-title":"Serv Oriented Comput Appl"},{"key":"387_CR43","unstructured":"Ambler SW, Sadalage PJ (2006) Refactoring databases: evolutionary database design. Addison-Wesley Professional"},{"key":"387_CR44","doi-asserted-by":"publisher","unstructured":"Melnik S, Garcia-Molina H, Rahm E (2002) Similarity Flooding: A Versatile Graph Matching Algorithm and Its Application to Schema Matching. In: Proceedings of the 18th international conference on data engineering, San Jose, CA, USA, February 26 - March 1, 2002, ed. by R.\u00a0Agrawal, K.R. Dittrich (IEEE Computer Society, 2002), pp 117\u2013128. https:\/\/doi.org\/10.1109\/ICDE.2002.994702","DOI":"10.1109\/ICDE.2002.994702"},{"key":"387_CR45","doi-asserted-by":"crossref","unstructured":"Henderson-Sellers B (2012) On the mathematics of modelling, metamodelling, ontologies and modelling languages. Springer Briefs in Computer Science. Springer, pp I\u2013IX, 1\u2013106","DOI":"10.1007\/978-3-642-29825-7_1"},{"key":"387_CR46","doi-asserted-by":"publisher","unstructured":"Almutairi R, Bergami G, Morgan G, Gillgallon R (2023) Platform for energy efficiency monitoring electrical vehicle in real world traffic simulation. In: 25th ieee conference on business informatics, CBI 2023 - Volume 1, Prague, Czech Republic, June 21-23, 2023 (IEEE, 2023), pp 1\u20138. https:\/\/doi.org\/10.1109\/CBI58679.2023.10187450","DOI":"10.1109\/CBI58679.2023.10187450"},{"key":"387_CR47","unstructured":"Thor A, Hartung M, Gro\u00df A, Kirsten T, Rahm E (2009) An Evolutionbased Approach for Assessing Ontology Mappings - A Case Study in the Life Sciences, in Datenbanksysteme in Business, Technologie und Web (BTW 2009), 13. Fachtagung des GI-Fachbereichs \u201cDatenbanken und Informationssysteme\u201d (DBIS), Proceedings, 2.-6. M\u00e4rz 2009, M\u00fcnster, Germany, LNI, vol. P-144, ed. by J.C. Freytag, T.\u00a0Ruf, W.\u00a0Lehner, G.\u00a0Vossen (GI, 2009), pp 277\u2013286. https:\/\/dl.gi.de\/handle\/20.500.12116\/20452"},{"issue":"6","key":"387_CR48","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MIC.2021.3138153","volume":"26","author":"S Laso","year":"2022","unstructured":"Laso S, Berrocal J, Fernandez P, Garc\u00eda JM, Garc\u00eda-Alonso J, Murillo JM, Ruiz-Cort\u00e9s A, Dustdar S (2022) Elastic data analytics for the cloud-to-things continuum. IEEE Internet Comput 26(6):42\u201349. https:\/\/doi.org\/10.1109\/MIC.2021.3138153","journal-title":"IEEE Internet Comput"},{"key":"387_CR49","doi-asserted-by":"publisher","unstructured":"Liu P, Loudcher S, Darmont J, No\u00fbs C (2021) ArchaeoDAL: a data lake for archaeological data management and analytics. In: Proceedings of the 25th international database engineering & applications symposium (association for computing machinery, New York, NY, USA, 2021), IDEAS \u201921, pp 252\u2013262. https:\/\/doi.org\/10.1145\/3472163.3472266","DOI":"10.1145\/3472163.3472266"},{"key":"387_CR50","doi-asserted-by":"publisher","unstructured":"Giebler C, Gr\u00f6ger C, Hoos E, Schwarz H, Mitschang B (2019) Modeling Data Lakes with Data Vault: Practical Experiences, Assessment, and Lessons Learned. In: Conceptual Modeling - 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings, Lecture Notes in Computer Science, vol. 11788, ed. by A.H.F. Laender, B.\u00a0Pernici, E.\u00a0Lim, J.P.M. de\u00a0Oliveira (Springer, 2019), pp 63\u201377. https:\/\/doi.org\/10.1007\/978-3-030-33223-5_7","DOI":"10.1007\/978-3-030-33223-5_7"},{"key":"387_CR51","unstructured":"Dehghani Z (2022) Data mesh: delivering data-driven value at scale. O\u2019Reilly Media, Inc"},{"key":"387_CR52","doi-asserted-by":"publisher","unstructured":"Machado IA, Costa C, Santos MY (2022) Advancing Data Architectures with Data Mesh Implementations. In: Intelligent Information Systems - CAiSE Forum 2022, Leuven, Belgium, June 6-10, 2022, Proceedings, Lecture Notes in Business Information Processing, vol. 452, ed. by J.D. Weerdt, A.\u00a0Polyvyanyy (Springer, 2022), pp 10\u201318. https:\/\/doi.org\/10.1007\/978-3-031-07481-3_2","DOI":"10.1007\/978-3-031-07481-3_2"},{"key":"387_CR53","doi-asserted-by":"publisher","DOI":"10.3390\/info14030173","author":"G Bergami","year":"2023","unstructured":"Bergami G, Appleby S, Morgan G (2023) Quickening data-aware conformance checking through temporal algebras. Information. https:\/\/doi.org\/10.3390\/info14030173","journal-title":"Information"},{"key":"387_CR54","unstructured":"M\u00e9hus J, Batista TV, Buisson J (2012) ACME vs PDDL: support for dynamic reconfiguration of software architectures. CoRR arXiv:1206.0122"},{"key":"387_CR55","doi-asserted-by":"publisher","unstructured":"Eilertsen AM (2020) Refactoring operations Grounded in manual code changes. In: ICSE \u201920: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June - 19 July, 2020, ed. by G.\u00a0Rothermel, D.\u00a0Bae (ACM, 2020), pp 182\u2013185. https:\/\/doi.org\/10.1145\/3377812.3381395","DOI":"10.1145\/3377812.3381395"},{"key":"387_CR56","first-page":"123","volume-title":"Reasoning about smart contracts encoded in LTL, in AIxIA","author":"V Fionda","year":"2021","unstructured":"Fionda V, Greco G, Mastratisi MA (2021) Reasoning about smart contracts encoded in LTL, in AIxIA. Springer, Cham, pp 123\u2013136"},{"key":"387_CR57","first-page":"551","volume":"20","author":"T Elsken","year":"2019","unstructured":"Elsken T, Metzen JH, Hutter F (2019) Neural architecture search: a survey. J Mach Learn Res 20:551\u20135521","journal-title":"J Mach Learn Res"},{"key":"387_CR58","doi-asserted-by":"publisher","unstructured":"Liang J, Meyerson E, Hodjat B, Fink D, Mutch K, Miikkulainen R (2019) Evolutionary Neural AutoML for Deep Learning. In: Proceedings of the Genetic and Evolutionary Computation Conference (Association for Computing Machinery, New York, NY, USA, 2019), GECCO \u201919, pp 401\u2013409. https:\/\/doi.org\/10.1145\/3321707.3321721","DOI":"10.1145\/3321707.3321721"},{"key":"387_CR59","doi-asserted-by":"publisher","DOI":"10.1145\/3588945","author":"S Chen","year":"2023","unstructured":"Chen S, Tang N, Fan J, Yan X, Chai C, Li G, Du X (2023) Haipipe: combining human-generated and machine-generated pipelines for data preparation. Proc ACM Manag Data. https:\/\/doi.org\/10.1145\/3588945","journal-title":"Proc ACM Manag Data"},{"key":"387_CR60","doi-asserted-by":"publisher","DOI":"10.1145\/3589273","author":"S Grafberger","year":"2023","unstructured":"Grafberger S, Groth P, Schelter S (2023) Automating and optimizing data-centric what-if analyses on native machine learning pipelines. Proc ACM Manag Data. https:\/\/doi.org\/10.1145\/3589273","journal-title":"Proc ACM Manag Data"},{"issue":"4","key":"387_CR61","doi-asserted-by":"publisher","first-page":"723","DOI":"10.1109\/JPROC.2018.2791463","volume":"106","author":"F Bertini","year":"2018","unstructured":"Bertini F, Bergami G, Montesi D, Veronese G, Marchesini G, Pandolfi P (2018) Predicting frailty condition in elderly using multidimensional socioclinical databases. Proc IEEE 106(4):723\u2013737. https:\/\/doi.org\/10.1109\/JPROC.2018.2791463","journal-title":"Proc IEEE"},{"key":"387_CR62","doi-asserted-by":"publisher","unstructured":"Safina L, Mazzara M, Montesi F, Rivera V (2016) Data-driven workflows for microservices: genericity in jolie. In: 2016 IEEE 30th international conference on advanced information networking and applications (AINA) (2016), pp 430\u2013437. https:\/\/doi.org\/10.1109\/AINA.2016.95","DOI":"10.1109\/AINA.2016.95"},{"key":"387_CR63","volume-title":"The definitive guide to apache flink: next generation data processing","author":"S Papp","year":"2016","unstructured":"Papp S (2016) The definitive guide to apache flink: next generation data processing, 1st edn. Apress, USA","edition":"1"},{"key":"387_CR64","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-642-34002-4_37","volume-title":"Conceptual modeling","author":"T Sagi","year":"2012","unstructured":"Sagi T, Gal A (2012) Non-binary evaluation for schema matching. In: Atzeni P, Cheung D, Ram S (eds) Conceptual modeling. Springer, Heidelberg, pp 477\u2013486"},{"key":"387_CR65","unstructured":"Simon DE (1999) An embedded software primer, 1st edn. Addison-Wesley Longman Publishing Co. Inc"},{"key":"387_CR66","unstructured":"Berners-Lee T, Mendelsohn. The rule of least power. https:\/\/www.w3.org\/2001\/tag\/doc\/leastPower"},{"key":"387_CR67","first-page":"1","volume-title":"Foundational and practical aspects of resource analysis","author":"RM Amadio","year":"2014","unstructured":"Amadio RM, Ayache N, Bobot F, Boender JP, Campbell B, Garnier I, Madet A, McKinna J, Mulligan DP, Piccolo M, Pollack R, R\u00e9gis-Gianas Y (2014) C. Sacerdoti Coen, I. Stark, P. Tranquilli, Certified Complexity (CerCo). In: Dal Lago U, Pe\u00f1a R (eds) Foundational and practical aspects of resource analysis. Springer, Cham, pp 1\u201318"},{"issue":"2","key":"387_CR68","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/S0304-3975(96)00325-8","volume":"183","author":"M Dam","year":"1997","unstructured":"Dam M (1997) On the decidability of process equivalences for the $$\\pi $$-calculus. Theoret Comput Sci 183(2):215\u2013228. https:\/\/doi.org\/10.1016\/S0304-3975(96)00325-8","journal-title":"Theoret Comput Sci"},{"key":"387_CR69","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/3-540-45927-8_21","volume-title":"Programming languages and systems","author":"W Charatonik","year":"2002","unstructured":"Charatonik W, Gordon AD, Talbot JM (2002) Finite-control mobile ambients. In: Le M\u00e9tayer D (ed) Programming languages and systems. Springer, Heidelberg, pp 295\u2013313"},{"key":"387_CR70","doi-asserted-by":"publisher","DOI":"10.1145\/3588909","author":"X Tang","year":"2023","unstructured":"Tang X, Wu S, Zhang D, Li F, Chen G (2023) Detecting logic bugs of join optimizations in dbms. Proc ACM Manag Data. https:\/\/doi.org\/10.1145\/3588909","journal-title":"Proc ACM Manag Data"},{"key":"387_CR71","unstructured":"Filli\u00e2tre JC, Magaud N (1999) Certification of Sorting Algorithms in the Coq System. In: 12th International Conference of Theorem Proving in Higher Order Logics. TPHOLs), Emerging Trends"},{"issue":"1","key":"387_CR72","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/s12046-009-0003-3","volume":"34","author":"A Asperti","year":"2009","unstructured":"Asperti A, Ricciotti W, Sacerdoti Coen C, Tassi E (2009) A compact kernel for the calculus of inductive constructions. Sadhana 34(1):71\u2013144. https:\/\/doi.org\/10.1007\/s12046-009-0003-3","journal-title":"Sadhana"},{"key":"387_CR73","unstructured":"Brady E (2017) Type-Driven Development with Idris, 1st edn. Manning Books"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-024-00387-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11761-024-00387-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-024-00387-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,16]],"date-time":"2024-03-16T05:20:03Z","timestamp":1710566403000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11761-024-00387-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2,27]]},"references-count":73,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,3]]}},"alternative-id":["387"],"URL":"https:\/\/doi.org\/10.1007\/s11761-024-00387-x","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"value":"1863-2386","type":"print"},{"value":"1863-2394","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,2,27]]},"assertion":[{"value":"27 February 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}