Executable specifications for a human-computer interface

ABSTRACT

It is useful to be able to specify a proposed human-computer interface formally before building it, particularly if a mockup suitable for testing can be obtained directly from the specification. A specification technique for user interfaces, based on state transition diagrams, is introduced and then demonstrated for a secure message system application. An interpreter that executes the resulting specification is then described. Some problems that arise in specifying a user interface are addressed by particular features of the technique: To reduce the complexity of the developer's task, a user interface is divided into the semantic, syntactic, and lexical levels, and a separate executable specification is provided for each. A process of stepwise refinement of the syntactic specification, leading from an informal specification to an executable one is also presented. Since the state diagram notation is based on a non-deterministic model, constraints necessary to realize the system with a deterministic interpreter are given.

REFERENCES

• 1: Teresa Bleser , James D. Foley, Towards specifying and evaluating the human factors of user-computer interfaces, Proceedings of the 1982 conference on Human factors in computing systems, p.309-314, March 15-17, 1982, Gaithersburg, Maryland, United States [doi>10.1145/800049.801801]
• 2: MUMPS Development Committee, MUMPS Language Standard, American National Standards Institute, New York (1977).
• 3: Melvin E. Conway, Design of a separable transition-diagram compiler, Communications of the ACM, v.6 n.7, p.396-408, July 1963 [doi>10.1145/366663.366704]
• 4: J. Darlington, W. Dzida, and S. Herda, "The Role of Excursions in Interactive Systems," International Journal of Man-Machine Studies18 pp. 101-112 (1983).
• 5: Michael B. Feldman , George T. Rogers, Toward the design and development of style-independent interactive systems, Proceedings of the 1982 conference on Human factors in computing systems, p.111-116, March 15-17, 1982, Gaithersburg, Maryland, United States [doi>10.1145/800049.801765]
• 6: J.D. Foley and V.L. Wallace, "The Art of Graphic Man-Machine Conversation," Proceedings of the IEEE62 pp. 462-471 (1974).
• 7: James D. Foley , Andries Van Dam, Fundamentals of interactive computer graphics, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1982
• 8: C.L. Heitmeyer, "An Intermediate Command Language (ICL) for the Family of Military Message Systems," Naval Research Laboratory Technical Memorandum 7590-450:CH:ch (13 November 1981).
• 9: C. Heitmeyer , C. Landwehr , M. Cornwell, The use of quick prototypes in the secure military message systems project, ACM SIGSOFT Software Engineering Notes, v.7 n.5, p.85-87, December 1982
• 10: R.J.K. Jacob, "Survey and Examples of Specification Techniques for User Interfaces," NRL Report, Naval Research Laboratory, Washington, D.C. (1983).
• 11: R.J.K. Jacob, "Formal Specification of the User Interface of a Receive-only Secure Military Message System Prototype," Naval Research Laboratory Technical Memorandum 7590:RJ:rj (1983).
• 12: Robert J. K. Jacob, Using formal specifications in the design of a human-computer interface, Communications of the ACM, v.26 n.4, p.259-264, April 1983 [doi>10.1145/2163.358093]
• 13: T.P. Moran, "The Command Language Grammar: A Representation for the User Interface of Interactive Computer Systems," International Journal of Man-Machine Studies15 pp. 3-50 (1981). The Interaction Level of the Command Language Grammar is similar to a state transition diagram specification.
• 14: David L. Parnas, On the use of transition diagrams in the design of a user interface for an interactive computer system, Proceedings of the 1969 24th national conference, p.379-385, August 26-28, 1969 [doi>10.1145/800195.805945]
• 15: P. Reisner, "Formal Grammar and Human Factors Design of an Interactive Graphics System," IEEE Transactions on Software EngineeringSE-7 pp. 229-240 (1981).
• 16: B. Shneiderman, "Multi-party Grammars and Related Features for Defining Interactive Systems," IEEE Transactions on Systems, Man, and CyberneticsSMC-12(2)pp. 148-154 (March 1981).
• 17: Andrew Jay Singer, Formal methods and human factors in the design of interactive languages, 1979
• 18: H. Thimbleby, "Character-level Ambiguity: Consequences for User Interface Design," International Journal of Man-Machine Studies16 pp. 211-225 (1982).
• 19: Anthony I. Wasserman , David T. Shewmake, Rapid prototyping of interactive information systems, ACM SIGSOFT Software Engineering Notes, v.7 n.5, p.171-180, December 1982
• 20: W. A. Woods, Transition network grammars for natural language analysis, Communications of the ACM, v.13 n.10, p.591-606, Oct. 1970 [doi>10.1145/355598.362773]

INDEX TERMS

Primary Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.1 Specifying and Verifying and Reasoning about Programs
          Subjects: Specification techniques

Additional Classification:
  H. Information Systems
  H.1 MODELS AND PRINCIPLES
      H.1.2 User/Machine Systems
          Subjects: Human factors

General Terms:
Human Factors, Languages, Performance