Interactive System Modelling for the Internet of Things

被引：0
作者：
Bowen J. [1 ]
Turner J. [1 ]
机构：
[1] University of Waikato, Hamilton
来源：
Proceedings of the ACM on Human-Computer Interaction | 2023年 / 7卷 / EICS期
关键词：
interaction design; iot;
D O I：
10.1145/3593233
中图分类号：
学科分类号：
摘要：
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. © 2023 ACM.
引用
收藏
相关论文
共 37 条
  • [11] Bowen J., Hinze A., Griffiths C., Kumar V., Bainbridge D., Personal Data Collection in the Workplace: Ethical and Technical Challenges, HCI 2017 - Digital make-believe. Proceedings of the 31st International BCS Human Computer Interaction Conference, BCS HCI 2017, (2017)
  • [12] Bowen J., Reeves S., Formal Models for User Interface design artefacts, Innovations in Systems and Software Engineering, 4, 2, pp. 125-141, (2008)
  • [13] Bowen J., Reeves S., Modelling Safety Properties of Interactive Medical Systems, Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 91-100, (2013)
  • [14] Bowen J., Reeves S., UI-design driven model-based testing, Innov. Syst. Softw. Eng., 9, 3, pp. 201-215, (2013)
  • [15] Bowen J., Reeves S., Combining Models for Interactive System Modelling, The Handbook of Formal Methods in Human-Computer Interaction, pp. 161-182, (2017)
  • [16] Brambilla M., Umuhoza E., Acerbis R., Model-driven development of user interfaces for IoT systems via domain-specific components and patterns, Journal of Internet Services and Applications, 8, 1, pp. 1-21, (2017)
  • [17] Campos J.C., Sousa M., Miriam C. Bergue Alves, Harrison M.D., Formal Verification of a Space System’s User Interface With the IVY Workbench, IEEE Trans. Hum. Mach. Syst., 46, 2, pp. 303-316, (2016)
  • [18] Cedillo P., Valdez W., Cardenas-Delgado P., Prado-Cabrera D., A Data as a Service Meta-model for Managing Information of Healthcare and Internet of Things Applications, Information and Communication Technologies, pp. 272-286, (2020)
  • [19] Charles R., Golightly D., Supporting Safer Work Practice Through the Use of Wearable Technology, (2021)
  • [20] Chi H.R., Wu C.K., Huang N.-F., Tsang K.-F., Radwan A., A Survey of Network Automation for Industrial Internet-of-Things Toward Industry 5.0, IEEE Transactions on Industrial Informatics, 19, 2, pp. 2065-2077, (2023)
1234