{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,23]],"date-time":"2026-08-23T16:52:41Z","timestamp":1787503961081,"version":"build-2736575974"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031197611","type":"print"},{"value":"9783031197628","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:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,10,17]],"date-time":"2022-10-17T00:00:00Z","timestamp":1665964800000},"content-version":"vor","delay-in-days":289,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>The increasing complexity delivered by the heterogeneity of the cyber-physical systems is being addressed and decoded by edge technologies, IoT development, robotics, digital twin engineering, and AI. Nevertheless, tackling the orchestration of these complex ecosystems has become a challenging problem. Specially the inherent entanglement of the different emerging technologies makes it hard to maintain and scale such ecosystems. In this context, the usage of model-driven engineering as a more abstract form of glue-code, replacing the boilerplate fashion, has improved the software development lifecycle, democratising the access to and use of the aforementioned technologies. In this paper, we present a practical use case in the context of Smart Manufacturing, where we use several platforms as providers of a high-level abstraction layer, as well as security measures, allowing a more efficient system construction and interoperability.<\/jats:p>","DOI":"10.1007\/978-3-031-19762-8_14","type":"book-chapter","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T04:03:09Z","timestamp":1666152189000},"page":"195-207","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Model-Driven Engineering in\u00a0Digital Thread Platforms: A Practical Use Case and\u00a0Future Challenges"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9272-2622","authenticated-orcid":false,"given":"Hafiz Ahmad Awais","family":"Chaudhary","sequence":"first","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-0001-7558-2015","authenticated-orcid":false,"given":"Jobish","family":"John","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6371-0435","authenticated-orcid":false,"given":"Amandeep","family":"Singh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9250-9215","authenticated-orcid":false,"given":"Amrita","family":"Ghosal","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9706-5705","authenticated-orcid":false,"given":"Dirk","family":"Pesch","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5547-9739","authenticated-orcid":false,"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,10,17]]},"reference":[{"key":"14_CR1","unstructured":"Amazon Rekognition | automate your image and video analysis with machine learning. https:\/\/aws.amazon.com\/rekognition\/. Accessed May 2022"},{"key":"14_CR2","unstructured":"GStreamer | Open Source Multimedia Framework. https:\/\/gstreamer.freedesktop.org\/. Accessed May 2022"},{"key":"14_CR3","unstructured":"MongoDB Atlas Database | Multi-Cloud Database Service. https:\/\/www.mongodb.com\/atlas\/database. Accessed May 2022"},{"key":"14_CR4","unstructured":"Raspberry Pi High Quality Camera. https:\/\/www.raspberrypi.com\/products\/raspberry-pi-high-quality-camera\/. Accessed May 2022"},{"key":"14_CR5","unstructured":"StereoPi - DIY stereoscopic camera based on Raspberry Pi. https:\/\/stereopi.com\/. Accessed May 2022"},{"key":"14_CR6","unstructured":"StereoPi Wiki Main Page. https:\/\/wiki.stereopi.com\/. Accessed May 2022"},{"key":"14_CR7","unstructured":"Tines | no-code automation for security teams. https:\/\/www.tines.com\/lessons\/storyboard\/. Accessed May 2022"},{"key":"14_CR8","unstructured":"Zeromq | an open-source universal messaging library. https:\/\/zeromq.org\/. Accessed May 2022"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-319-11203-9_5","volume-title":"Computer Security - ESORICS 2014","author":"M Ambrosin","year":"2014","unstructured":"Ambrosin, M., Busold, C., Conti, M., Sadeghi, A.-R., Schunter, M.: Updaticator: updating billions of devices by an efficient, scalable and secure software update distribution over untrusted cache-enabled networks. In: Kuty\u0142owski, M., Vaidya, J. (eds.) ESORICS 2014. LNCS, vol. 8712, pp. 76\u201393. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11203-9_5"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Bethencourt, J., Sahai, A., Waters, B.: Ciphertext-policy attribute-based encryption. In: 2007 IEEE Symposium on Security and Privacy (SP 2007), pp. 321\u2013334. IEEE (2007)","DOI":"10.1109\/SP.2007.11"},{"key":"14_CR11","doi-asserted-by":"publisher","unstructured":"Boldo, M., et al.: Integrating wearable and camera based monitoring in the digital twin for safety assessment in the industry 4.0 era. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS 13704, pp. 184\u2013194. Springer, Heidelberg (2022). https:\/\/doi.org\/10.1007\/978-3-031-19762-8_13","DOI":"10.1007\/978-3-031-19762-8_13"},{"key":"14_CR12","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"},{"issue":"2","key":"14_CR13","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/MNET.2021.9387709","volume":"35","author":"A Braud","year":"2021","unstructured":"Braud, A., Fromentoux, G., Radier, B., Le Grand, O.: The road to European digital sovereignty with GAIA-x and IDSA. IEEE Network 35(2), 4\u20135 (2021). https:\/\/doi.org\/10.1109\/MNET.2021.9387709","journal-title":"IEEE Network"},{"key":"14_CR14","doi-asserted-by":"publisher","unstructured":"Chaudhary, H.A.A., Guevara, I., John, J., Singh, A., Margaria, T., Pesch, D.: Low-code internet of things application development for edge analytics. In: Camarinha-Matos, L. M., et al. (eds.) Internet of Things. IoT through a Multi-disciplinary Perspective, IFIPIoT 2022, IFIP AICT 665, pp. 1\u201320 (2022). https:\/\/doi.org\/10.1007\/978-3-031-18872-5_17","DOI":"10.1007\/978-3-031-18872-5_17"},{"key":"14_CR15","unstructured":"Chaudhary, H.A.A., Margaria, T.: DSL-based interoperability and integration in the smart manufacturing digital thread. Electron. Commun. EASST 80 (2022)"},{"key":"14_CR16","unstructured":"Cisco: Cisco, March 2022. https:\/\/www.cisco.com\/c\/en\/us\/solutions\/collateral\/ executive-perspectives\/annual-internet-report\/white-paper-c11-741490.html"},{"key":"14_CR17","unstructured":"EdgeX Foundry: The preferred edge IoT plug and play ecosystem - eabled open source software platform. https:\/\/www.edgexfoundry.org\/. Accessed May 2022"},{"key":"14_CR18","unstructured":"Erbessd instruments: Condition monitoring & industrial automation. https:\/\/www.erbessd-instruments.com\/wireless-vibration-sensors\/. Accessed May 2022"},{"key":"14_CR19","unstructured":"Guevara, I., Chaudhary, H.A.A., Margaria, T.: A low-code proposal for a rule-based engine integration in a digital thread platform context. In: International Manufacturing Conference IMC, vol. 38 (2022)"},{"key":"14_CR20","doi-asserted-by":"publisher","unstructured":"Guevara, I., Chaudhary, H.A.A., Margaria, T.: Model-driven edge analytics: practical use cases in smart manufacturing. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS 13704, pp. 406\u2013421. Springer, Heidelberg (2022). https:\/\/doi.org\/10.1007\/978-3-031-19762-8_29","DOI":"10.1007\/978-3-031-19762-8_29"},{"key":"14_CR21","unstructured":"Enterprise-control system integration. Standard, International Organization for Standardization, May 2013"},{"issue":"2","key":"14_CR22","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.entcs.2005.12.049","volume":"157","author":"M Karusseit","year":"2006","unstructured":"Karusseit, M., Margaria, T.: Feature-based modelling of a complex, online-reconfigurable decision support service. Electron. Notes Theor. Comput. Sci. 157(2), 101\u2013118 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"14_CR23","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":"14_CR24","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 (2012). https:\/\/doi.org\/10.1007\/978-1-4471-2297-5_10","DOI":"10.1007\/978-1-4471-2297-5_10"},{"key":"14_CR25","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"},{"key":"14_CR26","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. Transfer 20, 1\u201328 (2018). https:\/\/doi.org\/10.1007\/s10009-017-0453-6","DOI":"10.1007\/s10009-017-0453-6"},{"key":"14_CR27","doi-asserted-by":"crossref","unstructured":"Salhofer, P., Joanneum, F.: Evaluating the FIWARE platform: a case-study on implementing smart application with FIWARE. In: Proceedings of the 51st Hawaii International Conference on System Sciences. vol. 9, pp. 5797\u20135805 (2018)","DOI":"10.24251\/HICSS.2018.726"},{"issue":"1","key":"14_CR28","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."},{"issue":"5","key":"14_CR29","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1109\/JIOT.2016.2579198","volume":"3","author":"W Shi","year":"2016","unstructured":"Shi, W., Cao, J., Zhang, Q., Li, Y., Xu, L.: Edge computing: vision and challenges. IEEE Internet Things J. 3(5), 637\u2013646 (2016). https:\/\/doi.org\/10.1109\/JIOT.2016.2579198","journal-title":"IEEE Internet Things J."},{"key":"14_CR30","doi-asserted-by":"crossref","unstructured":"Song, H., Yin, F., Han, X., Luo, T., Li, J.: MPDS-RCA: multi-level privacy-preserving data sharing for resisting collusion attacks based on an integration of CP-ABE and LDP. Comput. Secur. 112, 102523 (2022)","DOI":"10.1016\/j.cose.2021.102523"},{"key":"14_CR31","unstructured":"Steffen, B., Margaria, T., Cla\u00dfen, A., et al.: Heterogeneous analysis and verification for distributed systems. Softw. Concepts Tools 17, 13\u201325 (1996)"},{"issue":"2","key":"14_CR32","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1109\/COMST.2020.2970550","volume":"22","author":"X Wang","year":"2020","unstructured":"Wang, X., Han, Y., Leung, V.C., Niyato, D., Yan, X., Chen, X.: Convergence of edge computing and deep learning: a comprehensive survey. IEEE Commun. Surv. Tutorials 22(2), 869\u2013904 (2020)","journal-title":"IEEE Commun. Surv. Tutorials"},{"key":"14_CR33","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"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Practice"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-19762-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T19:16:46Z","timestamp":1666207006000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19762-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031197611","9783031197628"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19762-8_14","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"}}]}}