{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:17:17Z","timestamp":1755998237794,"version":"3.38.0"},"publisher-location":"Vienna","reference-count":35,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211830550"},{"type":"electronic","value":"9783709168783"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/978-3-7091-6878-3_10","type":"book-chapter","created":{"date-parts":[[2011,9,15]],"date-time":"2011-09-15T07:43:51Z","timestamp":1316072631000},"page":"143-159","source":"Crossref","is-referenced-by-count":13,"title":["Formal Transducers: Models of Devices and Building Bricks for the Design of Highly Interactive Systems"],"prefix":"10.1007","author":[{"given":"Johnny","family":"Accot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Chatty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"Maury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"J. Accot, S. Chatty, P. Palanque. A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems, In [18], pp. 92\u2013104.","DOI":"10.1007\/978-3-7091-7491-3_5"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"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 \u2013 58.","DOI":"10.1177\/154193128202600114"},{"key":"10_CR3","volume-title":"Wiley","author":"Ajmone-Marsan","year":"1996","unstructured":"Ajmone-Marsan et al. Generalised Stochastic Petri nets, Wiley, 1996."},{"key":"10_CR4","volume-title":"London","author":"M Beaudouin-Lafon","year":"1990","unstructured":"M. Beaudouin-Lafon, Y. Berteaud, S. Chatty. Creating direct manipulation interfaces with XTV. EX\u201990. European conference on the X Window System. London 1990."},{"key":"10_CR5","volume-title":"Coutaz J. & Taylor R. (Eds) LNCS Springer Verlag","author":"A Beck","year":"1995","unstructured":"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."},{"key":"10_CR6","unstructured":"G. Booch & J. Rumbaugh Unified Method for Object-Oriented Development, Documentation Set Version 0.8, October 1995. Available by http at www.rational.com"},{"issue":"(1)","key":"10_CR7","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/988584.988586","volume":"17","author":"W Buxton","year":"1983","unstructured":"W. Buxton. Lexical and Pragmatic Considerations of Input Structures. Computer Graphics, 17 (1), 31 \u2013 37, 1983.","journal-title":"Computer Graphics"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"W. Buxton. There\u2019s 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 \u2013 337.","DOI":"10.1201\/b15703-15"},{"key":"10_CR9","volume-title":"proceedings of the Interact\u201990 conference, p.449-456, North Holland","author":"W Buxton","year":"1990","unstructured":"W. Buxton. A three state model of graphical input. In proceedings of the Interact\u201990 conference, p.449-456, North Holland 1990."},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"S. Card, J. Mackinlay, G. Robertson. The design space of input devices. In proceedings of ACM conference on Computer Human Interaction (CHI\u201990) pp.117\u2013124.","DOI":"10.1145\/97243.97263"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"L. Cardelli, R. Pike. Squeak: a Language for Communicating with Mice. In proceedings of the ACM conference on Graphics (SIGGRAPH\u201995), pp. 199\u2013204.","DOI":"10.1145\/325165.325238"},{"key":"10_CR12","unstructured":"S. Chatty. Defining the behaviour of animated interfaces. Engineering for Human Computer Interfaces conference 1992. p. 95-109. North-Holland."},{"key":"10_CR13","volume-title":"ACM UIST\u201994, pages 195\u2013204. ACM Press","author":"S Chatty","year":"1994","unstructured":"S. Chatty. Extending a graphical toolkit for two-handed interaction. In ACM UIST\u201994, pages 195\u2013204. ACM Press, 1994."},{"key":"10_CR14","volume-title":"Academic Press","author":"A Dix","year":"1991","unstructured":"A. Dix. Formal Methods for Interactive Systems. Academic Press, 1991."},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"D. Duke, M. Harrison. Interaction and Tasks Requirements, in [17], pp. 54\u201376","DOI":"10.1007\/978-3-7091-9437-9_5"},{"key":"10_CR16","volume-title":"Springer Verlag","author":"Proceedings of the First Eurographics workshop on Design, Specification and Verification of Interactive Systems, F","year":"1995","unstructured":"Proceedings of the First Eurographics workshop on Design, Specification and Verification of Interactive Systems, F. Paterno Ed. Springer Verlag 1995."},{"key":"10_CR17","unstructured":"Proceedings of the Second Eurographics workshop on Design, Specification and Verification of Interactive Systems, P. Palanque & R. Bastide Eds. Springer Verlag"},{"key":"10_CR18","unstructured":"Proceedings of the Third Eurographics workshop on Design, Specification and Verification of Interactive Systems,F. Bodard & J. Vanderdonckt Eds. Springer Verlag"},{"key":"10_CR19","first-page":"302","volume-title":"Comparison of six cursor devices on a target acquisition task","author":"B Epps","year":"1986","unstructured":"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 \u2013 305."},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"O. Esteban, S. Chatty, P. Palanque. Whizz\u2019Ed: a visual environment for building highly interactive interfaces. Proceedings of the Interact\u201995 conference, p. 121\u2013126.","DOI":"10.1007\/978-1-5041-2896-4_20"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"G. Faconti, A. Fornari, N. Zani. Visual representation of formal specifications: an application to hierarchical logical input devices. In [16] pp. 349\u2013367.","DOI":"10.1007\/978-3-642-87115-3_21"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"G. Faconti, D. Duke. Device Models. In [18] pp. 73\u201391.","DOI":"10.1007\/978-3-7091-7491-3_4"},{"key":"10_CR23","first-page":"1993","volume-title":"Lecture Notes in Computer Science n\u00b0 674, p. 169\u2013209. Springer Verlag","author":"F. Feldbrudge. Petri net tool overview","year":"1992","unstructured":"F. Feldbrudge. Petri net tool overview 1992. Advances in Petri nets 1993. In G. Rozenberg (Ed.), Lecture Notes in Computer Science n\u00b0 674, p. 169\u2013209. Springer Verlag 1993."},{"key":"10_CR24","volume-title":"2 (Analysis methods and practical use) Springer Verlag","author":"K Jensen","year":"1995","unstructured":"K. Jensen. Coloured Petri nets. Vol. 1 (Basic concepts) and Vol. 2 (Analysis methods and practical use) Springer Verlag, 1995."},{"key":"10_CR25","first-page":"225","volume-title":"Literate Specifications","author":"CW Johnson","year":"1996","unstructured":"C.W. Johnson. Literate Specifications. Software Engineering Journal, July 1996, pp. 225 \u2013 237"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"C.W. Johnson, S. Jones. Human Computer Interaction and Requirements Engineering, SIGCHI Bulletin, Editorial For Special Edition On HCI and Requirements, vol. 29, n\u00b0l, pp. 31 \u2013 32, 1997","DOI":"10.1145\/251761.248497"},{"key":"10_CR27","volume-title":"Springer Verlag","author":"Lautenbach K. Linear algebraic techniques for Place\/Transition Nets. Application and Theory of Petri nets","year":"1986","unstructured":"Lautenbach K. Linear algebraic techniques for Place\/Transition Nets. Application and Theory of Petri nets, LNCS 254 & 255, Springer Verlag. 1986."},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"J. McCarthy, P. Wright, M. Harrison. A requirements Space for Group-Work Systems. In Proceedings of Interact\u201995, pp. 283\u2013288, Chapman & Hall.","DOI":"10.1007\/978-1-5041-2896-4_48"},{"key":"10_CR29","volume-title":"Prentice Hall","author":"B Meyer","year":"1988","unstructured":"B. Meyer. Object-Oriented Software Construction. Prentice Hall 1988."},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"P. Palanque & R. Bastide. Petri net based design of user-driven interfaces using the interactive cooperative object formalism. In [16], p. 383\u2013401.","DOI":"10.1007\/978-3-642-87115-3_23"},{"key":"10_CR31","doi-asserted-by":"crossref","unstructured":"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\u20192, p. 43\u201346.","DOI":"10.1145\/226650.226666"},{"key":"10_CR32","doi-asserted-by":"crossref","unstructured":"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\u2013187.","DOI":"10.1007\/978-3-7091-7491-3_9"},{"key":"10_CR33","volume-title":"ACM\/ASSETS\u201996, ACM Press, pp. 2\u201310","author":"C Ramstein","year":"1996","unstructured":"C. Ramstein et al. Touching and Hearing GUI\u2019s: Design issues for the PC-Access System. In ACM\/ASSETS\u201996, ACM Press, pp. 2\u201310, 1996."},{"key":"10_CR34","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/S0020-7373(88)80021-X","volume":"28","author":"W Biljon Van","year":"1988","unstructured":"W. Van Biljon. Extending Petri nets for specifying man-machine dialogues. Int. J. Man-Machine Studies (1988) 28, p. 437 \u2013 455.","journal-title":"Int. J. Man-Machine Studies"},{"key":"10_CR35","volume-title":"Transactions on Software Engineering","author":"A Wasserman","year":"1985","unstructured":"A. Wasserman. Extending state transition diagrams for the specification of human- computer interaction. IEEE Transactions on Software Engineering, 11(8), August 1985."}],"container-title":["Eurographics","Design, Specification and Verification of Interactive Systems \u201997"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6878-3_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,11]],"date-time":"2025-03-11T01:49:31Z","timestamp":1741657771000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6878-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783211830550","9783709168783"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6878-3_10","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1997]]}}}