Integrating status and event phenomena in formal specifications of interactive systems

In this paper we investigate the appropriateness of formal specification languages for the description of user interface phenomena. Specifically, we are concerned with the distinction between continuously available information, which we call status, and atomic, non-persistent information, which we call events. We propose a hybrid model and notation to address status and event phenomena symmetrically. We demonstrate the effectiveness of this model for designing and understanding mixed control interaction, an especially important topic in the design of multi-user systems.

[1]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[2]  Roger B. Dannenberg,et al.  Garnet: comprehensive support for graphical, highly interactive user interfaces , 1990, Computer.

[3]  Robert J. K. Jacob,et al.  Using formal specifications in the design of a human-computer interface , 1983, CACM.

[4]  Michael D. Harrison,et al.  Abstract Interaction Objects , 1993, Comput. Graph. Forum.

[5]  Roger B. Dannenberg,et al.  Garnet: comprehensive support for graphical, highly interactive user interfaces , 1995 .

[6]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[7]  Heather Alexander.  EXECUTABLE SPECIFICATIONS AS AN AID TO DIALOGUE DESIGN , 1987 .

[8]  Peter Johnson,et al.  People and Computers: Designing the Interface , 1985 .

[9]  DewanPrasun,et al.  A high-level and flexible framework for implementing multiuser user interfaces , 1992 .

[10]  Phyllis Reisner,et al.  Formal Grammar and Human Factors Design of an Interactive Graphics System , 1981, IEEE Transactions on Software Engineering.

[11]  Ralph D. Hill.  The Rendezvous constraint maintenance system , 1993, UIST '93.

[12]  Gregory D. Abowd,et al.  Formal Aspects of Human-computer Interaction , 1991 .

[13]  Michael D. Harrison,et al.  A Review of Formalisms for Describing Interactive Behaviour , 1994, ICSE Workshop on SE-HCI.

[14]  W. Buxton.  Human-Computer Interaction , 1988, Springer Berlin Heidelberg.

[15]  Michael Jackson,et al.  Conjunction as composition , 1993, TSEM.

[16]  Gregory D. Abowd,et al.  Agents: Communicating interactive processes , 1990, IFIP TC13 International Conference on Human-Computer Interaction.

[17]  Franz Schiele,et al.  HCI formalisms and cognitive psychology: the case of task-action grammar , 1990 .

[18]  Fabio Paternò,et al.  On the use of LOTOS to describe graphical interaction , 1993 .

[19]  Prasun Dewan,et al.  A tour of suite user interface software , 1990, UIST '90.

[20]  Bjørn N. Freeman-Benson,et al.  The design and implementation of Kaleidoscope'90-A constraint imperative programming language , 1992, Proceedings of the 1992 International Conference on Computer Languages.

[21]  Prasun Dewan,et al.  A high-level and flexible framework for implementing multiuser user interfaces , 1992, TOIS.

[22]  Alan J. Dix,et al.  Formal methods for interactive systems , 1991, Computers and people series.

[23]  Jonathan P. Bowen,et al.  Programming Research Group USER INTERFACE LANGUAGES : A SURVEY OF EXISTING METHODS , 1989 .