Skip to main content
SpringerLink
Log in

Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces

  • Conference paper
  • First Online:
Interactive Systems:Design, Specification, and Verification (DSV-IS 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2545))

Abstract

This paper begins a process of building a semantic framework to link the many diverse interface notations that are used in more formal communities of HCI. The focus in this paper is on scenarios -single traces of user behaviour. These form a point of contact between approaches with very different models of interface abstractions or mechanisms. The paper looks first at discrete time models as these are more prevalent. Even here there are substantive issues to be addressed concerning different interpretations of timing that become apparent when you relate behaviour from different models/notations. Ubiquitous interaction, virtual reality and rich media all involve aspects of more continuous interaction and the relevant models are briefly reviewed. Because of their closer match to the real world, they differ less in terms of ontological features of behaviour.

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

Access this chapter

Log in via an institution
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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. G. Abowd. Formal aspects of human computer interaction, PhD Thesis, University of Oxford, 1991.

    Google Scholar 

  2. G. Abowd, H. Wang, and A. Monk. A formal technique for automated dialogue development. In Proc. DIS’95. ACM Press, 1995. pp. 219–226.

    Google Scholar 

  3. H. Alexander, Formally-based tools and techniques for human-computer dialogues. Ellis Horwood, 1987.

    Google Scholar 

  4. J. Allen. Planning as Temporal Reasoning. In Proc., 2nd Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, 1991.

    Google Scholar 

  5. M. Bacigalupi. Designing movement in interactive multimedia: making it meaningful. Interfaces 44, Autumn 2000, pp. 12–15.

    Google Scholar 

  6. P. Barnard, J. May, D. Duke and D. Duce. Systems, Interactions, and Macrotheory. ACM Transactions on Computer-Human Interaction, 2000. 7(2):222–262.

    Article  Google Scholar 

  7. S. Card, T. Moran, and A. Newell (1993). The Psychology of Human Computer Interaction. 1983, Lawrence Erlbaum.

    Google Scholar 

  8. J. Carroll (ed). Scenario-Based Design: envisioning work and technology in system development. Wiley, 1995.

    Google Scholar 

  9. J. Coutaz. PAC, an object oriented model for dialogue design. In: H-J Bullinger B. Shackel (eds) In INTERACT’87. Elsevier 1987. pp 431–436.

    Google Scholar 

  10. A. Dix. The myth of the infinitely fast machine. In Proc. HCI’87, D. Diaper and R. Winder (eds.). Cambridge University Press, 1987. pp. 215–228.

    Google Scholar 

  11. A. Dix and C. Runciman. Abstract models of interactive systems. In Proc. HCI’85. Cambridge University Press, 1985. pp. 13–22.

    Google Scholar 

  12. A. Dix. Formal Methods for Interactive Systems. Academic Press, 1991.

    Google Scholar 

  13. A. Dix. Status and events: static and dynamic properties of interactive systems. in Proceedings of the Eurographics Seminar: Formal Methods in Computer Graphics. Marina di Carrara, Italy. 1991.

    Google Scholar 

  14. A. Dix and G. Abowd, Modelling status and event behaviour of interactive systems. Software Engineering Journal, 1996. 11(6):334–346.

    Article  Google Scholar 

  15. A. Dix. LADA-A logic for the analysis of distributed action, in Interactive Systems: Design, Specification and Verification (1st Eurographics Workshop, Bocca di Magra, Italy, June 1994), F. Paternó (ed). Springer Verlag, 1995. pp. 317–332.

    Google Scholar 

  16. P. Dourish. Embodied Interaction. ACM Press, 2001.

    Google Scholar 

  17. C. Gram and G. Cockton (eds.). Design Principles for Interactive Software. Chapman and Hall, 1996.

    Google Scholar 

  18. D. Gregory. Geographical Imaginations. Blackwell, 1994.

    Google Scholar 

  19. R. Grossman et al. (eds). Hybrid Systems. LNCS 736, Springer Verlag, 1993.

    Google Scholar 

  20. D. Kieras and P. Polson, An approach to the formal analysis of user complexity. International Journal of Man-Machine Studies, 1985. 22:365–394.

    Article  Google Scholar 

  21. M. Kutar, C. Britton and C. Nehaniv. Specifying multiple time granularities in interactive systems. In DSV-IS’2000. P. Palanque and F. Paternó (eds). LNCS 1946, Springer, 2001, pp. 169–190.

    Google Scholar 

  22. K. Loer and M. Harrison. Formal interactive systems analysis and usability inspection methods: two incompatible worlds? In DSV-IS’2000. P. Palanque and F. Paternó (eds). LNCS 1946, Springer, 2001, pp. 169–190.

    Google Scholar 

  23. A. Monk. Action-effect rules: a technique for evaluating an informal specification against principles. Behaviour and Information Technology, 1990. 9(2):147–155.

    Article  MathSciNet  Google Scholar 

  24. M. Massink, D. Duke and S. Smith. Towards hybrid interface specification for virtual environments. In DSV-IS’99. D. Duke and A. Puerta (eds). Springer, 1999, pp. 30–51.

    Google Scholar 

  25. D. Navarre. P. Palanque, F. Paternó, C. Santoro and R. Bastide. A tool suite for integrating task and system models through scenarios. In DSV-IS’2001. C. Johnson (ed). LNCS 2220, Springer, 2001, pp. 88–113.

    Google Scholar 

  26. P. Palanque and F. Paternó (eds). Formal Methods in Human Computer Interaction. Springer-Verlag, 1997.

    Google Scholar 

  27. F. Paternó and G. Faconti. On the use of LOTOS to describe graphical interaction. in Proceedings of HCI’92. Cambridge University Press, 1992. p. 155–173.

    Google Scholar 

  28. F. Paternó. Formal reasoning about dialogue properties with automatic support. Interacting with Computers. August 1997, pp. 173–196.

    Google Scholar 

  29. F. Paternó. Model-based design and evaluation of interactive applications. Springer, 1999.

    Google Scholar 

  30. F. Paternó and C. Santoro. Integrating model checking and HCI tools to help designers verify user interface properties. In DSV-IS’2000. P. Palanque and F. Paternó (eds). LNCS 1946, Springer, 2001, pp. 135–150.

    Google Scholar 

  31. F. Paternó, G. Mori and R. Galimberti. CTTE: an environment for analysis and development of task models of cooperative applications. In Proceedings of CHI’01, Vol 2, ACM Press, 2001.

    Google Scholar 

  32. S. Payne. Understanding Calendar Use. Human-Computer Interaction, 1993, 8(2):83–100.

    Article  Google Scholar 

  33. G. Pfa., and P. Hagen (eds). Seeheim Workshop on User Interface Management Systems. Springer-Verlag, 1985.

    Google Scholar 

  34. S. Payne and T. Green, Task action grammars: a model of mental representation of task language. Human-Computer Interaction, 1986, 2(2):93–133.

    Article  Google Scholar 

  35. P. Reisner. Formal grammar and human factors design of an interactive graphics system. IEE Transactions on Software Engineering, 1981. 7(2):229–240.

    Article  Google Scholar 

  36. C. Roast and J. Siddiqi. Using the template model to analyse directory visualisation. Interacting with Computers. 1997, 9(2):155–172.

    Article  Google Scholar 

  37. A. Shepherd. Task analysis as a framework for examining HCI tasks, in Perspectives on HCI: Diverse Approaches, A. Monk and N. Gilbert (eds). Academic Press, 1995, pp. 145–174.

    Google Scholar 

  38. TACIT: Theory and Applications of Continuous Interaction Techniques, http://kazan.cnuce.cnr.it/TACIT/TACIThome.html

  39. The UIMS tool developers workshop: A metamodel for the runtime architecture of an interactive system. In SIGCHI Bulletin, 1992, 24(1):32-37.

    Google Scholar 

  40. J. Willans and M. Harrison. Verifying the behaviour of virtual world objects. In DSV-IS’2000. P. Palanque and F. Paternó (eds). Springer, 2001, pp. 65–77.

    Google Scholar 

  41. C. Wüthrich. An analysis and model of 3D interaction methods and devices for virtual reality. In DSV-IS’99. D. Duke and A. Puerta (eds). Springer, 1999, pp. 18–29.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Lancaster University, Lancaster, UK

    Alan Dix

Authors
  1. Alan Dix
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Informatik, Universität Rostock, Albert-Einstein-Str. 21, 18051, Rostock, Germany

    Peter Forbrig

  2. Faculty of Economical, Social and Political Sciences (ESPO) School of Management (IAG), Information Systems Unit (ISYS), Université catholique de Louvain (UCL), Place des Doyens, 1, 1348, Louvain-La-Neuve, Belgium

    Quentin Limbourg  & Jean Vanderdonckt  & 

  3. Fraunhofer-Institut für Graphische Datenverarbeitung, Joachim-Jungius-Str. 11, 18059, Rostock, Germany

    Bodo Urban

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dix, A. (2002). Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces. In: Forbrig, P., Limbourg, Q., Vanderdonckt, J., Urban, B. (eds) Interactive Systems:Design, Specification, and Verification. DSV-IS 2002. Lecture Notes in Computer Science, vol 2545. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36235-5_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-36235-5_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00266-6

  • Online ISBN: 978-3-540-36235-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation