Skip to main content

The Challenge Of Time

  • Conference paper

Part of the book series: Eurographics ((EUROGRAPH))

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.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. G. Coulouris, J. Dollimore, and T. Kindberg. Distributed Systems: Concepts And Design. Addison Wesley, Wokingham, United Kingdom, 1994.

    Google Scholar 

  4. S.J. Gibbs and D.C. Tsichritzis. Multimedia Programming: Objects, Environments And Frameworks. Addison Wesley, Reading, United Kingdom, 1994.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. 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.

    Google Scholar 

  10. C.W. Johnson. Using Z to support the design of interactive, safety-critical systems. Software Engineering Journal, 10 (2): 49–60, 1995.

    Article  Google Scholar 

  11. 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.

    Article  Google Scholar 

  12. 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.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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

Publish with us

Policies and ethics