{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T08:51:43Z","timestamp":1775292703259,"version":"3.50.1"},"reference-count":37,"publisher":"Association for Computing Machinery (ACM)","issue":"EICS","license":[{"start":{"date-parts":[[2023,6,14]],"date-time":"2023-06-14T00:00:00Z","timestamp":1686700800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Hum.-Comput. Interact."],"published-print":{"date-parts":[[2023,6,14]]},"abstract":"<jats:p>The rapid growth in the number of Internet of Things (IoT) systems and their increasing use in safety-critical domains has led to the need for an evolution of development methods. Model-Driven Development (MDD) approaches have been used in software engineering to reduce development time and minimise errors in implemented systems. This paper introduces a novel Model-Driven Development (MDD) approach for Internet of Things (IoT) systems which considers interactivity from the perspective of both users and IoT components. A real-world example is presented to explain the motivation for the work and demonstrate the benefits and use of lightweight interactive system models adapted for the design and development of IoT systems.<\/jats:p>","DOI":"10.1145\/3593233","type":"journal-article","created":{"date-parts":[[2023,6,19]],"date-time":"2023-06-19T18:10:41Z","timestamp":1687198241000},"page":"1-19","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Interactive System Modelling for the Internet of Things"],"prefix":"10.1145","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2815-8267","authenticated-orcid":false,"given":"Judy","family":"Bowen","sequence":"first","affiliation":[{"name":"University of Waikato, Hamilton, New Zealand"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7623-882X","authenticated-orcid":false,"given":"Jessica","family":"Turner","sequence":"additional","affiliation":[{"name":"University of Waikato, Hamilton, New Zealand"}]}],"member":"320","published-online":{"date-parts":[[2023,6,19]]},"reference":[{"key":"e_1_2_1_1_1","series-title":"Lecture Notes in Computer Science (09","volume-title":"A Lightweight Approach to Formal Methods","author":"Agerholm Sten","year":"1998","unstructured":"Sten Agerholm and Peter Larsen . 1998. A Lightweight Approach to Formal Methods . Lecture Notes in Computer Science (09 1998 ). https:\/\/doi.org\/10.1007\/3--540--48257--1_10 10.1007\/3--540--48257--1_10 Sten Agerholm and Peter Larsen. 1998. A Lightweight Approach to Formal Methods. Lecture Notes in Computer Science (09 1998). https:\/\/doi.org\/10.1007\/3--540--48257--1_10"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCAA.2015.7148526"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368756.3369102"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2012.2189204"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3137003.3137007"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/WAINA.2016.64"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00779-020-01457-5"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SERP4IoT.2019.00012"},{"key":"e_1_2_1_9_1","volume-title":"Proceedings, Part IV (Lecture Notes in Computer Science","volume":"556","author":"Bowen Judy","year":"2021","unstructured":"Judy Bowen and Annika Hinze . 2021 . Designing for Inaccessible People and Places. In Human-Computer Interaction - INTERACT 2021 - 18th IFIP TC 13 International Conference, Bari, Italy, August 30 - September 3, 2021 , Proceedings, Part IV (Lecture Notes in Computer Science , Vol. 12935), , Carmelo Ardito, Rosa Lanzilotti, Alessio Malizia, Helen Petrie, Antonio Piccinno, Giuseppe Desolda, and Kori Inkpen (Eds.). Springer, 546-- 556 . Judy Bowen and Annika Hinze. 2021. Designing for Inaccessible People and Places. In Human-Computer Interaction - INTERACT 2021 - 18th IFIP TC 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part IV (Lecture Notes in Computer Science, Vol. 12935), , Carmelo Ardito, Rosa Lanzilotti, Alessio Malizia, Helen Petrie, Antonio Piccinno, Giuseppe Desolda, and Kori Inkpen (Eds.). Springer, 546--556."},{"key":"e_1_2_1_10_1","first-page":"60","article-title":"Participatory Data Design","volume":"34","author":"Bowen Judy","year":"2022","unstructured":"Judy Bowen and Annika Hinze . 2022 . Participatory Data Design : Managing Data Sovereignty in IoT Solutions. Interact. Comput. , Vol. 34 , 2 (2022), 60 -- 71 . Judy Bowen and Annika Hinze. 2022. Participatory Data Design: Managing Data Sovereignty in IoT Solutions. Interact. Comput. , Vol. 34, 2 (2022), 60--71.","journal-title":"Managing Data Sovereignty in IoT Solutions. Interact. Comput."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.14236\/ewic\/HCI2017.57"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-008-0049-0"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2494603.2480314"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-013-0199-6"},{"key":"e_1_2_1_15_1","volume-title":"The Handbook of Formal Methods in Human-Computer Interaction, Benjamin Weyers, Judy Bowen, Alan J","author":"Bowen Judy","unstructured":"Judy Bowen and Steve Reeves . 2017. Combining Models for Interactive System Modelling . In The Handbook of Formal Methods in Human-Computer Interaction, Benjamin Weyers, Judy Bowen, Alan J . Dix, and Philippe A. Palanque (Eds.). Springer International Publishing , 161--182. Judy Bowen and Steve Reeves. 2017. Combining Models for Interactive System Modelling. In The Handbook of Formal Methods in Human-Computer Interaction, Benjamin Weyers, Judy Bowen, Alan J. Dix, and Philippe A. Palanque (Eds.). Springer International Publishing, 161--182."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1186\/s13174-017-0064-1"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/THMS.2015.2421511"},{"key":"e_1_2_1_18_1","volume-title":"Information and Communication Technologies, , Germania Rodriguez Morales, Efra\u00edn R","author":"Cedillo Priscila","unstructured":"Priscila Cedillo , Wilson Valdez , Pa\u00fal C\u00e1rdenas-Delgado , and Daniela Prado-Cabrera . 2020. A Data as a Service Metamodel for Managing Information of Healthcare and Internet of Things Applications . In Information and Communication Technologies, , Germania Rodriguez Morales, Efra\u00edn R . Fonseca C., Juan Pablo Salgado, Pablo P\u00e9rez-Gosende, Marcos Orellana Cordero, and Santiago Berrezueta (Eds.). Springer International Publishing , Cham , 272--286. Priscila Cedillo, Wilson Valdez, Pa\u00fal C\u00e1rdenas-Delgado, and Daniela Prado-Cabrera. 2020. A Data as a Service Metamodel for Managing Information of Healthcare and Internet of Things Applications. In Information and Communication Technologies, , Germania Rodriguez Morales, Efra\u00edn R. Fonseca C., Juan Pablo Salgado, Pablo P\u00e9rez-Gosende, Marcos Orellana Cordero, and Santiago Berrezueta (Eds.). Springer International Publishing, Cham, 272--286."},{"key":"e_1_2_1_19_1","unstructured":"R. Charles and D. Golightly (Eds.). 2021. Supporting Safer Work Practice Through the Use of Wearable Technology. CIEHF.  R. Charles and D. Golightly (Eds.). 2021. Supporting Safer Work Practice Through the Use of Wearable Technology. CIEHF."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2022.3215231"},{"key":"e_1_2_1_21_1","volume-title":"Generominos: Ideation Cards for Interactive Generativity.","author":"Compton Kate","year":"2017","unstructured":"Kate Compton , Edward Melcer , and Michael Mateas . 2017 . Generominos: Ideation Cards for Interactive Generativity. Kate Compton, Edward Melcer, and Michael Mateas. 2017. Generominos: Ideation Cards for Interactive Generativity."},{"key":"e_1_2_1_22_1","unstructured":"Fredrik Dahlqvist Mark Patel Alexander Rajko and Jonathan Shulman. 2019. Growing opportunities in the Internet of Things. (2019).  Fredrik Dahlqvist Mark Patel Alexander Rajko and Jonathan Shulman. 2019. Growing opportunities in the Internet of Things. (2019)."},{"key":"e_1_2_1_23_1","volume-title":"Software Technologies: Applications and Foundations, Manuel Mazzara, Iulian Ober, and Gwen Sala\u00fcn (Eds.)","author":"Harrison Michael D.","unstructured":"Michael D. Harrison , Paolo Masci , and Jos\u00e9 Creissac Campos . 2018. Formal Modelling as a Component of User Centred Design . In Software Technologies: Applications and Foundations, Manuel Mazzara, Iulian Ober, and Gwen Sala\u00fcn (Eds.) . Springer International Publishing , Cham , 274--289. Michael D. Harrison, Paolo Masci, and Jos\u00e9 Creissac Campos. 2018. Formal Modelling as a Component of User Centred Design. In Software Technologies: Applications and Foundations, Manuel Mazzara, Iulian Ober, and Gwen Sala\u00fcn (Eds.). Springer International Publishing, Cham, 274--289."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/242224.242380"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61482-3_7"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2018.8428764"},{"key":"e_1_2_1_27_1","volume-title":"Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems. In 17th IEEE International Conference on Automated Software Engineering (ASE 2002","author":"Loer Karsten","year":"2002","unstructured":"Karsten Loer and Michael D. Harrison . 2002 . Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems. In 17th IEEE International Conference on Automated Software Engineering (ASE 2002 ), 23--27 September 2002 , Edinburgh, Scotland, UK. IEEE Computer Society, 223--226. Karsten Loer and Michael D. Harrison. 2002. Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems. In 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 23--27 September 2002, Edinburgh, Scotland, UK. IEEE Computer Society, 223--226."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3393672.3398647"},{"key":"e_1_2_1_29_1","volume-title":"CAV 2015, San Francisco, CA, USA, July 18--24, 2015, Proceedings, Part I (Lecture Notes in Computer Science","volume":"478","author":"Masci Paolo","unstructured":"Paolo Masci , Patrick Oladimeji , Yi Zhang , Paul L. Jones , Paul Curzon , and Harold W. Thimbleby . 2015. PVSio-web 2.0: Joining PVS to HCI. In Computer Aided Verification - 27th International Conference , CAV 2015, San Francisco, CA, USA, July 18--24, 2015, Proceedings, Part I (Lecture Notes in Computer Science , Vol. 9206), , Daniel Kroening and Corina S. Pasareanu (Eds.). Springer, 470-- 478 . Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul L. Jones, Paul Curzon, and Harold W. Thimbleby. 2015. PVSio-web 2.0: Joining PVS to HCI. In Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18--24, 2015, Proceedings, Part I (Lecture Notes in Computer Science, Vol. 9206), , Daniel Kroening and Corina S. Pasareanu (Eds.). Springer, 470--478."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCE.2016.2556879"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064663.3064699"},{"key":"e_1_2_1_32_1","unstructured":"Ulrich Norbisrath Ruben Jubeh and Albert Z\u00fcndorf. 2013. Story Driven Modeling.  Ulrich Norbisrath Ruben Jubeh and Albert Z\u00fcndorf. 2013. Story Driven Modeling."},{"key":"e_1_2_1_33_1","volume-title":"FACS 2017, Braga, Portugal, October 10--13, 2017, Proceedings (Lecture Notes in Computer Science","volume":"161","author":"Pinto Miguel","year":"2017","unstructured":"Miguel Pinto , Marcelo Goncc alves, Paolo Masci , and Jos\u00e9 Creissac Campos . 2017 . TOM: A Model-Based GUI Testing Framework. In Formal Aspects of Component Software - 14th International Conference , FACS 2017, Braga, Portugal, October 10--13, 2017, Proceedings (Lecture Notes in Computer Science , Vol. 10487), Jos\u00e9 Proencc a and Markus Lumpe (Eds.). Springer, 155-- 161 . Miguel Pinto, Marcelo Goncc alves, Paolo Masci, and Jos\u00e9 Creissac Campos. 2017. TOM: A Model-Based GUI Testing Framework. In Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10--13, 2017, Proceedings (Lecture Notes in Computer Science, Vol. 10487), Jos\u00e9 Proencc a and Markus Lumpe (Eds.). Springer, 155--161."},{"key":"e_1_2_1_34_1","first-page":"32 pages. https","volume-title":"ACM Comput. Surv.","volume":"53","author":"Sequeiros Jo","year":"2020","unstructured":"Jo ao B. F. Sequeiros , Francisco T. Chimuco , Musa G. Samaila , M\u00e1rio M. Freire , and Pedro R. M. In\u00e1cio . 2020. Attack and System Modeling Applied to IoT, Cloud, and Mobile Ecosystems: Embedding Security by Design . ACM Comput. Surv. , Vol. 53 , 2, Article 25 (mar 2020 ), bibinfonumpages 32 pages. https:\/\/doi.org\/10 .1145\/3376123 10.1145\/3376123 Jo ao B. F. Sequeiros, Francisco T. Chimuco, Musa G. Samaila, M\u00e1rio M. Freire, and Pedro R. M. In\u00e1cio. 2020. Attack and System Modeling Applied to IoT, Cloud, and Mobile Ecosystems: Embedding Security by Design. ACM Comput. Surv. , Vol. 53, 2, Article 25 (mar 2020), bibinfonumpages32 pages. https:\/\/doi.org\/10.1145\/3376123"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3393672.3398639"},{"key":"e_1_2_1_36_1","volume-title":"Interaction Modelling for IoT. In 2021 28th Asia-Pacific Software Engineering Conference (APSEC). 120--129","author":"Turner Jessica","year":"2021","unstructured":"Jessica Turner , Judy Bowen , and Nikki van Zandwijk . 2021 . Interaction Modelling for IoT. In 2021 28th Asia-Pacific Software Engineering Conference (APSEC). 120--129 . https:\/\/doi.org\/10.1109\/APSEC53868.2021.00020 10.1109\/APSEC53868.2021.00020 Jessica Turner, Judy Bowen, and Nikki van Zandwijk. 2021. Interaction Modelling for IoT. In 2021 28th Asia-Pacific Software Engineering Conference (APSEC). 120--129. https:\/\/doi.org\/10.1109\/APSEC53868.2021.00020"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.04.050"}],"container-title":["Proceedings of the ACM on Human-Computer Interaction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3593233","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3593233","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:37:20Z","timestamp":1750178240000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3593233"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,14]]},"references-count":37,"journal-issue":{"issue":"EICS","published-print":{"date-parts":[[2023,6,14]]}},"alternative-id":["10.1145\/3593233"],"URL":"https:\/\/doi.org\/10.1145\/3593233","relation":{},"ISSN":["2573-0142"],"issn-type":[{"value":"2573-0142","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,6,14]]},"assertion":[{"value":"2023-06-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}