{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,24]],"date-time":"2026-09-24T18:38:34Z","timestamp":1790275114891,"version":"4.1.0"},"publisher-location":"Cham","reference-count":64,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030891589","type":"print"},{"value":"9783030891596","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,10,12]],"date-time":"2021-10-12T00:00:00Z","timestamp":1633996800000},"content-version":"vor","delay-in-days":284,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>With the heterogeneity of the industry 4.0 world, and more generally of the Cyberphysical Systems realm, the quest towards a platform approach to solve the interoperability problem is front and centre to any system and system-of-systems project. Traditional approaches cover individual aspects, like data exchange formats and published interfaces. They may adhere to some standard, however they hardly cover the production of the integration layer, which is implemented as bespoke glue code that is hard to produce and even harder to maintain. Therefore, the traditional integration approach often leads to poor code quality, further increasing the time and cost and reducing the agility, and a high reliance on the individual development skills. We are instead tackling the interoperability challenge by building a model driven\/low-code Digital Thread platform that 1) systematizes the integration methodology, 2) provides methods and techniques for the individual integrations based on a layered Domain Specific Languages (DSL) approach, 3) through the DSLs it covers the integration space domain by domain, technology by technology, and is thus highly generalizable and reusable, 4) showcases a first collection of examples from the domains of robotics, IoT, data analytics, AI\/ML and web applications, 5) brings cohesiveness to the aforementioned heterogeneous platform, and 6) is easier to understand and maintain, even by not specialized programmers. We showcase the power, versatility and the potential of the Digital Thread platform on four interoperability case studies: the generic extension to REST services, to robotics through the UR family of robots, to the integration of various external databases (for data integration) and to the provision of data analytics capabilities in R.<\/jats:p>","DOI":"10.1007\/978-3-030-89159-6_25","type":"book-chapter","created":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T17:57:10Z","timestamp":1633975030000},"page":"393-413","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":28,"title":["The Interoperability Challenge: Building a Model-Driven Digital Thread Platform for CPS"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5547-9739","authenticated-orcid":false,"given":"Tiziana","family":"Margaria","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9272-2622","authenticated-orcid":false,"given":"Hafiz Ahmad Awais","family":"Chaudhary","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7927-129X","authenticated-orcid":false,"given":"Ivan","family":"Guevara","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9704-7248","authenticated-orcid":false,"given":"Stephen","family":"Ryan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5008-9168","authenticated-orcid":false,"given":"Alexander","family":"Schieweck","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,10,12]]},"reference":[{"key":"25_CR1","unstructured":"Edgex foundry: The edgex foundry platform. https:\/\/www.edgexfoundry.org\/. Accessed July 2021"},{"key":"25_CR2","unstructured":"Fi-ware: The open-source platform for our smart digital future. https:\/\/www.fiware.org\/. Accessed July 2021"},{"key":"25_CR3","unstructured":"Gaia-x: A federated data infrastructure for Europe. https:\/\/www.data-infrastructure.eu\/. Accessed July 2021"},{"key":"25_CR4","unstructured":"Jolie: The service-oriented programming language. https:\/\/www.jolie-lang.org\/index.html. Accessed Sept 2021"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Allian, A.P., Schnicke, F., Antonino, P.O., Rombach, D., Nakagawa, E.Y.: Architecture drivers for trustworthy interoperability in industry 4.0. IEEE Syst. J. (2021)","DOI":"10.1109\/JSYST.2020.3041259"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Balasubramanian, D., Coglio, A., Dubey, A., Karsai, G.: Towards model-based intent-driven adaptive software. In: Proceedings of ISoLA 2021. LNCS, vol. 13036 (2021)","DOI":"10.1007\/978-3-030-89159-6_24"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Baresi, L., Garriga, M.: Microservices: the evolution and extinction of web services? Microservices, pp. 3\u201328 (2020)","DOI":"10.1007\/978-3-030-31646-4_1"},{"key":"25_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"809","DOI":"10.1007\/978-3-319-47169-3_60","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"S Bo\u00dfelmann","year":"2016","unstructured":"Bo\u00dfelmann, S., et al.: DIME: a programming-less modeling environment for web applications. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 809\u2013832. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_60"},{"key":"25_CR9","doi-asserted-by":"publisher","first-page":"646","DOI":"10.1016\/j.promfg.2020.01.083","volume":"38","author":"T Burns","year":"2019","unstructured":"Burns, T., Cosgrove, J., Doyle, F.: A review of interoperability standards for industry 4.0. Procedia Manuf. 38, 646\u2013653 (2019)","journal-title":"Procedia Manuf."},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Chaudhary, H.A.A., Margaria, T.: Integration of micro-services as components in modeling environments for low code development. In: Proceedings of the Institute for System Programming of the RAS, vol. 33, no. 4 (2021, September (in print))","DOI":"10.15514\/ISPRAS-2021-33(4)-2"},{"key":"25_CR11","doi-asserted-by":"publisher","first-page":"15332","DOI":"10.1109\/ACCESS.2020.2966919","volume":"8","author":"G Daniel","year":"2020","unstructured":"Daniel, G., Cabot, J., Deruelle, L., Derras, M.: Xatkit: a multimodal low-code chatbot development framework. IEEE Access 8, 15332\u201315346 (2020). https:\/\/doi.org\/10.1109\/ACCESS.2020.2966919","journal-title":"IEEE Access"},{"key":"25_CR12","unstructured":"Farulla, G.A., Indaco, M., Legay, A., Margaria, T.: Model driven design of secure properties for vision-based applications: a case study. In: Proceedings of the International Conference on Security and Management (SAM), p. 159. The Steering Committee of The World Congress in Computer Science, Computer (2016)"},{"key":"25_CR13","volume-title":"Architectural Styles and the Design of Network-Based Software Architectures","author":"RT Fielding","year":"2000","unstructured":"Fielding, R.T.: Architectural Styles and the Design of Network-Based Software Architectures. University of California, Irvine (2000)"},{"key":"25_CR14","unstructured":"Geraci, A.: IEEE Standard Computer Dictionary: Compilation of IEEE Standard Computer Glossaries. IEEE Press (1991)"},{"key":"25_CR15","unstructured":"Guevara, I., Margaria, T.: Mazegen: an evolutionary generator for bootstrapping robotic navigation scenarios. In: 37th International Manufacturing Conference, Irish Manufacturing Council, September 2021, Athlone, Ireland (2021)"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Havelund, K., Bocchino, R.: Integrated modeling and development of component-based embedded software in scala. In: Proceedings ISoLA 2021. LNCS, vol. 13036 (2021)","DOI":"10.1007\/978-3-030-89159-6_16"},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"Jepsen, S.C., M\u00f8rk, T.I., Hviid, J., Worm, T.: A pilot study of industry 4.0 asset interoperability challenges in an industry 4.0 laboratory. In: 2020 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM), pp. 571\u2013575. IEEE (2020)","DOI":"10.1109\/IEEM45057.2020.9309952"},{"issue":"2","key":"25_CR18","doi-asserted-by":"publisher","first-page":"660","DOI":"10.1109\/TII.2016.2596101","volume":"13","author":"V Jirkovsk\u1ef3","year":"2016","unstructured":"Jirkovsk\u1ef3, V., Obitko, M., Ma\u0159\u00edk, V.: Understanding data heterogeneity in the context of cyber-physical systems integration. IEEE Trans. Ind. Inform. 13(2), 660\u2013667 (2016)","journal-title":"IEEE Trans. Ind. Inform."},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"John, J., Ghosal, A., Margaria, T., Pesch, D.: Dsls and middleware platforms in a model driven development approach for secure predictive maintenance systems in smart factories. In: Proceedings ISoLA 2021. LNCS, vol. 13036. Springer (2021)","DOI":"10.1007\/978-3-030-89159-6_10"},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"John, J., Ghosal, A., Margaria, T., Pesch, D.: Dsls for model driven development of secure interoperable automation systems. In: Proceedings Forum for Specification and Design Languages (FDL). IEEE Press (September 2021 (in print))","DOI":"10.1109\/FDL53530.2021.9568378"},{"key":"25_CR21","doi-asserted-by":"publisher","unstructured":"Jorges, S., Kubczak, C., Pageau, F., Margaria, T.: Model driven design of reliable robot control programs using the jABC. In: Proceedings EASe 2007, vol. 07, pp. 137\u2013148 (2007). https:\/\/doi.org\/10.1109\/EASE.2007.17","DOI":"10.1109\/EASE.2007.17"},{"key":"25_CR22","doi-asserted-by":"crossref","unstructured":"J\u00f6rges, S., Kubczak, C., Pageau, F., Margaria, T.: Model driven design of reliable robot control programs using the jABC. In: Proceedings of 4th IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe 2007), pp. 137\u2013148 (2007)","DOI":"10.1109\/EASE.2007.17"},{"key":"25_CR23","doi-asserted-by":"crossref","unstructured":"Kovatsch, M., Hassan, Y.N., Mayer, S.: Practical semantics for the internet of things: physical states, device mashups, and open questions. In: 2015 5th International Conference on the Internet of Things (IOT), pp. 54\u201361. IEEE (2015)","DOI":"10.1109\/IOT.2015.7356548"},{"key":"25_CR24","doi-asserted-by":"publisher","first-page":"1004","DOI":"10.1016\/j.promfg.2017.07.206","volume":"11","author":"H Lee","year":"2017","unstructured":"Lee, H., Ryu, K., Cho, Y.: A framework of a smart injection molding system based on real-time data. Procedia Manuf. 11, 1004\u20131011 (2017)","journal-title":"Procedia Manuf."},{"key":"25_CR25","doi-asserted-by":"crossref","unstructured":"Lelli, F.: Interoperability of the time of industry 4.0 and the internet of things. Fut. Internet 11(2), 36 (2019)","DOI":"10.3390\/fi11020036"},{"key":"25_CR26","doi-asserted-by":"crossref","unstructured":"Lethbridge, T.C.: Low-code is often high-code, so we must design low-code platforms to enable proper software engineering. In: Proceedings ISoLA 2021. LNCS, vol. 13036 (2021)","DOI":"10.1007\/978-3-030-89159-6_14"},{"key":"25_CR27","unstructured":"Maiya, A.S.: ktrain: a low-code library for augmented machine learning. arXiv preprint arXiv:2004.10703 (2020)"},{"key":"25_CR28","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Service engineering: linking business and IT. Computer 39(10), 45\u201355 (2006)","DOI":"10.1109\/MC.2006.355"},{"key":"25_CR29","doi-asserted-by":"publisher","unstructured":"Margaria, T., Bakera, M., Kubczak, C., Naujokat, S., Steffen, B.: Automatic generation of the SWS-challenge mediator with jABC\/ABC. In: Petrie, C., Margaria, T., Zaremba, M., Lausen, H. (eds.) Semantic Web Services Challenge. Results from the First Year, pp. 119\u2013138. Springer Verlag (2008). https:\/\/doi.org\/10.1007\/978-0-387-72496-6","DOI":"10.1007\/978-0-387-72496-6"},{"key":"25_CR30","unstructured":"Margaria, T., Kubczak, C., Njoku, M., Steffen, B.: Model-based design of distributed collaborative bioinformatics processes in the jABC. In: Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2006), Los Alamitos, CA, USA, pp. 169\u2013176. IEEE Computer Society, August 2006"},{"key":"25_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/978-3-642-04930-9_25","volume-title":"The Semantic Web - ISWC 2009","author":"T Margaria","year":"2009","unstructured":"Margaria, T., Meyer, D., Kubczak, C., Isberner, M., Steffen, B.: Synthesizing semantic web service compositions with jMosel and Golog. In: Bernstein, A., et al. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 392\u2013407. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04930-9_25"},{"key":"25_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-34968-4_1","volume-title":"Integrated Formal Methods","author":"T Margaria","year":"2019","unstructured":"Margaria, T., Schieweck, A.: The digital thread in Industry 4.0. In: Ahrendt, W., Tapia Tarifa, S.L. (eds.) IFM 2019. LNCS, vol. 11918, pp. 3\u201324. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-34968-4_1"},{"key":"25_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/BFb0053591","volume-title":"Fundamental Approaches to Software Engineering","author":"T Margaria","year":"1998","unstructured":"Margaria, T., Steffen, B.: Backtracking-free design planning by automatic synthesis in metaframe. In: Astesiano, E. (ed.) FASE 1998. LNCS, vol. 1382, pp. 188\u2013204. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0053591"},{"key":"25_CR34","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Business process modeling in the jABC: the one-thing approach. In: Handbook of Research on Business Process Modeling, pp. 1\u201326. IGI Global (2009)","DOI":"10.4018\/978-1-60566-288-6.ch001"},{"issue":"6","key":"25_CR35","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)","journal-title":"Computer"},{"key":"25_CR36","doi-asserted-by":"publisher","unstructured":"Margaria, T., Steffen, B.: Service-orientation: conquering complexity with XMDD. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity, pp. 217\u2013236. Springer, London (2012). https:\/\/doi.org\/10.1007\/978-1-4471-2297-5_10","DOI":"10.1007\/978-1-4471-2297-5_10"},{"key":"25_CR37","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: extreme model-driven development (XMDD) technologies as a hands-on approach to software development without coding. In: Encyclopedia of Education and Information Technologies, pp. 732\u2013750 (2020)","DOI":"10.1007\/978-3-030-10576-1_208"},{"key":"25_CR38","doi-asserted-by":"crossref","unstructured":"Mellor, S.J., Clark, T., Futagami, T.: Model-driven development: guest editors\u2019 introduction. IEEE Softw. 20(5), 14\u201318 (2003). ISSN 0740\u20137459","DOI":"10.1109\/MS.2003.1231145"},{"issue":"3","key":"25_CR39","doi-asserted-by":"publisher","first-page":"9","DOI":"10.3233\/jid-2013-0008","volume":"17","author":"M Merten","year":"2013","unstructured":"Merten, M., Steffen, B.: Simplicity driven application development. J. Integr. Des. Process Sci. 17(3), 9\u201323 (2013)","journal-title":"J. Integr. Des. Process Sci."},{"key":"25_CR40","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.future.2019.11.028","volume":"105","author":"H Moradi","year":"2020","unstructured":"Moradi, H., Zamani, B., Zamanifar, K.: CaaSSET: a framework for model-driven development of context as a service. Future Gener. Comput. Syst. 105, 61\u201395 (2020)","journal-title":"Future Gener. Comput. Syst."},{"key":"25_CR41","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/j.jmsy.2020.01.007","volume":"54","author":"A Napoleone","year":"2020","unstructured":"Napoleone, A., Macchi, M., Pozzetti, A.: A review on the characteristics of cyber-physical systems for the future smart factories. J. Manuf. Syst. 54, 305\u2013335 (2020)","journal-title":"J. Manuf. Syst."},{"key":"25_CR42","doi-asserted-by":"publisher","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. Transf. 20, 1\u201328 (2018). https:\/\/doi.org\/10.1007\/s10009-017-0453-6","DOI":"10.1007\/s10009-017-0453-6"},{"key":"25_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-662-45234-9_5","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"J Neubauer","year":"2014","unstructured":"Neubauer, J., Frohme, M., Steffen, B., Margaria, T.: Prototype-driven development of web applications with DyWA. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8802, pp. 56\u201372. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45234-9_5"},{"key":"25_CR44","unstructured":"Newman, S.: Building Microservices: Designing Fine-Grained Systems. O\u2019Reilly Media, Inc. (2015)"},{"key":"25_CR45","doi-asserted-by":"crossref","unstructured":"Nilsson, J., Sandin, F.: Semantic interoperability in Industry 4.0: survey of recent developments and outlook. In: 2018 IEEE 16th International Conference on Industrial Informatics (INDIN), pp. 127\u2013132. IEEE (2018)","DOI":"10.1109\/INDIN.2018.8471971"},{"key":"25_CR46","doi-asserted-by":"crossref","unstructured":"Ordo\u00f1ez, K., Hilera, J., Cueva, S.: Model-driven development of accessible software: a systematic literature review. In: Universal Access in the Information Society, pp. 1\u201330 (2020)","DOI":"10.1007\/s10209-020-00751-6"},{"key":"25_CR47","doi-asserted-by":"crossref","unstructured":"Pang, T.Y., Pelaez Restrepo, J.D., Cheng, C.T., Yasin, A., Lim, H., Miletic, M.: Developing a digital twin and digital thread framework for an \u2018Industry 4.0\u2019 shipyard. Appl. Sci. 11(3), 1097 (2021)","DOI":"10.3390\/app11031097"},{"key":"25_CR48","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-030-31646-4_7","volume-title":"Microservices","author":"F Rademacher","year":"2020","unstructured":"Rademacher, F., Sorgalla, J., Wizenty, P., Sachweh, S., Z\u00fcndorf, A.: Graphical and textual model-driven microservice development. In: Microservices, pp. 147\u2013179. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-31646-4_7"},{"key":"25_CR49","doi-asserted-by":"crossref","unstructured":"da Rocha, H., Espirito-Santo, A., Abrishambaf, R.: Semantic interoperability in the Industry 4.0 using the IEEE 1451 standard. In: IECON 2020 The 46th Annual Conference of the IEEE Industrial Electronics Society, pp. 5243\u20135248. IEEE (2020)","DOI":"10.1109\/IECON43393.2020.9254274"},{"key":"25_CR50","doi-asserted-by":"publisher","unstructured":"Rumpe, B.: Modeling with UML. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33933-7","DOI":"10.1007\/978-3-319-33933-7"},{"key":"25_CR51","doi-asserted-by":"crossref","unstructured":"Sanchez, M., Exposito, E., Aguilar, J.: Industry 4.0: survey from a system integration perspective. Int. J. Comput. Integr. Manuf. 33(10\u201311), 1017\u20131041 (2020)","DOI":"10.1080\/0951192X.2020.1775295"},{"issue":"1","key":"25_CR52","doi-asserted-by":"publisher","first-page":"12","DOI":"10.3390\/app10010012","volume":"10","author":"R Sanchis","year":"2020","unstructured":"Sanchis, R., Garc\u00eda-Perales, \u00d3., Fraile, F., Poler, R.: Low-code as enabler of digital transformation in manufacturing industry. Appl. Sci. 10(1), 12 (2020)","journal-title":"Appl. Sci."},{"key":"25_CR53","doi-asserted-by":"publisher","first-page":"102126","DOI":"10.1016\/j.simpat.2020.102126","volume":"104","author":"F Santos","year":"2020","unstructured":"Santos, F., Nunes, I., Bazzan, A.L.: Quantitatively assessing the benefits of model-driven development in agent-based modeling and simulation. Simul. Model. Pract. Theory 104, 102126 (2020)","journal-title":"Simul. Model. Pract. Theory"},{"key":"25_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-319-91908-9_17","volume-title":"Computing and Software Science","author":"B Steffen","year":"2019","unstructured":"Steffen, B., Gossen, F., Naujokat, S., Margaria, T.: Language-driven engineering: from general-purpose to purpose-specific languages. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 311\u2013344. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-319-91908-9_17"},{"key":"25_CR55","doi-asserted-by":"publisher","unstructured":"Steffen, B., Howar, F., Isberner, M., Naujokat, S., Margaria, T.: Tailored generation of concurrent benchmarks. Softw. Tools Technol. Transf. 16(5), 543\u2013558 (2014). https:\/\/doi.org\/10.1007\/s10009-014-0339-9","DOI":"10.1007\/s10009-014-0339-9"},{"key":"25_CR56","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-48092-7_17","volume-title":"Correct System Design","author":"B Steffen","year":"1999","unstructured":"Steffen, B., Margaria, T.: METAFrame in practice: design of intelligent network services. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol. 1710, pp. 390\u2013415. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48092-7_17"},{"key":"25_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-70889-6_7","volume-title":"Hardware and Software, Verification and Testing","author":"B Steffen","year":"2007","unstructured":"Steffen, B., Margaria, T., Nagel, R., J\u00f6rges, S., Kubczak, C.: Model-driven development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 92\u2013108. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-70889-6_7"},{"issue":"10","key":"25_CR58","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1016\/j.ifacol.2019.10.060","volume":"52","author":"R Waszkowski","year":"2019","unstructured":"Waszkowski, R.: Low-code platform for automating business processes in manufacturing. IFAC-PapersOnLine 52(10), 376\u2013381 (2019)","journal-title":"IFAC-PapersOnLine"},{"key":"25_CR59","doi-asserted-by":"crossref","unstructured":"Windm\u00fcller, S., Neubauer, J., Steffen, B., Howar, F., Bauer, O.: Active continuous quality control. In: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, pp. 111\u2013120 (2013)","DOI":"10.1145\/2465449.2465469"},{"key":"25_CR60","doi-asserted-by":"crossref","unstructured":"Xu, L.D.: The contribution of systems science to Industry 4.0. Syst. Res. Behav. Sci. 37(4), 618\u2013631 (2020)","DOI":"10.1002\/sres.2705"},{"key":"25_CR61","doi-asserted-by":"crossref","unstructured":"You, Z., Feng, L.: Integration of Industry 4.0 related technologies in construction industry: a framework of cyber-physical system. IEEE Access 8, 122908\u2013122922 (2020)","DOI":"10.1109\/ACCESS.2020.3007206"},{"key":"25_CR62","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-030-16722-6_6","volume-title":"Fundamental Approaches to Software Engineering","author":"P Zweihoff","year":"2019","unstructured":"Zweihoff, P., Naujokat, S., Steffen, B.: Pyro: generating domain-specific collaborative online modeling environments. In: H\u00e4hnle, R., van der Aalst, W. (eds.) FASE 2019. LNCS, vol. 11424, pp. 101\u2013115. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-16722-6_6"},{"key":"25_CR63","doi-asserted-by":"crossref","unstructured":"Zweihoff, P., Steffen, B.: Pyrus: an online modeling environment for no-code data-analytics service composition. In: Proceedings ISoLA 2021. LNCS, vol. 13036 (2021)","DOI":"10.1007\/978-3-030-89159-6_2"},{"key":"25_CR64","doi-asserted-by":"crossref","unstructured":"Zweihoff, P., Tegeler, T., Sch\u00fcrmann, J., Bainczyk, A., Steffen, B.: Aligned, purpose-driven cooperation: The future way of system development. In: Proceedings ISoLA 2021. LNCS, vol. 13036 (2021)","DOI":"10.1007\/978-3-030-89159-6_27"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-89159-6_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,25]],"date-time":"2022-03-25T08:11:18Z","timestamp":1648195878000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-89159-6_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030891589","9783030891596"],"references-count":64,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-89159-6_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"12 October 2021","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":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/isola-conference.org\/isola2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}