{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,20]],"date-time":"2025-10-20T09:59:14Z","timestamp":1760954354582},"reference-count":33,"publisher":"Oxford University Press (OUP)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Interacting with Computers"],"published-print":{"date-parts":[[1997,11]]},"DOI":"10.1016\/s0953-5438(97)00013-1","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T18:27:12Z","timestamp":1027621632000},"page":"129-153","source":"Crossref","is-referenced-by-count":31,"title":["Synergistic modelling of tasks, users and systems using formal specification techniques"],"prefix":"10.1093","volume":"9","author":[{"given":"Philippe","family":"Palanque","sequence":"first","affiliation":[]},{"given":"R\u00e9mi","family":"Bastide","sequence":"additional","affiliation":[]}],"member":"286","reference":[{"key":"10.1016\/S0953-5438(97)00013-1_BIB1","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: 3rd EUROGRAPHICS workshop on `design, specification and verification of Interactive systems', Springer, 1996, pp. 92\u2013105.","DOI":"10.1007\/978-3-7091-7491-3_5"},{"key":"10.1016\/S0953-5438(97)00013-1_BIB2","doi-asserted-by":"crossref","unstructured":"R. Bastide, P. Palanque, A Petri net based environment for the design of event-driven interfaces, in: Proceedings of the 16th International Conference on Petri nets, Torino, Italy, Lecture Notes in Computer Science n\u00b0935, Springer, pp. 66\u201383, 1995.","DOI":"10.1007\/3-540-60029-9_34"},{"issue":"2","key":"10.1016\/S0953-5438(97)00013-1_BIB3","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1016\/0953-5438(92)90008-4","article-title":"Task analysis and system design: the discipline of date","volume":"4","author":"Benyon","year":"1992","journal-title":"Interacting with Computers"},{"issue":"1","key":"10.1016\/S0953-5438(97)00013-1_BIB4","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1016\/0953-5438(92)90015-8","article-title":"The role of task analysis in systems design","volume":"4","author":"Benyon","year":"1992","journal-title":"Interacting with Computers"},{"key":"10.1016\/S0953-5438(97)00013-1_BIB5","doi-asserted-by":"crossref","unstructured":"D. Benyon, A Data-Centered Framework for User-Centred Design. Proc. Interact'95, Chapman and Hall, 1995, pp. 197\u2013202.","DOI":"10.1007\/978-1-5041-2896-4_33"},{"key":"10.1016\/S0953-5438(97)00013-1_BIB6","doi-asserted-by":"crossref","unstructured":"T. B\u00f6sser, Learning in Human\u2013Computer Interaction, Springer, 1987.","DOI":"10.1007\/978-3-642-83233-8"},{"key":"10.1016\/S0953-5438(97)00013-1_BIB8","doi-asserted-by":"crossref","unstructured":"J.C. Campos, M.D. Harrison, Formally verifying interactive systems: a review, Proceedings of DSV-IS'97, Springer, 1997.","DOI":"10.1007\/978-3-7091-6878-3_8"},{"key":"10.1016\/S0953-5438(97)00013-1_BIB9","unstructured":"S.K. Card, T.P. Moran, A. Newell, The Psychology of Human\u2013Computer Interaction, Lawrence Elbaum, 1983."},{"key":"10.1016\/S0953-5438(97)00013-1_BIB10","unstructured":"D. Diaper, Task Analysis for Human\u2013Computer Interaction, Ellis Horwood, Chichester, 1989."},{"issue":"1","key":"10.1016\/S0953-5438(97)00013-1_BIB11","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1016\/0953-5438(92)90016-9","article-title":"Task analysis and systems analysis for software development","volume":"4","author":"Diaper","year":"1992","journal-title":"Interacting with Computers"},{"key":"10.1016\/S0953-5438(97)00013-1_BIB12","unstructured":"D. Diaper, Simulation: a stepping stone between requirements and design, in: Simulation and the User Interface, Taylor and Francis, 1990, pp. 59\u201372."},{"key":"10.1016\/S0953-5438(97)00013-1_BIB13","unstructured":"A. Dix, Formal Methods for Interactive Systems, Academic Press, 1991."},{"key":"10.1016\/S0953-5438(97)00013-1_BIB14","doi-asserted-by":"crossref","unstructured":"F. Feldbrugge, K. Jensen, Petri net tool overview, in: Advances in Petri Nets 1986, Part I and II, LNCS 254 and 255, Springer, 1987, pp. 20\u201361.","DOI":"10.1007\/3-540-17906-2_21"},{"key":"10.1016\/S0953-5438(97)00013-1_BIB15","doi-asserted-by":"crossref","unstructured":"J.D. Foley, P. Sukavirya, A second generation user interface design environment: the model and the runtime architecture, in: Proc. INTERCHI'93, Amsterdam, 1993, pp. 375\u2013382.","DOI":"10.1145\/169059.169299"},{"key":"10.1016\/S0953-5438(97)00013-1_BIB16","doi-asserted-by":"crossref","unstructured":"H.J. Genrich, Predicate\/transition nets, in: K. Jensen and G. Rozenberg (Eds.), High-Level Petri Nets: Theory and Application. Springer, Berlin, 1991, pp. 3\u201343.","DOI":"10.1007\/978-3-642-84524-6_1"},{"key":"10.1016\/S0953-5438(97)00013-1_BIB17","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1145\/3166.3170","article-title":"Designing for usability: key principles and what designers think","volume":"28","author":"Gould","year":"1985","journal-title":"Communications of the ACM"},{"issue":"3","key":"10.1016\/S0953-5438(97)00013-1_BIB18","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1207\/s15327051hci0803_3","article-title":"Project Ernestine: Validating a GOMS analysis for predicting and explaining real-world task performance","volume":"8","author":"Gray","year":"1993","journal-title":"Human-Computer Interaction"},{"key":"10.1016\/S0953-5438(97)00013-1_BIB21","unstructured":"D. Hix, H.R. Hartson, Developing User Interfaces: Ensuring Usability Through Product and Process, Wiley Professional Computing, 1993."},{"key":"10.1016\/S0953-5438(97)00013-1_BIB22","doi-asserted-by":"crossref","unstructured":"B. John, D. Kieras, The GOMS family of user interface analysis techniques: comparison and contrast, ACM Transactions on Computer Human Interaction 3(4) 320\u2013351.","DOI":"10.1145\/235833.236054"},{"key":"10.1016\/S0953-5438(97)00013-1_BIB23","doi-asserted-by":"crossref","unstructured":"B. John, D. Kieras, Using GOMS for user interface design and evaluation: which technique, ACM Transactions on Computer Human Interaction 3(4) 287\u2013319.","DOI":"10.1145\/235833.236050"},{"key":"10.1016\/S0953-5438(97)00013-1_BIB26","doi-asserted-by":"crossref","unstructured":"P. Palanque, R. Bastide, Formal specification, design and verification of interactive systems using the Interactive Cooperative Object formalism, Eurographics workshop DSV-IS'94, pp. 383\u2013401, Springer, 1994.","DOI":"10.1007\/978-3-642-87115-3_23"},{"key":"10.1016\/S0953-5438(97)00013-1_BIB27","unstructured":"P. Palanque, R. Bastide, Formal specification and verification of CSCW using the interactive cooperative object formalisms, Proceedings of HCI'95, People and Computers X, Huddersfield, UK, pp. 213\u2013232, Cambridge University Press, 1995."},{"key":"10.1016\/S0953-5438(97)00013-1_BIB28","doi-asserted-by":"crossref","unstructured":"P. Palanque, R. Bastide, Time modelling in Petri nets for the design of Interactive Systems, GIST workshop on Time, Glasgow, July 1995, Also in SIGCHI Bulletin, Vol. 28, No. 2, pp. 43\u201347, ACM Press, 1995.","DOI":"10.1145\/226650.226666"},{"key":"10.1016\/S0953-5438(97)00013-1_BIB29","doi-asserted-by":"crossref","unstructured":"P. Palanque, R. Bastide, Verification of an interactive software by analysis of its formal specification, Proceedings of Interact'95, Norway, pp. 191\u2013196, Chapman and Hall, 1995.","DOI":"10.1007\/978-1-5041-2896-4_32"},{"key":"10.1016\/S0953-5438(97)00013-1_BIB30","unstructured":"P. Palanque, R. Bastide, Performance evaluation as a tool for the formal design of interactive systems, Proceeding of CESA'96 IEEE SMC Conference, Lille, France, 9\u201312 July, pp. 328\u2013333, IEEE Press, 1996."},{"key":"10.1016\/S0953-5438(97)00013-1_BIB31","doi-asserted-by":"crossref","unstructured":"P. Palanque, R. Bastide, F. Paterno, Formal specification as a tool for objective assessment of safety-critical interactive systems, Interact'97 Conference, 14\u201318 July 1997, Chapman and Hall.","DOI":"10.1007\/978-0-387-35175-9_53"},{"key":"10.1016\/S0953-5438(97)00013-1_BIB32","doi-asserted-by":"crossref","unstructured":"P. Palanque, R. Bastide, V. Seng\u00e8s, Validating interactive system design through the verification of formal task model and system models, Proceeding of 6th EHCI'95, Grand Targhee Resort, August, Chapman and Hall, 1995.","DOI":"10.1007\/978-0-387-34907-7_11"},{"key":"10.1016\/S0953-5438(97)00013-1_BIB33","doi-asserted-by":"crossref","unstructured":"P. Palanque, R. Bastide, C. Sibertin, L. Dourte, Design of user-driven interfaces using petri nets and objects; CAISE'93. Lecture Notes in Computer Science n\u00ba 685, Springer, 1993.","DOI":"10.1007\/3-540-56777-1_30"},{"key":"10.1016\/S0953-5438(97)00013-1_BIB34","unstructured":"F. Patern\u00f2, M. Mezzanotte, Formal verification of undesired behaviours in the CERD case study, Proceeding of 6th EHCI'95, Grand Targhee Resort, August, Chapman and Hall, 1995."},{"key":"10.1016\/S0953-5438(97)00013-1_BIB35","doi-asserted-by":"crossref","unstructured":"C. Roast, J. Siddiqi, Using the template model to analyse directory visualisation, This volume, 1997.","DOI":"10.1016\/S0953-5438(97)00014-3"},{"key":"10.1016\/S0953-5438(97)00013-1_BIB36","unstructured":"J. Rumbaugh, Object-Oriented Modeling and Design, Prentice Hall, 1991."},{"key":"10.1016\/S0953-5438(97)00013-1_BIB37","unstructured":"A. Shepherd, Analysis and training in information technology tasks, in: Diaper, 1989, pp. 15\u201354."},{"key":"10.1016\/S0953-5438(97)00013-1_BIB38","unstructured":"J. Sifakis, Use of Petri nets For Performance Evaluation, In Advanced course on General Net Theory of Processes and Systems, Hamburg, October 1979."}],"container-title":["Interacting with Computers"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/iwc\/article-pdf\/9\/2\/129\/2071127\/iwc9-0129.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T20:35:53Z","timestamp":1681245353000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/iwc\/article-lookup\/doi\/10.1016\/S0953-5438(97)00013-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,11]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,11]]}},"alternative-id":["S0953543897000131"],"URL":"https:\/\/doi.org\/10.1016\/s0953-5438(97)00013-1","relation":{},"ISSN":["0953-5438"],"issn-type":[{"value":"0953-5438","type":"print"}],"subject":[],"published":{"date-parts":[[1997,11]]}}}