Status and events: static and dynamic properties of interactive systems

Alan Dix

At time of publication:	HCI Group and Dept. of Computer Science, University of York
Currently:	School of Computing, Staffordshire University alan@hcibook.com

This paper appeared as:: A. J. Dix (1991). Status and events: static and dynamic properties of interactive systems. Proceedings of the Eurographics Seminar: Formal Methods in Computer Graphics, Ed. D. A. Duce. Marina di Carrara, Italy,; http://www.comp.lancs.ac.uk/computing/users/dixa/papers/euro91/euro91-abs.html

See also:: full paper (html); my pages on status-event analysis

Abstract

This paper analyses user-oriented properties on the basis of a static dynamic distinction. Modern graphic interfaces often emphasise an evaluative status-oriented user model, whereas their underlying implementations are event oriented. Formal models and notations will be examined as to their ability to deal with status and event based properties.

maintained by Alan Dix 16/12/97