{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T15:15:02Z","timestamp":1778253302198,"version":"3.51.4"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031197550","type":"print"},{"value":"9783031197567","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"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":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-19756-7_23","type":"book-chapter","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T07:02:54Z","timestamp":1666162974000},"page":"407-425","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Cinco Cloud: A Holistic Approach for\u00a0Web-Based Language-Driven Engineering"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Bainczyk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Busch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Krumrey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel Sami","family":"Mitwalli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonas","family":"Sch\u00fcrmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joel","family":"Tagoukeng Dongmo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,17]]},"reference":[{"key":"23_CR1","unstructured":"Eclipse Che - The Kubernetes-Native IDE for Developer Teams. https:\/\/www.eclipse.org\/che\/. Accessed 28 Aug 2021"},{"key":"23_CR2","unstructured":"Official page for Language Server Protocol. https:\/\/microsoft.github.io\/language-server-protocol\/. Accessed 12 Feb 2019"},{"key":"23_CR3","unstructured":"Theia - Cloud and Desktop IDE. https:\/\/www.theia-ide.org. Accessed 12 Feb 2019"},{"key":"23_CR4","unstructured":"WebGME. https:\/\/webgme.org\/. Accessed 26 July 2021"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Bainczyk, A., Bo\u00dfelmann, S., Krause, M., Krumrey, M., Steffen, B., Wirkner, D.: Towards continuous quality control in the context of language-driven engineering. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 389\u2013406. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-19756-7_22"},{"key":"23_CR6","unstructured":"Codeanywhere Inc.: Codeanywhere. https:\/\/codeanywhere.com. Accessed 06 Sept 2022"},{"key":"23_CR7","unstructured":"Cory Wilkerson: Github blog: Github\u2019s engineering team has moved to codespaces. https:\/\/github.blog\/2021-08-11-githubs-engineering-team-moved-codespaces\/. Accessed 08 Sept 2022"},{"key":"23_CR8","unstructured":"Eclipse Foundation: EMF.cloud. https:\/\/www.eclipse.org\/emfcloud\/. Accessed 18 July 2022"},{"key":"23_CR9","unstructured":"Eclipse Foundation: Sirius Web. https:\/\/www.eclipse.org\/sirius\/sirius-web.html. Accessed 27 July 2022"},{"key":"23_CR10","unstructured":"GitHub Inc: Github codespaces. https:\/\/github.com\/features\/codespaces. Accessed 08 Sept 2022"},{"key":"23_CR11","unstructured":"GitLab B.V.: GitLab Pages | GitLab. https:\/\/docs.gitlab.com\/ee\/user\/project\/pages\/. Accessed 17 July 2022"},{"key":"23_CR12","unstructured":"GitLab B.V.: The One DevOps Platform | GitLab. https:\/\/about.gitlab.com\/. Accessed 17 July 2022"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1007\/978-3-030-03418-4_33","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Modeling","author":"F Gossen","year":"2018","unstructured":"Gossen, F., Margaria, T., Murtovi, A., Naujokat, S., Steffen, B.: DSLs for decision services: a tutorial introduction to language-driven engineering. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 546\u2013564. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03418-4_33"},{"issue":"5","key":"23_CR14","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1007\/s10009-021-00630-2","volume":"23","author":"D Kopetzki","year":"2021","unstructured":"Kopetzki, D., Lybecait, M., Naujokat, S., Steffen, B.: Towards language-to-language transformation. Int. J. Softw. Tools Technol. Transfer 23(5), 655\u2013677 (2021). https:\/\/doi.org\/10.1007\/s10009-021-00630-2","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"23_CR15","unstructured":"Ledeczi, A., et al.: The generic modeling environment. In: Workshop on Intelligent Signal Processing (WISP 2001) (2001)"},{"key":"23_CR16","unstructured":"L\u00e9deczi, A., Mar\u00f3ti, M., V\u00f6lgyesi, P.: The Generic Modeling Environment. Technical report. Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN, 37221, USA (2003). http:\/\/www.isis.vanderbilt.edu\/sites\/default\/files\/GMEReport.pdf"},{"issue":"6","key":"23_CR17","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/MC.2010.177","volume":"43","author":"T Margaria","year":"2010","unstructured":"Margaria, T., Steffen, B.: Simplicity as a driver for agile innovation. Computer 43(6), 90\u201392 (2010). https:\/\/doi.org\/10.1109\/MC.2010.177","journal-title":"Computer"},{"key":"23_CR18","unstructured":"Mar\u00f3ti, M., et al.: Next generation (meta) modeling: web-and cloud-based collaborative tool infrastructure. MPM@ MoDELS 1237, 41\u201360 (2014)"},{"key":"23_CR19","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1109\/TSE.2002.1000449","volume":"28","author":"T Mens","year":"2002","unstructured":"Mens, T.: A state-of-the-art survey on software merging. IEEE Trans. Softw. Eng. 28, 449\u2013462 (2002). https:\/\/doi.org\/10.1109\/TSE.2002.1000449","journal-title":"IEEE Trans. Softw. Eng."},{"key":"23_CR20","unstructured":"MinIO Inc: MinIO | High Performance, Kubernetes Native Object Storage. https:\/\/min.io\/. Accessed 17 July 2022"},{"issue":"3","key":"23_CR21","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/s10009-017-0453-6","volume":"20","author":"S Naujokat","year":"2017","unstructured":"Naujokat, S., Lybecait, M., Kopetzki, D., Steffen, B.: CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. Int. J. Softw. Tools Technol. Transfer 20(3), 327\u2013354 (2017). https:\/\/doi.org\/10.1007\/s10009-017-0453-6","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"23_CR22","unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical report, University of Aarhus (1981). dAIMI FN-19"},{"key":"23_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-89159-6_1","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"T Tegeler","year":"2021","unstructured":"Tegeler, T., Teumert, S., Sch\u00fcrmann, J., Bainczyk, A., Busch, D., Steffen, B.: An introduction to graphical modeling of CI\/CD workflows with rig. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 3\u201317. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-89159-6_1"},{"key":"23_CR24","unstructured":"The Apache Software Foundation: ActiveMQ. https:\/\/activemq.apache.org\/components\/artemis\/. Accessed 17 July 2022"},{"key":"23_CR25","unstructured":"The Kubernetes Authors: Kubernetes. https:\/\/kubernetes.io\/de\/. Accessed 17 July 2022"},{"key":"23_CR26","doi-asserted-by":"publisher","unstructured":"Viyovic, V., Maksimovic, M., Perisic, B.: Sirius: a rapid development of DSM graphical editor. In: IEEE 18th International Conference on Intelligent Engineering Systems INES 2014. IEEE (2014). https:\/\/doi.org\/10.1109\/ines.2014.6909375","DOI":"10.1109\/ines.2014.6909375"},{"key":"23_CR27","unstructured":"Zweihoff, P.: Cinco Products for the Web. Master thesis, TU Dortmund (2015)"},{"key":"23_CR28","doi-asserted-by":"publisher","unstructured":"Zweihoff, P.: Aligned and Collaborative Language-Driven Engineering. Dissertation, TU Dortmund, Dortmund, Germany (2022). https:\/\/doi.org\/10.17877\/DE290R-22594. https:\/\/eldorado.tu-dortmund.de\/handle\/2003\/40736","DOI":"10.17877\/DE290R-22594"},{"key":"23_CR29","unstructured":"Zweihoff, P.: Aligned and Collaborative Language-Driven Engineering. Doctoral thesis, TU Dortmund University (2022). https:\/\/eldorado.tu-dortmund.de\/bitstream\/2003\/40736\/1\/Dissertation_Zweihoff.pdf"},{"key":"23_CR30","doi-asserted-by":"publisher","unstructured":"Zweihoff, P., Naujokat, S., Steffen, B.: Pyro: generating domain-specific collaborative online modeling environments. In: Proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering (FASE 2019) (2019). https:\/\/doi.org\/10.1007\/978-3-030-16722-6_6","DOI":"10.1007\/978-3-030-16722-6_6"},{"key":"23_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-030-89159-6_2","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"P Zweihoff","year":"2021","unstructured":"Zweihoff, P., Steffen, B.: Pyrus: an online modeling environment for no-code data-analytics service composition. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 18\u201340. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-89159-6_2"},{"key":"23_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/978-3-030-89159-6_27","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"P Zweihoff","year":"2021","unstructured":"Zweihoff, P., Tegeler, T., Sch\u00fcrmann, J., Bainczyk, A., Steffen, B.: Aligned, purpose-driven cooperation: the future way of system development. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 426\u2013449. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-89159-6_27"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-19756-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,5]],"date-time":"2023-04-05T00:10:30Z","timestamp":1680653430000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19756-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031197550","9783031197567"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19756-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"17 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}