{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:53:14Z","timestamp":1756000394445},"publisher-location":"Vienna","reference-count":27,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211829004"},{"type":"electronic","value":"9783709174913"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/978-3-7091-7491-3_5","type":"book-chapter","created":{"date-parts":[[2011,12,5]],"date-time":"2011-12-05T05:34:51Z","timestamp":1323063291000},"page":"92-104","source":"Crossref","is-referenced-by-count":15,"title":["A Formal Description of Low Level Interaction and its Application to Multimodal 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":"Philippe","family":"Palanque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","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":"5_CR2","doi-asserted-by":"crossref","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.","DOI":"10.1007\/BFb0035811"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"E. Bier, M. Stone, K. Fishkin, W. Buxton, T. Baudel. A taxonomy of seethrough tools. In proceedings of the CHI\u201994 conference. ACM Press, 1994, p. 358\u2013364.","DOI":"10.1145\/259963.260404"},{"key":"5_CR4","unstructured":"P. Brun & M. Beaudouin-Lafon, A taxonomy and evaluation of formalisms for the specification of interactive systems. HCI\u201995, 1995, p. 197\u2013212."},{"key":"5_CR5","unstructured":"W. Buxton. A three state model of graphical input. In proceedings of the Interact\u201990 conference, p.449\u2013456, North Holland 1990."},{"key":"5_CR6","unstructured":"S. Chatty. Defining the behaviour of animated interfaces. Engineering for Human Computer Interfaces conference 1992. p. 95\u2013109. North-Holland."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"S. Chatty. Extending a graphical toolkit for two-handed interaction. In ACM UIST\u201994, pages 195\u2013204. ACM Press, 1994.","DOI":"10.1145\/192426.192500"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"S. Chatty, P. Lecoanet. Pen computing for air traffic control. CHI\u201996 conference proceedings ACM Press, 1996, p. 87\u201394.","DOI":"10.1145\/238386.238436"},{"issue":"9","key":"5_CR9","first-page":"28","volume":"15","author":"S Chatty","year":"1996","unstructured":"S. Chatty, P. Girrad, S. Sire. Vers un support multimedia aux collecticiels synchrones. Techniques et Sciences Informatiques, vol. 15, n\u00b09, 1996, 28p.","journal-title":"Techniques et Sciences Informatiques"},{"key":"5_CR10","unstructured":"A. Dix. Formal Methods for Interactive Systems. Academic Press, 1991."},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Proceedings of the First Eurographics workshop on Design, Specification and Verification of Interactive Systems, F. Patern\u00f3 Ed. Springer Verlag 1995.","DOI":"10.1007\/978-3-642-87115-3"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Proceedings of the Second Eurographics workshop on Design, Specification and Verification of Interactive Systems, P. Palanque & R. Bastide Eds. Springer Verlag 1995.","DOI":"10.1007\/978-3-7091-9437-9"},{"issue":"3","key":"5_CR13","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1111\/1467-8659.1230025","volume":"12","author":"D Duke","year":"1993","unstructured":"D. Duke, M. Harrison. Abstract Interaction Objects. Computer Graphics Forum 12(3), p. 25\u201336 1993. Eurographics 93.","journal-title":"Computer Graphics Forum"},{"key":"5_CR14","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":"5_CR15","doi-asserted-by":"crossref","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.","DOI":"10.1007\/3-540-56689-9_44"},{"key":"5_CR16","unstructured":"M. Harrison, H. Thimbleby. Formal Methods in Human Computer Interaction. Cambridge University Press, 1990."},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"K. Jensen. Coloured Petri nets and the invariant method. Theoretical Computer Science 14, 1981, North Holland, p. 317\u2013336.","DOI":"10.1016\/0304-3975(81)90049-9"},{"key":"5_CR18","unstructured":"K. Jensen. Coloured Petri nets. Vol. 1 (Basic concepts) and Vol. 2 (Analysis methods and practical use) Springer Verlag, 1995."},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"B. Myers. Comprehensive support for graphical, highly interactive user interfaces. IEEE Computer, p. 71\u201385, Nov. 1990.","DOI":"10.1109\/2.60882"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"L. Nigay & J. Coutaz, A generic platform for addressing the multimodal challenge. Proceedings of CHI\u201995, 1995, p. 98\u2013105.","DOI":"10.1145\/223904.223917"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"P. Palanque & R. Bastide. Petri net based design of user-driven interfaces using the interactive cooperative object formalism. In [11], p. 383\u2013401.","DOI":"10.1007\/978-3-642-87115-3_23"},{"key":"5_CR22","unstructured":"P. Palanque & R. Bastide. Formal specification and verification of CSCW using the Interactive Cooperative Object formalism. In HCI\u201995 conference, People and Computers X, p. 213\u2013231. Cambridge University Press 1995."},{"key":"5_CR23","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\u00b02, p. 43\u201346.","DOI":"10.1145\/226650.226666"},{"issue":"3","key":"5_CR24","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1111\/1467-8659.1330195","volume":"13","author":"F Patern\u00f3","year":"1994","unstructured":"F. Patern\u00f3 & A. Leonardi. A semantic-based approach for the design and implementation of interaction objects. Computer Graphics Forum 13(3) p. 195\u2013204, 1994.","journal-title":"Computer Graphics Forum"},{"key":"5_CR25","unstructured":"J. T. Stasko. TANGO: A framework and System for Algorithm Animation, PhD thesis, Brown University, 1989."},{"key":"5_CR26","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\u2013455.","journal-title":"Int. J. Man-Machine Studies"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"A. Wasserman. Extending state transition diagrams for the specification of human-computer interaction. IEEE Transactions on Software Engineering, 11(8), August 1985.","DOI":"10.1109\/TSE.1985.232519"}],"container-title":["Eurographics","Design, Specification and Verification of Interactive Systems \u201996"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-7491-3_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T09:36:15Z","timestamp":1606124175000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-7491-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783211829004","9783709174913"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-7491-3_5","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1996]]}}}