Affiliation:
1. University of Nottingham, UK
2. University of Glasgow, Glasgow, Scotland
Abstract
While HCI has a long tradition of formally modelling task-based interactions with graphical user interfaces, there has been less progress in modelling emerging ubiquitous computing systems due in large part to their highly contextual nature and dependence on unreliable sensing systems. We present an exploration of modelling an example ubiquitous system, the Savannah game, using the mathematical formalism of bigraphs, which are based on a universal process algebra that encapsulates both dynamic and spatial behaviour of autonomous agents that interact and move among each other, or within each other. We establish a modelling approach based on four perspectives on ubiquitous systems—Computational, Physical, Human, and Technology—and explore how these interact with one another. We show how our model explains observed inconsistencies in user trials of Savannah, and then, how formal analysis reveals an incompleteness in design and guides extensions of the model and/or possible system re-design to resolve this.
Funder
Living with Digital Ubiquity platform
Engineering and Physical Sciences Research Council
EPSRC Doctoral Prize Research Fellowship
Publisher
Association for Computing Machinery (ACM)
Subject
Human-Computer Interaction
Reference55 articles.
1. Giving undo attention
2. H. Alexander. 1987. Formally-Based Tools and Techniques for Human-Computer Dialogues. Ellis Horwood Limited. H. Alexander. 1987. Formally-Based Tools and Techniques for Human-Computer Dialogues. Ellis Horwood Limited.
3. Lecture Notes in Computer Science;Andrei Oana
4. Pad++
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献