Modelling interactions: digital and physical

Alan Dix

Computational Foundry, Swansea University, Wales, UK

Lecture at ICTAC School 2021: 18th International Colloquium on Theoretical Aspects of Computing, Nazarbayev University, Nur-Sultan, Kazakhstan, 1st September 2021.


The first part of this lecture will give a lightning introduction to the use of formal methods in human–computer interaction. This will include and overview of the kinds of models, and typical domains where technqiues are currently applied. It will then outline some of the potential future directions for the field based on the “Trends and Gaps” chaper of “The Handbook of Formal Methods in Human-Computer Interaction”.

In the second part we will focus on a specific area, the formal specification and analysis of systems that have both physical and digital aspects. This will incude using physigrams, a extension of finite state networks for describing interactions with physical devices such hand-held controllers. We will also look at the ways formal analuysis contributed to the design of a internet-enabled ‘cafe open’ sign – IoT in action!

Keywords: human-computer interaction, formal methods, formal models, physigrams, IoT, physical-digital design


Modelling interactions: digital and physical – Part 1 – lightning tour from Alan Dix


Modelling interactions: digital and physical – Part 2 – getting physical from Alan Dix





Alan Dix 1/9/2021