@inproceedings{4a64389b53814d89900b2ca8f040ffce,
title = "Design Interface and Modeling Technique",
abstract = "HCI (human-computer interaction) has contributed greatly to the information industry revolution. When used to display and allow interaction through system models, it helps humans to understand systems and processes whose complexity is well beyond pencil-and-paper exploration. An appropriate model with a well-design human-computer interface helps system designers understand today{\textquoteright}s complex systems and helps humans (both designers and other stakeholders) understand each other. This understanding facilitates system analysis, verification, refinement, improvement, and debugging. We illustrate the advantages of using a good interface design and a rigorous modeling technique by applying one of the most important modelling techniques – Petri Nets – to the popular smart city application domain. We show how this facilitates understanding and communication between system engineers and other project participants and stakeholders.",
keywords = "Interface, Modelling, Petri Net, Smart city",
author = "Lee, {Julia C.} and Henschen, {Lawrence J.}",
note = "Publisher Copyright: {\textcopyright} 2020, Springer Nature Switzerland AG.; Thematic Area on Human Computer Interaction, HCI 2020, held as part of the 22nd International Conference on Human-Computer Interaction, HCII 2020 ; Conference date: 19-07-2020 Through 24-07-2020",
year = "2020",
doi = "10.1007/978-3-030-49059-1_7",
language = "English (US)",
isbn = "9783030490584",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "97--111",
editor = "Masaaki Kurosu",
booktitle = "Human-Computer Interaction. Design and User Experience - Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Proceedings",
}