Skip to main content
SpringerLink
Log in

Formal Transducers: Models of Devices and Building Bricks for the Design of Highly Interactive Systems

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

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

Abstract

Producing formal descriptions of low level interaction is necessary to completely capture the behaviour of user interfaces and avoid unexpected behaviour of higher level software layers. We propose a structured approach to formalising low level interaction and scaling up to higher layers, based on the composition of transducers. Every transducer encapsulates the behaviour of a device or software component, consumes and produces events. We describe transducers using a formalism based on Petri nets, and show how this transducer-based model can be used to describe simple but realistic applications and analyse unexpected defects in their design. We also identify properties that are meaningful to the application designer and users, and show how they can be formally checked on a transducer-based model of the application.

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. J. Accot, S. Chatty, P. Palanque. A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems, In [18], pp. 92–104.

    Google Scholar 

  2. A. Albert. The effect of graphic input devices on performance in a cursor positioning task. In proceedings of the 26th Annual meeting of the Human Factor Society., 1982, pp. 54 – 58.

    Google Scholar 

  3. Ajmone-Marsan et al. Generalised Stochastic Petri nets, Wiley, 1996.

    Google Scholar 

  4. M. Beaudouin-Lafon, Y. Berteaud, S. Chatty. Creating direct manipulation interfaces with XTV. EX’90. European conference on the X Window System. London 1990.

    Google Scholar 

  5. A. Beck, C. Janssen, A. Weisbecker, J. Ziegler. Integrating object-oriented analysis and graphical user interface design. In Coutaz J. & Taylor R. (Eds) LNCS Springer Verlag 1995.

    Google Scholar 

  6. G. Booch & J. Rumbaugh Unified Method for Object-Oriented Development, Documentation Set Version 0.8, October 1995. Available by http at www.rational.com

    Google Scholar 

  7. W. Buxton. Lexical and Pragmatic Considerations of Input Structures. Computer Graphics, 17 (1), 31 – 37, 1983.

    Article  Google Scholar 

  8. W. Buxton. There’s more to interaction than meet the eye: Some issues in manual input. In Norman and Draper Eds. User Centered System Design: New Perspectives on Human-Computer Interaction, Hillsdale, NJ, Lawrence Erlbaum Publ. Pp. 319 – 337.

    Google Scholar 

  9. W. Buxton. A three state model of graphical input. In proceedings of the Interact’90 conference, p.449-456, North Holland 1990.

    Google Scholar 

  10. S. Card, J. Mackinlay, G. Robertson. The design space of input devices. In proceedings of ACM conference on Computer Human Interaction (CHI’90) pp.117–124.

    Google Scholar 

  11. L. Cardelli, R. Pike. Squeak: a Language for Communicating with Mice. In proceedings of the ACM conference on Graphics (SIGGRAPH’95), pp. 199–204.

    Google Scholar 

  12. S. Chatty. Defining the behaviour of animated interfaces. Engineering for Human Computer Interfaces conference 1992. p. 95-109. North-Holland.

    Google Scholar 

  13. S. Chatty. Extending a graphical toolkit for two-handed interaction. In ACM UIST’94, pages 195–204. ACM Press, 1994.

    Google Scholar 

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

    Google Scholar 

  15. D. Duke, M. Harrison. Interaction and Tasks Requirements, in [17], pp. 54–76

    Google Scholar 

  16. Proceedings of the First Eurographics workshop on Design, Specification and Verification of Interactive Systems, F. Paterno Ed. Springer Verlag 1995.

    Google Scholar 

  17. Proceedings of the Second Eurographics workshop on Design, Specification and Verification of Interactive Systems, P. Palanque & R. Bastide Eds. Springer Verlag

    Google Scholar 

  18. Proceedings of the Third Eurographics workshop on Design, Specification and Verification of Interactive Systems,F. Bodard & J. Vanderdonckt Eds. Springer Verlag

    Google Scholar 

  19. B. Epps, H. Snyder, W. Mutol. Comparison of six cursor devices on a target acquisition task. In proceedings of the Society for Information Display, 1986, pp. 302 – 305.

    Google Scholar 

  20. O. Esteban, S. Chatty, P. Palanque. Whizz’Ed: a visual environment for building highly interactive interfaces. Proceedings of the Interact’95 conference, p. 121–126.

    Google Scholar 

  21. G. Faconti, A. Fornari, N. Zani. Visual representation of formal specifications: an application to hierarchical logical input devices. In [16] pp. 349–367.

    Google Scholar 

  22. G. Faconti, D. Duke. Device Models. In [18] pp. 73–91.

    Google Scholar 

  23. F. Feldbrudge. Petri net tool overview 1992. Advances in Petri nets 1993. In G. Rozenberg (Ed.), Lecture Notes in Computer Science n° 674, p. 169–209. Springer Verlag 1993.

    Google Scholar 

  24. K. Jensen. Coloured Petri nets. Vol. 1 (Basic concepts) and Vol. 2 (Analysis methods and practical use) Springer Verlag, 1995.

    Google Scholar 

  25. C.W. Johnson. Literate Specifications. Software Engineering Journal, July 1996, pp. 225 – 237

    Google Scholar 

  26. C.W. Johnson, S. Jones. Human Computer Interaction and Requirements Engineering, SIGCHI Bulletin, Editorial For Special Edition On HCI and Requirements, vol. 29, n°l, pp. 31 – 32, 1997

    Google Scholar 

  27. Lautenbach K. Linear algebraic techniques for Place/Transition Nets. Application and Theory of Petri nets, LNCS 254 & 255, Springer Verlag. 1986.

    Google Scholar 

  28. J. McCarthy, P. Wright, M. Harrison. A requirements Space for Group-Work Systems. In Proceedings of Interact’95, pp. 283–288, Chapman & Hall.

    Google Scholar 

  29. B. Meyer. Object-Oriented Software Construction. Prentice Hall 1988.

    Google Scholar 

  30. P. Palanque & R. Bastide. Petri net based design of user-driven interfaces using the interactive cooperative object formalism. In [16], p. 383–401.

    Google Scholar 

  31. P. Palanque & R. Bastide. Time modelling in Petri nets for the design of Interactive Systems. GIST workshop on Time in Interactive Systems. Glasgow, July 1995, and also SIGCHI bulletin vol 28 n’2, p. 43–46.

    Google Scholar 

  32. P. Palanque, F. Paterno, R. Bastide, M. Mezzanotte Towards an integrated proposal for interactive systems design based on TLIM and MICO. In [18] pp 162–187.

    Google Scholar 

  33. C. Ramstein et al. Touching and Hearing GUI’s: Design issues for the PC-Access System. In ACM/ASSETS’96, ACM Press, pp. 2–10, 1996.

    Google Scholar 

  34. W. Van Biljon. Extending Petri nets for specifying man-machine dialogues. Int. J. Man-Machine Studies (1988) 28, p. 437 – 455.

    Article  MATH  Google Scholar 

  35. A. Wasserman. Extending state transition diagrams for the specification of human- computer interaction. IEEE Transactions on Software Engineering, 11(8), August 1985.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CENA, 7 av. Edouard Belin, 31055, Toulouse cedex, France

    Johnny Accot, Stéphane Chatty, Sébastien Maury & Philippe Palanque

  2. LIS — FROGIS, Universite Toulouse I, 31042, Toulouse cedex, France

    Philippe Palanque

Authors
  1. Johnny Accot
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stéphane Chatty
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sébastien Maury
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Philippe Palanque
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Human-Computer Interaction Group, Department of Computer Science, University of York, York, UK

    Michael Douglas Harrison

  2. Dpt. Lenguajes y Sistemas Informaticos, ETS Informatica, Granada, Spain

    Juan Carlos Torres

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag/Wien

About this paper

Cite this paper

Accot, J., Chatty, S., Maury, S., Palanque, P. (1997). Formal Transducers: Models of Devices and Building Bricks for the Design of Highly Interactive Systems. In: Harrison, M.D., Torres, J.C. (eds) Design, Specification and Verification of Interactive Systems ’97. Eurographics. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6878-3_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-7091-6878-3_10

  • Publisher Name: Springer, Vienna

  • Print ISBN: 978-3-211-83055-0

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation