{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T23:48:25Z","timestamp":1782949705695,"version":"3.54.5"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"9","license":[{"start":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T00:00:00Z","timestamp":1675900800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T00:00:00Z","timestamp":1675900800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"Ministerio de Ciencia Tecnolog\u00eda e Innovaci\u00f3n, Colombia"},{"DOI":"10.13039\/501100011688","name":"ECSEL Joint Undertaking","doi-asserted-by":"crossref","award":["101007260"],"award-info":[{"award-number":["101007260"]}],"id":[{"id":"10.13039\/501100011688","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2023,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>To meet increasingly restrictive requirements and improve quality of service (QoS), Internet of Things (IoT) systems have embraced multi-layered architectures leveraging edge and fog computing. However, the dynamic and changing IoT environment can impact QoS due to unexpected events. Therefore, proactive evolution and adaptation of the IoT system becomes a necessity and concern. In this paper, we present a model-based approach for the specification and execution of self-adaptive multi-layered IoT systems. Our proposal comprises the design of a domain-specific language (DSL) for the specification of such architectures, and a runtime framework to support the system behaviuor and its self-adaptation at runtime. The code for the deployment of the IoT system and the execution of the runtime framework is automatically produced by our prototype code generator. Moreover, we also show and validate the extensibility of such DSL by applying it to the domain of underground mining. The complete infrastructure (modeling tool, generator and runtime components) is available in a online open source repository.<\/jats:p>","DOI":"10.1007\/s00607-022-01145-7","type":"journal-article","created":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T20:36:57Z","timestamp":1675975017000},"page":"1883-1906","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["A model-based infrastructure for the specification and runtime execution of self-adaptive IoT architectures"],"prefix":"10.1007","volume":"105","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3940-0629","authenticated-orcid":false,"given":"Iv\u00e1n","family":"Alfonso","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kelly","family":"Garc\u00e9s","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Harold","family":"Castro","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jordi","family":"Cabot","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,2,9]]},"reference":[{"issue":"3","key":"1145_CR1","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1109\/MNET.2017.1700271","volume":"32","author":"Y Jiang","year":"2017","unstructured":"Jiang Y, Huang Z, Tsang DH (2017) Challenges and solutions in fog computing orchestration. IEEE Netw 32(3):122\u2013129","journal-title":"IEEE Netw"},{"key":"1145_CR2","doi-asserted-by":"publisher","DOI":"10.1016\/j.iot.2020.100206","volume":"11","author":"A Rhayem","year":"2020","unstructured":"Rhayem A, Mhiri MBA, Gargouri F (2020) Semantic web technologies for the internet of things: systematic literature review. Internet Things 11:100206","journal-title":"Internet Things"},{"key":"1145_CR3","volume-title":"Model-driven software engineering in practice. synthesis lectures on software engineering","author":"M Brambilla","year":"2017","unstructured":"Brambilla M, Cabot J, Wimmer M (2017) Model-driven software engineering in practice. synthesis lectures on software engineering, 2nd edn. Morgan & Claypool Publishers, USA","edition":"2"},{"issue":"13","key":"1145_CR4","doi-asserted-by":"publisher","first-page":"2996","DOI":"10.3390\/s19132996","volume":"19","author":"E Lee","year":"2019","unstructured":"Lee E, Seo Y-D, Kim Y-G (2019) Self-adaptive framework based on mape loop for internet of things. Sensors 19(13):2996","journal-title":"Sensors"},{"key":"1145_CR5","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1016\/j.jss.2015.01.027","volume":"103","author":"P Patel","year":"2015","unstructured":"Patel P, Cassou D (2015) Enabling high-level application development for the internet of things. J Syst Softw 103:62\u201384","journal-title":"J Syst Softw"},{"key":"1145_CR6","doi-asserted-by":"crossref","unstructured":"Ciccozzi F, Spalazzese R (2016) Mde4iot: supporting the internet of things with model-driven engineering. In: Int Symposium on Intelligent and Distributed Computing, pp. 67\u201376","DOI":"10.1007\/978-3-319-48829-5_7"},{"key":"1145_CR7","doi-asserted-by":"crossref","unstructured":"Yigitoglu E, Mohamed M, Liu L, Ludwig H (2017) Foggy: a framework for continuous automated IoT application deployment in fog computing. In: IEEE Int. Conf. on AI & Mobile Services, pp. 38\u201345","DOI":"10.1109\/AIMS.2017.14"},{"key":"1145_CR8","doi-asserted-by":"crossref","unstructured":"Alfonso I, Garc\u00e9s K, Castro H, Cabot J (2021) Modeling self-adaptative IoT architectures. In: 2021 ACM\/IEEE Int. Conf. on Model Driven Engineering Languages and Systems Companion, pp. 761\u2013766","DOI":"10.1109\/MODELS-C53483.2021.00122"},{"issue":"1","key":"1145_CR9","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"JO Kephart","year":"2003","unstructured":"Kephart JO, Chess DM (2003) The vision of autonomic computing. Computer 36(1):41\u201350","journal-title":"Computer"},{"key":"1145_CR10","doi-asserted-by":"crossref","unstructured":"Latifah A, Supangkat SH, Ramelan A (2020) Smart building: A literature review. In: Int Conf on ICT for Smart Society (ICISS), pp. 1\u20136","DOI":"10.1109\/ICISS50791.2020.9307552"},{"issue":"1","key":"1145_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/s13174-021-00145-8","volume":"12","author":"I Alfonso","year":"2021","unstructured":"Alfonso I, Garc\u00e9s K, Castro H, Cabot J (2021) Self-adaptive architectures in IoT systems: a systematic literature review. J Internet Serv Appl 12(1):1\u201328","journal-title":"J Internet Serv Appl"},{"key":"1145_CR12","doi-asserted-by":"crossref","unstructured":"Al-Qamash A, Soliman I, Abulibdeh R, Saleh M (2018) Cloud, fog, and edge computing: A software engineering perspective. In: 2018 Int Conf on Computer and Applications (ICCA), pp. 276\u2013284 . IEEE","DOI":"10.1109\/COMAPP.2018.8460443"},{"issue":"5","key":"1145_CR13","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 (2016) Edge computing: Vision and challenges. IEEE Internet Things J 3(5):637\u2013646","journal-title":"IEEE Internet Things J"},{"key":"1145_CR14","doi-asserted-by":"crossref","unstructured":"Dustdar S, Avasalcai C, Murturi I (2019) Edge and fog computing: Vision and research challenges. In: 2019 IEEE Int. Conf. on Service-Oriented System Engineering (SOSE), pp. 96\u20139609 . IEEE","DOI":"10.1109\/SOSE.2019.00023"},{"key":"1145_CR15","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/j.sysarc.2019.02.009","volume":"98","author":"A Yousefpour","year":"2019","unstructured":"Yousefpour A, Fung C, Nguyen T, Kadiyala K, Jalali F, Niakanlahiji A, Kong J, Jue JP (2019) All one needs to know about fog computing and related edge computing paradigms: a complete survey. J Syst Architect 98:289\u2013330","journal-title":"J Syst Architect"},{"key":"1145_CR16","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/j.jpdc.2020.12.015","volume":"150","author":"Y Mansouri","year":"2021","unstructured":"Mansouri Y, Babar MA (2021) A review of edge computing: features and resource virtualization. J Parallel Distrib Comput 150:155\u2013183","journal-title":"J Parallel Distrib Comput"},{"issue":"4","key":"1145_CR17","doi-asserted-by":"publisher","first-page":"1583","DOI":"10.1007\/s10270-021-00945-3","volume":"21","author":"A G\u00f3mez","year":"2021","unstructured":"G\u00f3mez A, Iglesias-Urkia M, Belategi L, Mendialdua X, Cabot J (2021) Model-driven development of asynchronous message-driven architectures with asyncapi. Softw Syst Model 21(4):1583\u20131611","journal-title":"Softw Syst Model"},{"key":"1145_CR18","doi-asserted-by":"publisher","first-page":"201071","DOI":"10.1109\/ACCESS.2020.3035849","volume":"8","author":"B Mishra","year":"2020","unstructured":"Mishra B, Kertesz A (2020) The use of mqtt in m2m and iot systems: a survey. IEEE Access 8:201071\u2013201086","journal-title":"IEEE Access"},{"key":"1145_CR19","doi-asserted-by":"crossref","unstructured":"Berger T, V\u00f6lter M, Jensen HP, Dangprasert T, Siegmund J (2016) Efficiency of projectional editing: A controlled experiment. In: Proc. of the 24th ACM SIGSOFT Int. Symposium on Foundations of Software Engineering, pp. 763\u2013774","DOI":"10.1145\/2950290.2950315"},{"key":"1145_CR20","unstructured":"Alfonso I, Garc\u00e9s K, Castro H, Cabot J (2022) Self-adaptive IoT DSL. https:\/\/github.com\/SOM-Research\/selfadaptive-IoT-DSL"},{"key":"1145_CR21","volume-title":"Handbook of usability testing: how to plan design and conduct effective tests","author":"J Rubin","year":"2008","unstructured":"Rubin J, Chisnell D (2008) Handbook of usability testing: how to plan design and conduct effective tests. John Wiley & Sons, New Jersey"},{"key":"1145_CR22","doi-asserted-by":"crossref","unstructured":"Nielsen J, Landauer TK (1993) A mathematical model of the finding of usability problems. In: Proc. of the INTERACT\u201993 and CHI\u201993 Conf. on Human Factors in Computing Systems, pp. 206\u2013213","DOI":"10.1145\/169059.169166"},{"key":"1145_CR23","doi-asserted-by":"crossref","unstructured":"Sandobalin J, Insfran E, Abrah\u00e3o S (2019) ARGON: A model-driven infrastructure provisioning tool. In: ACM\/IEEE 22nd Int. Conf. on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 738\u2013742","DOI":"10.1109\/MODELS-C.2019.00114"},{"key":"1145_CR24","doi-asserted-by":"crossref","unstructured":"Sledziewski K, Bordbar B, Anane R (2010) A DSL-based approach to software development and deployment on cloud. In: 24th IEEE Int. Conf. on Advanced Information Networking and Applications, pp. 414\u2013421","DOI":"10.1109\/AINA.2010.81"},{"key":"1145_CR25","doi-asserted-by":"crossref","unstructured":"Bergmayr A, Breitenb\u00fccher U, Kopp O, Wimmer M, Kappel G, Leymann F (2016) From architecture modeling to application provisioning for the cloud by combining uml and tosca. In: 6th Int. Conf. on Cloud Computing and Services Science, pp. 97\u2013108","DOI":"10.5220\/0005806900970108"},{"key":"1145_CR26","doi-asserted-by":"crossref","unstructured":"Gomes T, Lopes P, Alves J, Mestre P, Cabral J, Monteiro JL, Tavares A (2017) A modeling domain-specific language for IoT-enabled operating systems. In: IECON 2017-43rd Annual Conf. of the IEEE Industrial Electronics Society, pp. 3945\u20133950","DOI":"10.1109\/IECON.2017.8216675"},{"key":"1145_CR27","doi-asserted-by":"crossref","unstructured":"Eterovic T, Kaljic E, Donko D, Salihbegovic A, Ribic S (2015) An internet of things visual domain specific modeling language based on UML. In: 2015 XXV Int. Conf. on Information, Communication and Automation Technologies (ICAT), pp. 1\u20135","DOI":"10.1109\/ICAT.2015.7340537"},{"key":"1145_CR28","doi-asserted-by":"publisher","first-page":"92531","DOI":"10.1109\/ACCESS.2021.3092528","volume":"9","author":"JA Barriga","year":"2021","unstructured":"Barriga JA, Clemente PJ, Sosa-S\u00e1nchez E, Prieto \u00c1E (2021) Simulateiot: domain specific language to design, code generation and execute iot simulation environments. IEEE Access 9:92531\u201392552","journal-title":"IEEE Access"},{"key":"1145_CR29","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2019.102033","volume":"101","author":"N Petrovic","year":"2020","unstructured":"Petrovic N, Tosic M (2020) Smada-fog: semantic model driven approach to deployment and adaptivity in fog computing. Simul Model Practice Theor 101:102033","journal-title":"Simul Model Practice Theor"},{"issue":"2","key":"1145_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3125621","volume":"18","author":"N Ferry","year":"2018","unstructured":"Ferry N, Chauvel F, Song H, Rossini A, Lushpenko M, Solberg A (2018) Cloudmf: model-driven management of multi-cloud applications. ACM Trans Internet Technol (TOIT) 18(2):1\u201324","journal-title":"ACM Trans Internet Technol (TOIT)"},{"key":"1145_CR31","doi-asserted-by":"crossref","unstructured":"Chen W, Liang C, Wan Y, Gao C, Wu G, Wei J, Huang T (2016) MORE: A model-driven operation service for cloud-based it systems. In: IEEE Int. Conf. on Services Computing, pp. 633\u2013640","DOI":"10.1109\/SCC.2016.88"},{"key":"1145_CR32","doi-asserted-by":"crossref","unstructured":"Erbel J, Korte F, Grabowski J (2018) Comparison and runtime adaptation of cloud application topologies based on OCCI. In: The 8th Int. Conf. on Cloud Computing and Services Science, pp. 517\u2013525","DOI":"10.5220\/0006774405170525"},{"key":"1145_CR33","doi-asserted-by":"crossref","unstructured":"C\u00e1mara J, Muccini H, Vaidhyanathan K (2020) Quantitative verification-aided machine learning: A tandem approach for architecting self-adaptive IoT systems. In: 2020 IEEE Int. Conf. on Software Architecture (ICSA), pp. 11\u201322","DOI":"10.1109\/ICSA47634.2020.00010"},{"key":"1145_CR34","doi-asserted-by":"crossref","unstructured":"Garlan D, Schmerl B, Cheng S-W (2009) Software architecture-based self-adaptation. In: Autonomic Computing and Networking, pp. 31\u201355","DOI":"10.1007\/978-0-387-89828-5_2"},{"key":"1145_CR35","doi-asserted-by":"crossref","unstructured":"Weyns D, Iftikhar MU, Hughes D, Matthys N (2018) Applying architecture-based adaptation to automate the management of internet-of-things. In: European Conf. on Software Architecture, pp. 49\u201367","DOI":"10.1007\/978-3-030-00761-4_4"},{"key":"1145_CR36","doi-asserted-by":"crossref","unstructured":"Porselvi, T., Ganesh, S., Janaki, B., Priyadarshini, K., et al.: IoT based coal mine safety and health monitoring system using lorawan. In: 2021 3rd Int. Conf. on Signal Processing and Communication, pp. 49\u201353 (2021)","DOI":"10.1109\/ICSPC51351.2021.9451673"},{"issue":"2","key":"1145_CR37","doi-asserted-by":"publisher","first-page":"1227","DOI":"10.1007\/s11277-019-06466-z","volume":"108","author":"P Mishra","year":"2019","unstructured":"Mishra P, Kumar S, Kumar M, Kumar J et al (2019) IoT based multimode sensing platform for underground coal mines. Wirel Personal Commun 108(2):1227\u20131242","journal-title":"Wirel Personal Commun"},{"key":"1145_CR38","doi-asserted-by":"crossref","unstructured":"Alfonso, I., Gom\u00e9z, C., Garc\u00e9s, K., Chavarriaga, J.: Lifetime optimization of wireless sensor networks for gas monitoring in underground coal mining. In: 7th Int. Conf. on Computers Comms. and Control, pp. 224\u2013230 (2018)","DOI":"10.1109\/ICCCC.2018.8390462"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-022-01145-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00607-022-01145-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-022-01145-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,28]],"date-time":"2023-08-28T14:06:11Z","timestamp":1693231571000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00607-022-01145-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2,9]]},"references-count":38,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2023,9]]}},"alternative-id":["1145"],"URL":"https:\/\/doi.org\/10.1007\/s00607-022-01145-7","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,2,9]]},"assertion":[{"value":"10 June 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 December 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 February 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}