TY - GEN
T1 - Modelling Interactions
T2 - 18th International Colloquium on Theoretical Aspects of Computing , ICTAC 2021
AU - Dix, Alan
N1 - Publisher Copyright:
© 2023, The Author(s), under exclusive licence to Springer Nature Switzerland AG.
PY - 2023/11/5
Y1 - 2023/11/5
N2 - The first part of this chapter gives a lightening introduction to the use of formal methods in human–computer interaction. This includes an overview of the kinds of models, and typical domains where techniques are currently applied. It then outlines some of the potential future directions for the field. The second part focuses on a specific area, the formal specification and analysis of systems that have both physical and digital aspects. This includes the use of physigrams, an extension of finite state networks for describing interactions with physical devices such as hand-held controllers. It also describes how formal analysis contributed to the design of an internet-enabled ‘café open’ sign – IoT in action!.
AB - The first part of this chapter gives a lightening introduction to the use of formal methods in human–computer interaction. This includes an overview of the kinds of models, and typical domains where techniques are currently applied. It then outlines some of the potential future directions for the field. The second part focuses on a specific area, the formal specification and analysis of systems that have both physical and digital aspects. This includes the use of physigrams, an extension of finite state networks for describing interactions with physical devices such as hand-held controllers. It also describes how formal analysis contributed to the design of an internet-enabled ‘café open’ sign – IoT in action!.
KW - IoT
KW - formal methods
KW - formal models
KW - human-computer interaction
KW - physical-digital design
KW - physigrams
UR - http://www.scopus.com/inward/record.url?scp=85177212994&partnerID=8YFLogxK
U2 - 10.1007/978-3-031-43678-9_1
DO - 10.1007/978-3-031-43678-9_1
M3 - Conference contribution
AN - SCOPUS:85177212994
SN - 9783031436772
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 29
BT - Formal Methods for an Informal World - ICTAC 2021 Summer School, Virtual Event, Tutorial Lectures
A2 - Cerone, Antonio
PB - Springer Science and Business Media Deutschland GmbH
Y2 - 1 September 2021 through 7 September 2021
ER -