Controlling user interface objects through pre- and postconditions

ABSTRACT

We have augmented user interface objects (i.e. windows, menus, buttons, sliders, ets.) with preconditions that determine their visibility and their enabled/disabled status and postconditions that are asserted when certain actions are performed on the object. Postconditions are associated with each functionally different action on the object. Attaching pre- and postconditions to interface objects provides several useful features, such as selective enabling of controls, rapid prototyping, and automatic generation of explanations and help text.

REFERENCES

• 1: Foley, J., C. Gibbs, and W. Kim, "Algorithms to Transform the Formal Specification of a User- Computer Interface" in Proceedings INTERACT '87, 2nd IFIP Conference on Human-Computer Interaction, Elsevier Science Publishers, Amsterdam, 1987, pp. 1001-1006.
• 2: James Foley , Won Chul Kim , Srdjan Kovacevic , Kevin Murray, Defining Interfaces at a High Level of Abstraction, IEEE Software, v.6 n.1, p.25-32, January 1989 [doi>10.1109/52.16899 ]
• 3: Foley, J., D. Gieskens, W Kim, S. Kovacevic, L. Moran, P. Sukaviriya, "A Second-Generation Knowledge Base for the User Interface Design Environment", Report GWU-IIST-91-13, Dept. of Electrical Engineering and Computer Science, George Washington University, Washington D.C., May 1991.
• 4: James Foley , Won Chul Kim , Srdjan Kovacevic , Kevin Murray, UIDE—an intelligent user interface design environment, Intelligent user interfaces, ACM Press, New York, NY, 1991 [doi>10.1145/107215.128716]
• 5: Green, M., "The Design of Graphical User interfaces", Technical Report CSRI-170, Computer Systems Research Institute, University of Toronto, 1985.
• 6: Mark Green, A survey of three dialogue models, ACM Transactions on Graphics (TOG), v.5 n.3, p.244-275, July 1986 [doi>10.1145/24054.24057]
• 7: Dan Heller, XView programming manual, O'Reilly & Associates, Inc., Sebastopol, CA, 1991
• 8: Hewlett-Packard Company, "HP Interface Architect Developer's Guide", Hewlett-Packard Company, Corvallis, Oregon, October 1990.
• 9: NeXT Computer, Inc., "NeXTstep Concepts", NeXT Computer, Inc., Redwood City, CA, 1990.
• 10: Jon H. Pittman , Christopher J. Kitrick, VUIMS: a visual user interface management system, Proceedings of the 3rd annual ACM SIGGRAPH symposium on User interface software and technology, p.36-46, October 03-05, 1990, Snowbird, Utah, United States [doi>10.1145/97924.97929]
• 11: Senay H., P. Sukaviriya, L. Moran, "Planning for Automatic Help Generation", Report GWU-IIST-89- i0, Dept. of Electrical Engineering and Computer Science, George Washington University, Washington D.C., 1989.
• 12: Piyawadee Sukaviriya , James D. Foley, Coupling a UI framework with automatic generation of context-sensitive animated help, Proceedings of the 3rd annual ACM SIGGRAPH symposium on User interface software and technology, p.152-166, October 03-05, 1990, Snowbird, Utah, United States [doi>10.1145/97924.97942]
• 13: Sun Microsystems, Inc., "Open Windows Developer's Guide 1.1, Reference Manual", Part No. 800-5380-10, Revision A, of June 1990.

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.5 INFORMATION INTERFACES AND PRESENTATION (I.7)
      H.5.2 User Interfaces (D.2.2, H.1.2, I.3.6)
          Subjects: Interaction styles (e.g., commands, menus, forms, direct manipulation)

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: User interfaces

  H. Information Systems
  H.5 INFORMATION INTERFACES AND PRESENTATION (I.7)
      H.5.2 User Interfaces (D.2.2, H.1.2, I.3.6)
          Subjects: Evaluation/methodology; Theory and methods

General Terms:
Algorithms, Design, Theory

Keywords:
predicates, prototyping, user interface tools