Design Interface and Modeling Technique

摘要

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'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.