{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:13:23Z","timestamp":1752228803939,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031197611"},{"type":"electronic","value":"9783031197628"}],"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><jats:p>In the Internet of Things (IoT) era, devices and systems generate enormous amounts of real-time data, and demand real-time analytics in an uninterrupted manner. The typical solution, a cloud-centred architecture providing an analytics service, cannot guarantee real-time responsiveness because of unpredictable workloads and network congestion. Recently, edge computing has been proposed as a solution to reduce latency in critical systems. For computation processing and analytics on edge, the challenges include handling the heterogeneity of devices and data, and achieving processing on the edge in order to reduce the amount of data transmitted over the network.<\/jats:p><jats:p>In this paper, we show how low-code, model-driven approaches benefit a Digital Platform for Edge analytics. The first solution uses EdgeX, an IIoT framework for supporting heterogeneous architectures with the eKuiper rule-based engine. The engine schedules fully automatically tasks that retrieve data from the Edge, as the infrastructure near the data is generated, allowing us to create a continuous flow of information. The second solution uses FiWARE, an IIoT framework used in industry, using IoT agents to accomplish a pipeline for edge analytics. In our architecture, based on the DIME LC\/NC Integrated Modelling Environment, both integrations of EdgeX\/eKuyper and FiWARE happen by adding an External Native DSL to this Digital Platform. The DSL comprises a family of reusable Service-Independent Building blocks (SIBs), which are the essential modelling entities and (service) execution capabilities in the architecture\u2019s modelling layer. They provide users with capabilities to connect, control and organise devices and components, and develop custom workflows in a simple drag and drop manner.\n\n<\/jats:p>","DOI":"10.1007\/978-3-031-19762-8_29","type":"book-chapter","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T08:03:09Z","timestamp":1666166589000},"page":"406-421","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Model-Driven Edge Analytics: Practical Use Cases in\u00a0Smart Manufacturing"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7927-129X","authenticated-orcid":false,"given":"Ivan","family":"Guevara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9272-2622","authenticated-orcid":false,"given":"Hafiz Ahmad Awais","family":"Chaudhary","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5547-9739","authenticated-orcid":false,"given":"Tiziana","family":"Margaria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,17]]},"reference":[{"key":"29_CR1","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":"29_CR2","unstructured":"Bray, T.: What Is RDF (1998). https:\/\/www.xml.com\/pub\/a\/2001\/01\/24\/rdf1.html. Accessed 4 Sept 2022"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Cadavid, J., Alf\u00e9rez, M., G\u00e9rard, S., Tessier, P.: Conceiving the model-driven smart factory. In: Proceedings of the 2015 ICSSP 2015, pp. 72\u201376 (2015)","DOI":"10.1145\/2785592.2785602"},{"key":"29_CR4","series-title":"LNCS","first-page":"195","volume-title":"ISoLA 2022","author":"HAA Chaudhary","year":"2022","unstructured":"Chaudhary, H.A.A., et al.: Model-driven engineering in digital thread platforms: a practical use case and future challenges. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13704, pp. 195\u2013207. Springer, Cham (2022)"},{"key":"29_CR5","doi-asserted-by":"crossref","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: IFIP International Internet of Things Conference. Springer (2022)","DOI":"10.1007\/978-3-031-18872-5_17"},{"key":"29_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-030-89159-6_3","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"HAA Chaudhary","year":"2021","unstructured":"Chaudhary, H.A.A., Margaria, T.: Integrating external services in DIME. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 41\u201354. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-89159-6_3"},{"key":"29_CR7","unstructured":"Dingli, D.J., et al.: The manufacturing industry-coping with challenges. Technical report (2012)"},{"key":"29_CR8","unstructured":"EdgeX Foundry: The preferred edge IoT plug and play ecosystem - eabled open source software platform. https:\/\/www.edgexfoundry.org\/. Accessed May 2022"},{"issue":"02","key":"29_CR9","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1080\/13602381.2011.533502","volume":"17","author":"L Ee Shiang","year":"2011","unstructured":"Ee Shiang, L., Nagaraj, S.: Impediments to innovation: evidence from Malaysian manufacturing firms. Asia Pac. Bus. Rev. 17(02), 209\u2013223 (2011)","journal-title":"Asia Pac. Bus. Rev."},{"key":"29_CR10","first-page":"12","volume":"11","author":"S Guermazi","year":"2015","unstructured":"Guermazi, S., Tatibouet, J., Cuccuru, A., Dhouib, S., G\u00e9rard, S., Seidewitz, E.: Executable modeling with fUML and Alf in Papyrus: tooling and experiments. Strategies 11, 12 (2015)","journal-title":"Strategies"},{"key":"29_CR11","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 38 (2022)"},{"key":"29_CR12","doi-asserted-by":"crossref","unstructured":"Holt, J., Perry, S.: SysML for systems engineering, vol. 7. IET (2008)","DOI":"10.1049\/PBPC007E"},{"key":"29_CR13","unstructured":"Jacobson, I., Booch, G., Rumbaugh, J.: The unified modeling language. University Video Communications (1996)"},{"key":"29_CR14","unstructured":"Lanusse, A., et al.: Papyrus UML: an open source toolset for MDA. In: Proceedings of the Fifth ECMDA-FA 2009, pp. 1\u20134. Citeseer (2009)"},{"key":"29_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/978-3-030-89159-6_25","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"T Margaria","year":"2021","unstructured":"Margaria, T., Chaudhary, H.A.A., Guevara, I., Ryan, S., Schieweck, A.: The interoperability challenge: building a model-driven digital thread platform for CPS. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 393\u2013413. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-89159-6_25"},{"key":"29_CR16","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":"29_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/978-3-030-91384-7_8","volume-title":"Model Checking, Synthesis, and Learning","author":"T Margaria","year":"2021","unstructured":"Margaria, T., Schieweck, A.: Towards engineering digital twins by\u00a0active behaviour mining. In: Olderog, E.-R., Steffen, B., Yi, W. (eds.) Model Checking, Synthesis, and Learning. LNCS, vol. 13030, pp. 138\u2013163. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-91384-7_8"},{"key":"29_CR18","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"},{"key":"29_CR19","doi-asserted-by":"publisher","first-page":"732","DOI":"10.1007\/978-3-319-60013-0_208-1","volume-title":"Encyclopedia of Education and Information Technologies","author":"T Margaria","year":"2020","unstructured":"Margaria, T., Steffen, B.: eXtreme model-driven development (XMDD) technologies as a hands-on approach to software development without coding. In: Tatnall, A. (ed.) Encyclopedia of Education and Information Technologies, pp. 732\u2013750. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-319-60013-0_208-1"},{"key":"29_CR20","doi-asserted-by":"crossref","unstructured":"Panda, P.R.: SystemC: a modeling platform supporting multiple design abstractions. In: Proceedings of the 14th International Symposium on Systems Synthesis, pp. 75\u201380 (2001)","DOI":"10.1145\/500001.500018"},{"key":"29_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-9299-3","volume-title":"REST: Advanced Research Topics and Practical Applications","author":"C Pautasso","year":"2013","unstructured":"Pautasso, C., Wilde, E., Alarcon, R.: REST: Advanced Research Topics and Practical Applications. Springer, New York (2013). https:\/\/doi.org\/10.1007\/978-1-4614-9299-3"},{"key":"29_CR22","unstructured":"R: The R project for statistical computing. https:\/\/www.r-project.org\/. Accessed May 2022"},{"issue":"5","key":"29_CR23","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)","journal-title":"IEEE Internet Things J."},{"key":"29_CR24","unstructured":"Steffen, B., Margaria, T., Cla\u00dfen, A., et al.: Heterogeneous analysis and verification for distributed systems. In: Software-Concepts and Tools, vol. 17, pp. 13\u201325. Springer (1996)"},{"key":"29_CR25","unstructured":"Steffen, B.: DSL-driven integration of http services in dime. BSc thesis, Fakult\u00e4t f\u00fcr Informatik. TU Dortmund, Germany (2022)"},{"key":"29_CR26","unstructured":"Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: Eclipse Modeling Framework. Pearson Education, London (2008)"},{"key":"29_CR27","unstructured":"FIWARE Team: FiWARE (2022). https:\/\/www.fiware.org\/. Accessed 5 Sept 2022"},{"key":"29_CR28","doi-asserted-by":"crossref","unstructured":"Thomas, A.J., Byard, P., Evans, R.: Identifying the UK\u2019s manufacturing challenges as a benchmark for future growth. J. Manuf. Technol. Manage. (2012)","DOI":"10.1108\/17410381211202160"},{"issue":"11","key":"29_CR29","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1016\/j.ifacol.2018.08.255","volume":"51","author":"K Thramboulidis","year":"2018","unstructured":"Thramboulidis, K., Kontou, I., Vachtsevanou, D.C.: Towards an IoT-based framework for evolvable assembly systems. IFAC-PapersOnLine 51(11), 182\u2013187 (2018)","journal-title":"IFAC-PapersOnLine"},{"issue":"3","key":"29_CR30","doi-asserted-by":"publisher","first-page":"745","DOI":"10.3390\/s21030745","volume":"21","author":"E Trunzer","year":"2021","unstructured":"Trunzer, E., Vogel-Heuser, B., Chen, J.K., Kohnle, M.: Model-driven approach for realization of data collection architectures for cyber-physical systems of systems to lower manual implementation efforts. Sensors 21(3), 745 (2021)","journal-title":"Sensors"},{"issue":"6","key":"29_CR31","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1007\/s11740-017-0765-0","volume":"11","author":"B Vogel-Heuser","year":"2017","unstructured":"Vogel-Heuser, B., Wildermann, S., Teich, J.: Towards the co-evolution of industrial products and its production systems by combining models from development and hardware\/software deployment in cyber-physical systems. Prod. Eng. Res. Devel. 11(6), 687\u2013694 (2017). https:\/\/doi.org\/10.1007\/s11740-017-0765-0","journal-title":"Prod. Eng. Res. Devel."}],"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_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T23:17:19Z","timestamp":1666221439000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19762-8_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031197611","9783031197628"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19762-8_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"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"}}]}}