Abstract
In the past, temporal problems have not played a central role in the development of human-machine interfaces. The timing of individual commands seldom affects single users interacting with standalone applications, such as text-editors and spreadsheets. This situation is changing. The increasing use of mutlimedia applications, distributed systems, computer supported cooperative work tools and process control environments is forcing designers to consider temporal aspects of usability. It is a non-trivial task to synchronise the activities of multiple operators working through several different modalities on many different machines. Unfortunately, traditional techniques that rely upon rapid prototyping or iterative development cannot easily be used to address the many different timing issues that arise during the design of this new generation of interactive systems. In contrast, formal specification techniques provide concise and precise means of representing and reasoning about such interactive behaviour. This paper argues that existing notations are, however, poorly equipped to face the challenges posed by temporal aspects of usability.
This document summarises the findings of a working group on temporal aspects of usability. The members of the group are listed at the end of the paper.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
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 625631. Elsevier Science Publications, North Holland, Netherlands, 1990.
E.M. Clarke and E.A. Emerson. Design and synthesis of synchronisation skeletons using branching time temporal logic. In D. Kozen, editor, Logic of Programs 1981–Proceedings, LNCS 131, pages 52–71. Springer-Verlag, Berlin, FDR, 1982.
G. Coulouris, J. Dollimore, and T. Kindberg. Distributed Systems: Concepts And Design. Addison Wesley, Wokingham, United Kingdom, 1994.
S.J. Gibbs and D.C. Tsichritzis. Multimedia Programming: Objects, Environments And Frameworks. Addison Wesley, Reading, United Kingdom, 1994.
P. Gray, D. England, and S. McGowan. XUAN: Enhancing UAN to capture temporal relationships among actions. In G. Cockton, S.W. Draper, and G.R.S. Weir, editors, People And Computers IX, pages 301–312. Cambridge University Press, Cambridge, United Kingdom, 1994.
P. Gray and C.W. Johnson. Requirements for the next generation of user interface specification languages. In R. Bastide and P. Palanque, editors, Proceedings Of The 2nd Eurographics Workshop On The Design, Specification And Verification Of Interactive Systems. 1995.
C.W. Johnson. Applying temporal logic to support the specification and prototyping of concurrent multi-user interfaces. In D. Diaper and N. Hammond, editors, People And Computers VI: Usability Now, pages 145–156 Cambridge University Press, Cambridge, United Kingdom, 1991.
C.W. Johnson. The application of Petri Nets to represent and reason about human factors problems during accident analyses. In R. Bastide and P. Palanque, editors,Proceedings Of The 2nd Eurographics Workshop On The Design, Specification And Verification Of Interactive Systems. 1995.
C.W. Johnson. Time and the web: Representing temporal properties of interaction with distributed systems. In People And Computers X. Cambridge University Press, Cambridge, United Kingdom, 1995.
C.W. Johnson. Using Z to support the design of interactive, safety-critical systems. Software Engineering Journal, 10 (2): 49–60, 1995.
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.
M. Kooij. Interface specification with temporal logic. In S.J. Greenspan, editor, The 5th International Workshop On Software Specification And Design, pages 104–110. IEEE Computer Society Press, Washington, United States of America, 1989.
Z. Manna and A. Pnueli. Verification of concurrent programs: The temporal framework. In R.S. Boyer and J. Strother Moore, editors, The Correctness Problem In Computer Science, pages 215–273. Academic Press, London, United Kingdom, 1981.
V.C. Miles, C.W. Johnson, J.C. McCarthy, and M.D. Harrison. Supporting prediction in complex dynamic systems. In D. Diaper and N. Hammond, editors, People And Computers VI: Usability Now, pages 133–144. Cambridge University Press, Cambridge, United Kingdom, 1991.
T. Moher and V. Dirda. Revising mental models to accomodate expectation failures in human-computer dialogues. In R. Bastide and P. Palanque, editors, Proceedings Of The 2nd Eurographics Workshop On The Design, Specification And Verification Of Interactive Systems. 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag/Wien
About this paper
Cite this paper
Johnson, C. (1995). The Challenge Of Time. In: Palanque, P., Bastide, R. (eds) Design, Specification and Verification of Interactive Systems ’95. Eurographics. Springer, Vienna. https://doi.org/10.1007/978-3-7091-9437-9_22
Download citation
DOI: https://doi.org/10.1007/978-3-7091-9437-9_22
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82739-0
Online ISBN: 978-3-7091-9437-9
eBook Packages: Springer Book Archive