{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:47:08Z","timestamp":1748072828962,"version":"3.38.0"},"publisher-location":"Vienna","reference-count":38,"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_9","type":"book-chapter","created":{"date-parts":[[2011,12,5]],"date-time":"2011-12-05T05:34:51Z","timestamp":1323063291000},"page":"162-187","source":"Crossref","is-referenced-by-count":10,"title":["Towards an integrated proposal for Interactive Systems design based on TLIM and ICO"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Palanque","sequence":"first","affiliation":[]},{"given":"Fabio","family":"Paterno","sequence":"additional","affiliation":[]},{"given":"R\u00e9mi","family":"Bastide","sequence":"additional","affiliation":[]},{"given":"Menica","family":"Mezzanotte","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_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 [10], Springer Verlag 1996.","DOI":"10.1007\/978-3-7091-7491-3_5"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"P. Barnard, J. May, \u201cInteractions with Advanced Graphical Interfaces and the Deployment of Latent Human Knowledge\u201d in [8].","DOI":"10.1007\/978-3-642-87115-3_2"},{"key":"9_CR3","unstructured":"R. Bastide. Cooperative Objects: a formalism for the design of concurrent systems. PhD dissertation, University of Toulouse 1,1992 (in French)."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"R. Bastide & P. Palanque. A Petri net based environment for the design of event-driven interfaces. 16th international conference on Application and Theory of Petri nets, LNCS 935, Springer Verlag 1995.","DOI":"10.1007\/3-540-60029-9_34"},{"key":"9_CR5","unstructured":"R. Bastide & P. Palanque. Implementation techniques for Petri net based specifications of human computer dialogues. In proceedings of Computer Aided Design of User Interfaces (CADUI\u201996), Namur, June 1996, Presses Universitaires de Namur (Pub.)."},{"key":"9_CR6","unstructured":"S. K Card., T.P. Moran & A. Newell. The psychology of Human-Computer Interaction. Lawrence Erlbaum Associates, 1983."},{"issue":"7","key":"9_CR7","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1016\/0169-7552(93)90047-8","volume":"25","author":"R DeNicola","year":"1993","unstructured":"R. DeNicola, A. Fantechi, S. Gnesi, G. Ristori, An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems, Computer Networks & ISDN Systems, Vol.25, n\u00b0 7, February 1993, pp.761\u2013778.","journal-title":"Computer Networks & ISDN Systems"},{"key":"9_CR8","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, ISBN 3-540-59480-9.","DOI":"10.1007\/978-3-642-87115-3"},{"key":"9_CR9","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"},{"key":"9_CR10","unstructured":"Proceedings of the third Eurographics workshop on Design, Specification and Verification of Interactive Systems, F. Bodart & J. Vanderdonckt Eds. Springer Verlag 1996."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"P. Gray & C. Johnson, \u201cRequirements for the Next Generation of User Interface Specification Languages\u201d, Proceedings DSV-IS\u201995, Springer Verlag, pp.113\u2013133.","DOI":"10.1007\/978-3-7091-9437-9_8"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"R. Harston & P. Gray, \u201cTemporal Aspects of Tasks in the User Action Notation\u201d, Human Computer Interaction, Vol.7, pp.1\u201345.","DOI":"10.1207\/s15327051hci0701_1"},{"key":"9_CR13","unstructured":"IBM (1989) Systems Application Architecture, Common User Access. Advanced interface design guide. Package SDK Windows \u2014 June 1989."},{"key":"9_CR14","unstructured":"ISO (1988) Information Processing Systems \u2014 Open Systems Interconnection \u2014 LOTOS \u2014 A Formal Description Technique Based on temporal Ordering of Observational Behaviour. ISO\/IS 8807, ISO Central Secretariat."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"D. Larrabeiti, J. Quemada, S. Pav\u00f3n. From LOTOS to Petri nets through Iexpansion. Proceedings of the FORTE\u201996 conference Chapman & Hall, October 1996.","DOI":"10.1007\/978-0-387-35079-0_31"},{"key":"9_CR16","unstructured":"T. Moher, V. Dirda, R. Bastide & P. Palanque A bridging framework for modelling devices, users and interfaces. In [10], Springer Verlag 1996."},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"M. Mezzanotte & F. Paterno\u2019, \u201cIncluding Time in the Notion of Interactor\u201d, Proceedings Workshop on Usability Aspect of Time, July\u2019 95, Glasgow and in SIGCHI bulletin vol 28, n\u00b02, p. 57\u201361.","DOI":"10.1145\/226650.226672"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"M. Mezzanotte & F. Paterno\u2019, \u201cUse of Task, User and Formal Models to Support Development of Multimedia Interactive Systems\u201d, Proceedings of IFIP Working Conference Domain Knowledge for Interactive System Design, pp.213\u2013226, May 1996, Chapman & Hall.","DOI":"10.1007\/978-0-387-35059-2_17"},{"key":"9_CR19","unstructured":"M. Mezzanotte & F. Paterno\u2019, \u201cVerification of Human-Computer Dialogues with an Infinite Number of States\u201d, Proceedings Workshop on Formal Aspects of the Human Computer Interface, Sheffield, September\u201996, Springer Verlag."},{"key":"9_CR20","unstructured":"P. Palanque. Modelling user-driven interfaces using the ICO formalism. PhD dissertation, University of Toulouse I, 1992 (in French)."},{"key":"9_CR21","volume-title":"HCI International\u201993","author":"P Palanque","year":"1993","unstructured":"P. Palanque, R. Bastide & L. Dourte (1993) Contextual Help for Free with the Formal Design of User Interfaces, HCI International\u201993, Elseiver, North Holland."},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"P. Palanque & R. Bastide. Petri net based design of user-driven interfaces using the interactive cooperative object formalism. In [8], p. 383\u2013401.","DOI":"10.1007\/978-3-642-87115-3_23"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"P. Palanque & R. Bastide. Task Models \u2014 System Models: a Formal bridge over the Gap. In Critical Issues in User Interface System Engineering (Benyon & Palanque Eds.) Springer Verlag 1995.","DOI":"10.1007\/978-1-4471-1001-9_4"},{"key":"9_CR24","volume-title":"Proceedings of Interact\u201995","author":"P Palanque","year":"1995","unstructured":"P. Palanque & R. Bastide (1995) Verification of an Interactive Software by Analysis of its Formal Specification. Proceedings of Interact\u201995, Norway, Chapman et Hall."},{"issue":"2","key":"9_CR25","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/226650.226666","volume":"28","author":"P Palanque","year":"1995","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. SIGCHI bulletin vol 28 n\u00b02, p. 43\u201346.","journal-title":"SIGCHI bulletin"},{"key":"9_CR26","unstructured":"P. Palanque & R. Bastide. Formal specification and verification of CSCW using the Interactive Cooperative Object formalism. People and Computer X. Proceedings of the HCF95 conference, Huddersfield, 1995, p. 213\u2013232."},{"key":"9_CR27","unstructured":"P. Palanque & R. Bastide. Performance evaluation as a tool for the formal design of interactive systems. IEEE Computational Engineering in Systems Applications (CESA\u201996) conference, Lille, July 1996, TERR Press."},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"P. Palanque, R. Bastide, C. Sibertin, L. Dourte (1993) Design of User-Driven Interfaces using Petri nets and Objects; CAISE\u201993. LNCS n\u00b0 685, Springer-Verlag.","DOI":"10.1007\/3-540-56777-1_30"},{"key":"9_CR29","unstructured":"J. Peterson. Petri nets and the modelling of systems. Prentice Hall, 1981."},{"key":"9_CR30","unstructured":"F. Paterno\u2019 & M. Mezzanotte, Analysing Matis through Interactors and ACTL, Amodeus II BRA Report, sm\/wp36."},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"F. Paterno\u2019 & M. Mezzanotte, \u201cFormal Verification of Undesired Behaviours in the CERD Case Study\u201d, Proceedings EHCI\u201995 IF1P Working Conference, Chapman&Hall Publisher, Wyoming, August 1995.","DOI":"10.1007\/978-0-387-34907-7_12"},{"key":"9_CR32","first-page":"181","volume-title":"Proceedings ACM Symposium on User Interfaces Software and Technology","author":"S Pangoli","year":"1995","unstructured":"S. Pangoli & F. Paterno\u2019, \u201cAutomatic Generation of Task-oriented Help\u201d, Proceedings ACM Symposium on User Interfaces Software and Technology, pp. 181\u2013187, ACM Press, Pittsburgh, November 1995."},{"key":"9_CR33","doi-asserted-by":"crossref","unstructured":"F. Paterno\u2019, S. Sciacchitano & J. Lowgren, \u201cA User Interface Evaluation Mapping Physical User Actions to Task-driven Formal Specifications\u201d, Proceedings DSV-IS\u201995, pp.35\u201353, Springer Verlag Publisher, Toulouse, June\u201995.","DOI":"10.1007\/978-3-7091-9437-9_4"},{"key":"9_CR34","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen. Object oriented modelling and design. Prentice Hall 1991."},{"key":"9_CR35","doi-asserted-by":"crossref","unstructured":"C. Sibertin-blanc. A client server protocol for the composition of Petri nets. In proceedings of Application and Theory of Petri nets LNCS 691, USA, 1993.","DOI":"10.1007\/3-540-56863-8_57"},{"key":"9_CR36","doi-asserted-by":"crossref","unstructured":"A. Sutcliffe & P. Faraday, \u201cDesigning Presentations in Multimedia Interfaces\u201d, Proceedings ACM CHI\u201994, pp.92\u201398.","DOI":"10.1145\/191666.191710"},{"key":"9_CR37","unstructured":"S. Shlaer, S. Mellor. Object oriented systems analysis. Modelling the world in data. Yourdon Press, 1988."},{"issue":"12","key":"9_CR38","doi-asserted-by":"publisher","first-page":"1361","DOI":"10.1109\/12.477242","volume":"44","author":"R Sisto","year":"1995","unstructured":"R. Sisto & A. Valenzano, \u201cMapping Petri nets with Inhibitor Arcs onto Basic LOTOS Behaviour Expressions\u201d, IEEE Transactions on Computers, Vol.44, N.12, December 1995, pp.1361\u20131370.","journal-title":"IEEE Transactions on Computers"}],"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_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T21:04:21Z","timestamp":1741986261000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-7491-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783211829004","9783709174913"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-7491-3_9","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1996]]}}}