Skip to main content
SpringerLink
Log in

Device Models

  • Conference paper
Design, Specification and Verification of Interactive Systems ’96

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

Abstract

Previous work on characterising the variety of interaction devices has focused either on physical properties of the devices or the range of behaviours that they can invoke. This work sets out a new approach to evaluating the usability of devices, one that accounts for the cognitive resources needed to use the device to perform particular tasks. The framework draws its expressive power from a technique called syndetic modelling that allows the description of both the device and cognitive resources to be captured in a common representation. In this paper syndesis provides a foundation for examining the coordinate spaces and transformations that are needed both by the operator and the computer system in performing tasks with a given device.

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.

References

  1. E. Anson. The device model of interaction. Computer Graphics, 16(3), 1982.

    Google Scholar 

  2. R.M. Baecker and W. Buxton, editors. Readings in human-computer interaction: A multidisciplinary approach. Morgan-Kaufmann, 1987.

    Google Scholar 

  3. P.J. Barnard and J. May. Cognitive modelling for user requirements. In P.F. Byerley, P.J. Barnard, and J. May, editors, Computers, Communication and Usability: Design Issues, Research and Methods for Integrated Services, North Holland Series in Telecommunication. Elsevier, 1993.

    Google Scholar 

  4. P.J. Barnard and J. May. Interactions with advanced graphical interfaces and the deployment of latent human knowledge. In Eurographics Workshop on Design, Specification and Verification of Interactive Systems, pages 15–49. Springer, June 1994.

    Google Scholar 

  5. G. Berry. The ESTEREL synchronous programming language and its mathematical semantics. In NSF/SERC workshop on concurrency. CMU, 1984.

    Google Scholar 

  6. A. Blandford and D.J. Duke. Integrating user and computer system concerns in the design of interactive systems. IEEE Transactions on Software Engineering, 1996. Submitted for publication.

    Google Scholar 

  7. S. Card, J. Mackinlay, and G. Robertson. The design space of input devices. In Proc. of CHI’90. ACM Press, 1990.

    Google Scholar 

  8. S.K. Card, J.D. Mackinlay, and G.G. Robertson. A semantics analysis of the design space of input devices. Human-Computer Interaction, 1990.

    Google Scholar 

  9. L. Cardelli and R. Pike. Squeak: a language for communicating with mice. Computer Graphics, 19(3), 1985.

    Google Scholar 

  10. D. Duce, P. ten Hagen, and R. van Liere. An approach to hierarchical input devices. Computer Graphics Forum, 9(1): 15–26, 1990.

    Article  Google Scholar 

  11. D.A. Duce, R. Van Liere, and P.J.W. ten Hagen. Components, framework and GKS input. In Proceedings of Eurographics’89. North-Holland, 1989.

    Google Scholar 

  12. D.J. Duke. Reasoning about gestural interaction. Computer Graphics Forum, 14(3):55-66, 1995. Conference Issue: Proc. Eurographics’95, Maastricht, The Netherlands.

    Article  MathSciNet  Google Scholar 

  13. D.J. Duke, P.J. Barnard, D.A. Duce, and J. May. Systematic development of the human interface. In APSEC’95: Second Asia-Pacific Software Engineering Conference, pages 313–321. IEEE Computer Society Press, 1995.

    Google Scholar 

  14. D.J. Duke and M.D. Harrison. Abstract interaction objects. Computer Graphics Forum, 12(3):25–36, 1993. Conference Issue: Proc. Eurographics’93.

    Article  Google Scholar 

  15. D.J. Duke and M.D. Harrison. Interaction and task requirements. In P. Palanque and R. Bastide, editors, DSV-IS’95: Eurographics Workshop on Design, Specification and Verification of Interactive Systems, pages 54–75. Springer-Verlag, 1995.

    Google Scholar 

  16. G. Faconti, M. Caneve, E. Salvatori, and N. Zani. A LOTOS view of the input model of standard graphics systems. In Proceedings of Eurographics Workshop on Formal Methods in Computer Graphics, 1991.

    Google Scholar 

  17. G. Faconti and F. Paterno’. An approach to the formal specification of the components of an interaction. In C. Vandoni and D. Duce, editors, Eurographics 90, pages 481–494. North-Holland, 1990.

    Google Scholar 

  18. G.P. Faconti, N. Zani, and F. Paterno’. The input model of standard graphics systems revisited by formal specification. Computer Graphics Forum, 11(3), 1992. Proceedings of Eurographics’92.

    Google Scholar 

  19. P.M. Fitts. The information capacity of the human motor system in controlling amplitude of movement. Journal of Experimental Psychology, 47:381–391, 1954.

    Article  Google Scholar 

  20. J.D. Foley and V.L. Wallace. The art of natural graphic man-machine conversation. In Proceedings of IEEE 62, 1974.

    Google Scholar 

  21. R.A. Guedj, editor. Proceedings of IFIP Workshop on methodology of Interaction. North-Holland, 1980.

    Google Scholar 

  22. C.A.R. Hoare. Communicating Sequential Processes. Series in Computer Science. Prentice Hall International, 1985.

    Google Scholar 

  23. ISO Central Secretariat, Geneva. A formal description technique based on temporal ordering of observational behaviour, 1988. ISO/IS 8807.

    Google Scholar 

  24. P. Chan J.D. Foley, V.L. Wallace. The human factors of computer graphics interaction techniques. Computer Graphics and Applications, 4(11), 1984.

    Google Scholar 

  25. G.D. Langolf. Human motor performance in precise microscopic work. PhD thesis, University of Michigan, 1973.

    Google Scholar 

  26. R. Milner. Communication and Concurrency. Series in Computer Science. Prentice Hall International, 1989.

    Google Scholar 

  27. F. Paterno’ and G. Faconti. On the use of LOTOS to describe graphical interaction. In A. Monk, D. Diaper, and M. Harrison, editors, People and Computers VII: Proc. of the HCI’92 Conference, Conference Series, pages 155–173. British Computer Society, 1992.

    Google Scholar 

  28. G. Pfaff, editor. User Interface Management Systems. Eurographics seminars, Springer-Verlag, 1985.

    Google Scholar 

  29. D.S.H. Rosenthal et al. The detailed semantics of graphical input devices. Computer Graphics, 16(3), 1982.

    Google Scholar 

  30. M. Ryan, J. Fiadeiro, and T. Maibaum. Sharing actions and attributes in modal action logic. In T. Ito and A.R. Meyer, editors, Theoretical Aspects of Computer Software, volume 526 of Lecture Notes in Computer Science, pages 569–593. Springer-Verlag, 1991.

    Google Scholar 

  31. J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International, second edition, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CNUCE Institute, National Research Council of Italy, 56126, Pisa, Italy

    G. P. Faconti

  2. Department of Computer Science, University of York, Heslington, York, YO1 5DD, UK

    D. J. Duke

Authors
  1. G. P. Faconti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. D. J. Duke
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut d’Informatique, Facultés Universitaires Notre-Dame de la Paix, Namur, Belgium

    Francois Bodart  & Jean Vanderdonckt M.Sc.  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag/Wien

About this paper

Cite this paper

Faconti, G.P., Duke, D.J. (1996). Device Models. 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_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-7091-7491-3_4

  • Publisher Name: Springer, Vienna

  • Print ISBN: 978-3-211-82900-4

  • Online ISBN: 978-3-7091-7491-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation