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.

Published as: A. Dix. (2023). Modelling Interactions: Digital and Physical. In: Cerone, A. (eds) Formal Methods for an Informal World. ICTAC 2021. Lecture Notes in Computer Science, vol 13490. Springer. DOI:10.1007/978-3-031-43678-9_1

Download draft chapter (PDF, 21Mb)


Abstract

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

 

 

 

 

 



 


https://alandix.com/academic/talks/ICTCS-School-2021/

Alan Dix 1/9/2021