Specifying the UQ* editor user-interface with Object-Z

The specification of a user interface describes user-perceivable functions and information structures in an implementation-independent way. In this paper, we specify part of the user interface for the UQ* (University of Queensland) editor. The UQ* editor is part of an integrated programming environment currently under development at the University of Queensland. We use the Object-Z formal specification language. We demonstrate that Object-Z can be useful for abstractly specifying user interfaces.

[1]  Ralph E. Johnson,et al.  Designing Reuseable Classes , 1988 .

[2]  J. Welsh,et al.  Formatted programming languages , 1981, Softw. Pract. Exp..

[3]  Jim Cunningham,et al.  Proving properties of a safety-critical system , 1991, Softw. Eng. J..

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

[5]  Michael D. Harrison,et al.  From Formal Models to Formal Methods , 1994, ICSE Workshop on SE-HCI.

[6]  Jim Welsh,et al.  Software Documents: Concepts and Tools , 1994, Softw. Concepts Tools.

[7]  Bob Fields,et al.  Applying Formal Methods for Human Error Tolerant Design , 1994, ICSE Workshop on SE-HCI.

[8]  Joëlle Coutaz,et al.  Agent-Based Architecture Modelling for Interactive Systems , 1996 .

[9]  Bernard Sufrin.  Formal Specification of a Display-Oriented Text Editor , 1982, Sci. Comput. Program..

[10]  Gregory D. Abowd.  Formal descriptions of user interfaces , 1991 .

[11]  Martyn Thomas.  The role of formal methods in achieving dependable software , 1994 .

[12]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[13]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[14]  Roger Kenton Took.  Surface interaction: a paradigm and model for separating application and interface , 1990, CHI '90.

[15]  Ann Blandford,et al.  Modelling Interactive Systems and Providing Task Relevant Information , 1994, DSV-IS.

[16]  Roger Duke,et al.  Object-Z: a specification language advocated for the description of standards , 1995 .

[17]  Jim Welsh,et al.  A design rationale for a language‐based editor , 1991, Softw. Pract. Exp..

[18]  A. Hussey,et al.  Specifying the UQ* user-interface with Object-Z , 1997 .