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

  • Johnny Accot
  • Stéphane Chatty
  • Sébastien Maury
  • Philippe Palanque
Part of the Eurographics book series (EUROGRAPH)


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.


Sound Generator Input Device Input Event Input Place Window System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 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. 3.
    Ajmone-Marsan et al. Generalised Stochastic Petri nets, Wiley, 1996.Google Scholar
  4. 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. 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. 6.
    G. Booch & J. Rumbaugh Unified Method for Object-Oriented Development, Documentation Set Version 0.8, October 1995. Available by http at Google Scholar
  7. 7.
    W. Buxton. Lexical and Pragmatic Considerations of Input Structures. Computer Graphics, 17 (1), 31 – 37, 1983.CrossRefGoogle Scholar
  8. 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. 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. 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. 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. 12.
    S. Chatty. Defining the behaviour of animated interfaces. Engineering for Human Computer Interfaces conference 1992. p. 95-109. North-Holland.Google Scholar
  13. 13.
    S. Chatty. Extending a graphical toolkit for two-handed interaction. In ACM UIST’94, pages 195–204. ACM Press, 1994.Google Scholar
  14. 14.
    A. Dix. Formal Methods for Interactive Systems. Academic Press, 1991.Google Scholar
  15. 15.
    D. Duke, M. Harrison. Interaction and Tasks Requirements, in [17], pp. 54–76Google Scholar
  16. 16.
    Proceedings of the First Eurographics workshop on Design, Specification and Verification of Interactive Systems, F. Paterno Ed. Springer Verlag 1995.Google Scholar
  17. 17.
    Proceedings of the Second Eurographics workshop on Design, Specification and Verification of Interactive Systems, P. Palanque & R. Bastide Eds. Springer VerlagGoogle Scholar
  18. 18.
    Proceedings of the Third Eurographics workshop on Design, Specification and Verification of Interactive Systems,F. Bodard & J. Vanderdonckt Eds. Springer VerlagGoogle Scholar
  19. 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. 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. 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. 22.
    G. Faconti, D. Duke. Device Models. In [18] pp. 73–91.Google Scholar
  23. 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. 24.
    K. Jensen. Coloured Petri nets. Vol. 1 (Basic concepts) and Vol. 2 (Analysis methods and practical use) Springer Verlag, 1995.Google Scholar
  25. 25.
    C.W. Johnson. Literate Specifications. Software Engineering Journal, July 1996, pp. 225 – 237Google Scholar
  26. 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, 1997Google Scholar
  27. 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. 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. 29.
    B. Meyer. Object-Oriented Software Construction. Prentice Hall 1988.Google Scholar
  30. 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. 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. 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. 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. 34.
    W. Van Biljon. Extending Petri nets for specifying man-machine dialogues. Int. J. Man-Machine Studies (1988) 28, p. 437 – 455.MATHCrossRefGoogle Scholar
  35. 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

Copyright information

© Springer-Verlag/Wien 1997

Authors and Affiliations

  • Johnny Accot
    • 1
  • Stéphane Chatty
    • 1
  • Sébastien Maury
    • 1
  • Philippe Palanque
    • 1
    • 2
  1. 1.CENAToulouse cedexFrance
  2. 2.LIS — FROGISUniversite Toulouse IToulouse cedexFrance

Personalised recommendations