Abstract
Over the last decade a wide range of graphical, tabular and textual notations have been proposed to support the design of human-computer interfaces. These notations are intended to strip away the clutter of implementation details that frequently obscure interaction properties. Unfortunately, relatively little work has been done to evaluate the usability of these notations for ‘real-world’ interfaces. We have, therefore, conducted an empirical evaluation of the User Action Notation (UAN), State Transition Networks (STN) and temporal logic ‘in the wild’. By this we mean that our subjects were drawn from realistic samples of users and designers. We also presented our subjects with realistic descriptions of two user interfaces. This avoids a weakness of previous investigations that have used ‘toy examples’. The results of our investigation show a strong preference amongst our subjects for the use of natural language descriptions. More surprisingly, our results also suggest a link between the frequency of comprehension errors and positive attitude statements towards particular notations. In other words, our subjects made most errors with the notations that they liked the best. This suggests that while graphical notations, such as state transition networks, have a strong intuitive appeal they may also create significant problems for real-world development tasks.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. Bastide and P. Palanque. Petri net objects for the design, validation and prototyping of user-driven interfaces. In D. Diaper, D. Gilmore, G. Cockton, and B. Shackel, editors, Human-Computer Interaction—INTERACT’90, pages 625–631. Elsevier Science Publications, North Holland, Netherlands, 1990.
J. Campion. Interfacing the laboratory with the real world. In J. Long and A. Whitefield, editors, Cognitive Ergonomics And H.C.I., pages 35-65. Cambridge University Press, Cambridge, United Kingdom, 1989.
P.D. Gray and C.W. Johnson. A critical analysis of interface specification notations. In The Design, Specification and Verification of Interactive Systems, pages 113–133. Springer Verlag, Berlin, Germany, 1995.
M. Green. Design notations and user interface management systems. In G.E. Pfaff, editor, User Interface Management Systems, pages 89–107. Springer-Verlag, Berlin, FDR, 1985.
T.R. Green. Cognitive dimensions of notations. In A. Sutcliffe and L. Macaulay, editors, People And Computers IV, pages 443–460. Cambridge University Press, Cambridge, United Kingdom, 1989.
D. Harel. On visual formalisms. Communications Of The ACM, 31(5):514–530, 1988.
D. Hix and H.R. Hartson. Developing User Interfaces. John Wiley and Sons, London, 1993.
A. Jack. It’s hard to explain but Z is much clearer than English. The Financial Times, page 22, 12 April 1992.
C.W. Johnson. A formal approach to the presentation of CSCW systems. In J.L. Alty, D. Diaper, and S. Guest, editors, People And Computers VIII, pages 335–352. Cambridge University Press, Cambridge, United Kingdom, 1993.
C.W. Johnson. A probabilistic logic for the development of safety-critical interactive systems. International Journal Of Man-Machine Studies, 39(2):333–351, 1993.
C.W. Johnson. The challenge of time. In P. Palanque and R. Bastide, editors, The Second Eurographics Workshop On The Design, Specification And Verification of Interactive Systems, pages 345–357. Springer Verlag, Berlin, Germany, 1995.
C.W. Johnson. The economics of interface design. In K. Nordby, P.H. Helmersen, D. Gilmore, and S.A. Arnesen, editors, Human Computer Interaction — Interact’ 95, pages 19–25, London, United Kingdom, 1995. Chapman And Hall.
C.W. Johnson. Literate specification. IEE/BCS Software Engineering Journal, 1996. Accepted and to appear early in 1996.
C.W. Johnson and M.D. Harrison. Software engineering for human computer interaction. SIGCHI Bulletin, 26(2):46–48, 1994.
C.W. Johnson, J.C. McCarthy, and P.C. Wright. Using a formal language to support natural language in accident reports. Ergonomics, 38(6):1265–1283, 1995.
W. Kuhmann. Stress inducing properties of system response times. Ergonomics, 32(3):271–280, 1989.
Ministry Of Defence. Requirements for the Procurement of Safety Critical Software, MOD DEF-STAN 00-55, London, United Kingdom, 1991.
National Aeronautic and Space Administration. Advanced Orbiting Systems — Architectural Specification For The CCSDS Secretariat, Washington DC, United States of America, 1989.
D.R. Olsen. Presentational syntactic and semantic components of interactive dialogue specification. In G.E. Pfaff, editor, User Interface Management Systems, pages 125–133. Springer-Verlag, Berlin, FDR, 1985.
J. Scholtz and S. Wiedenbeck. Learning to program in another language. In D. Diaper, D. Gilmore, G. Cockton, and B. Shackel, editors, Interact’90. Elsevier Science, North Holland, 1990.
S. Buckin gham Shum. Cognitive dimensions of design rationale. In D. Diaper and N. Hammond, editors, People And Computers VI: Proceedings Of HCI’91. Cambridge University Press, Cambridge, United Kingdom, 1991.
P.C. Wright and A.F. Monk. A cost-effective evaluation method for use by designers. International Journal of Man-Machine Studies, 35(6):891–912, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer-Verlag/Wien
About this paper
Cite this paper
Johnson, C. (1996). The Evaluation Of User Interface Notations. In: Bodart, F., Vanderdonckt, J. (eds) Design, Specification and Verification of Interactive Systems ’96. Eurographics. Springer, Vienna. https://doi.org/10.1007/978-3-7091-7491-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-7091-7491-3_10
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82900-4
Online ISBN: 978-3-7091-7491-3
eBook Packages: Springer Book Archive