Book chapter 529 views
Modelling interactions: digital and physical
Alan Dix 
Formal Methods for an Informal World
Swansea University Author:
Alan Dix
Abstract
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 f...
| Published in: | Formal Methods for an Informal World |
|---|---|
| Published: |
Springer
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa62777 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract: |
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 -cafe open' sign – IoT in action!. |
|---|---|
| Keywords: |
human-computer interaction, formal methods, physigram, IoT, physical-digital design |
| College: |
Faculty of Science and Engineering |