Show simple item record  

dc.contributor.authorTurner, Jessicaen_NZ
dc.contributor.authorBowen, Judyen_NZ
dc.contributor.authorvan Zandwijk, Nikkien_NZ
dc.coverage.spatialTaipei, Taiwan (Virtual)en_NZ
dc.date.accessioned2022-03-28T22:26:58Z
dc.date.available2022-03-28T22:26:58Z
dc.date.issued2021en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/14801
dc.description.abstractInformal design artefacts allow end-users and nonexperts to contribute to software design ideas and development. In contrast, software engineering techniques such as modeldriven development support experts in ensuring quality properties of the software they propose and build. Each of these approaches have benefits which contribute to the development of robust, reliable and usable software, however it is not always obvious how best to combine these two. In this paper we describe a novel technique which allows us to use informal design artefacts, in the form of ideation card designs, to generate formal models of IoT applications. To implement this technique, we created the Cards-to-Model (C2M) tool which allows us to automate the model generation process. We demonstrate this technique with a case study for a safety-critical IoT application called “Medication Reminders”. By generating formal models directly from the design we reduce the complexity of the modelling process. In addition, by incorporating easy-to-use informal design artefacts in the process we allow non-experts to engage in the design and modelling process of IoT applications
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherIEEEen_NZ
dc.rightsThis is an author’s accepted version of an article published in the Proceedings of 28th Asia-Pacific Software Engineering Conference (APSEC 2021). © 2021 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE
dc.sourceAPSEC 2021en_NZ
dc.subjectsoftware engineeringen_NZ
dc.subjectformal modellingen_NZ
dc.subjecthuman computer interactionen_NZ
dc.subjectformal methodsen_NZ
dc.subjectInternet of Thingsen_NZ
dc.titleInteraction modelling for IoTen_NZ
dc.typeConference Contribution
dc.identifier.doi10.1109/APSEC53868.2021.00020en_NZ
dc.relation.isPartOfProceedings of 28th Asia-Pacific Software Engineering Conference (APSEC 2021)en_NZ
pubs.begin-page120
pubs.elements-id267085
pubs.end-page129
pubs.finish-date2021-12-09en_NZ
pubs.publication-statusPublisheden_NZ
pubs.start-date2021-12-06en_NZ


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record