Buffer automata: a UI architecture prioritising HCI concerns for interactive devices

Authors:
Harold Thimbleby;Andy Gimblett;Abigail Cauchi
Affiliations:
Swansea University, Swansea, United Kingdom;Swansea University, Swansea, United Kingdom;Swansea University, Swansea, United Kingdom
Venue:
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Year:
2011

Citing 9
Cited 0

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Compositional model checking

Proceedings of the Fourth Annual Symposium on Logic in computer science
Modechart: A Specification Language for Real-Time Systems

IEEE Transactions on Software Engineering
The STATEMATE semantics of statecharts

ACM Transactions on Software Engineering and Methodology (TOSEM)
Model checking

Model checking
Human-Computer Interaction (3rd Edition)

Human-Computer Interaction (3rd Edition)
Interaction engineering using the IVY tool

Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
Designing the User Interface: Strategies for Effective Human-Computer Interaction

Designing the User Interface: Strategies for Effective Human-Computer Interaction
User interface model discovery: towards a generic approach

Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems

Quantified Score

Hi-index	0.02

Visualization

Abstract

We introduce an architectural software formalism, buffer automata, for the specification, implementation and analysis of a particular class of discrete interactive systems and devices. The approach defines a layer between the physical user interface and the application (if any) and provides a clear framework for highlighting a number of interaction design issues, in particular around modes and undo.