{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T18:40:44Z","timestamp":1771008044980,"version":"3.50.1"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319518374","type":"print"},{"value":"9783319518381","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-51838-1_17","type":"book-chapter","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T04:23:43Z","timestamp":1493007823000},"page":"465-504","source":"Crossref","is-referenced-by-count":2,"title":["Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment"],"prefix":"10.1007","author":[{"given":"Camille","family":"Fayollas","sequence":"first","affiliation":[]},{"given":"C\u00e9lia","family":"Martinie","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Barboni","sequence":"additional","affiliation":[]},{"given":"Racim","family":"Fahssi","sequence":"additional","affiliation":[]},{"given":"Arnaud","family":"Hamon","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,25]]},"reference":[{"key":"17_CR1","unstructured":"Barboni E, Bastide R, Lacaze X, Navarre D, Palanque P (2003) Petri net centered versus user centered Petri nets tools. In: 10th workshop algorithms and tools for petri nets, AWPN"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Barboni E, Conversy S, Navarre D, Palanque P (2006a) Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification. In: Interactive systems. design, specification, and verification. Springer, Berlin, pp 25\u201338","DOI":"10.1007\/978-3-540-69554-7_3"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Barboni E, Navarre D, Palanque P, Basnyat S (2006b) Addressing issues raised by the exploitation of formal specification techniques for interactive cockpit applications. In: International conference on Human-Computer interaction in aeronautics (HCI-Aero)","DOI":"10.1109\/SIES.2007.4297342"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Barboni E, Ladry JF, Navarre D, Palanque P, Winckler M (2010) Beyond modeling: an integrated environment supporting co-execution of tasks and systems models. In: Proceedings of the 2nd ACM SIGCHI symposium on engineering interactive computing systems. ACM, pp 165\u2013174","DOI":"10.1145\/1822018.1822043"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Bastide R, Navarre D, Palanque P, Schyn A, Dragicevic P (2004) A model-based approach for real-time embedded multimodal systems in military aircrafts. In: Proceedings of the 6th international conference on Multimodal interfaces. ACM, pp 243\u2013250","DOI":"10.1145\/1027933.1027974"},{"key":"17_CR6","unstructured":"Cockton G, Gram C (1996) Design principles for interactive software. Springer Science & Business Media"},{"key":"17_CR7","volume-title":"Formal methods for interactive systems","author":"A Dix","year":"1991","unstructured":"Dix A (1991) Formal methods for interactive systems, vol 16. Academic Press, London, UK"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Forbrig P, Martinie C, Palanque P, Winckler M, Fahssi R (2014) Rapid task-models development using sub-models, sub-routines and generic components. In: Human-Centered software engineering. Springer, Berlin, pp 144\u2013163","DOI":"10.1007\/978-3-662-44811-3_9"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Hamon A, Palanque P, Silva J L, Deleris Y, Barboni E (2013) Formal description of multi-touch interactions. In: Proceedings of the 5th ACM SIGCHI symposium on engineering interactive computing systems. ACM, pp 207\u2013216","DOI":"10.1145\/2494603.2480311"},{"key":"17_CR10","unstructured":"International Standard Organization (1996) DIS 9241-11: ergonomic requirements for office work with visual display terminals (VDT)\u2014Part 11 Guidance on Usability"},{"key":"17_CR11","unstructured":"Lakos CA, Keen CD (1991) LOOPN-Language for object-oriented Petri nets. Department of computer science. University of Tasmania"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Martinie C, Barboni E, Navarre D, Palanque P, Fahssi R, Poupart E, Cubero-Castan E (2014) Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft. In: Proceedings of the 2014 ACM SIGCHI symposium on engineering interactive computing systems. ACM, pp 85\u201394","DOI":"10.1145\/2607023.2607031"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Martinie C, Palanque P, Barboni E, Ragosta M (2011a) Task-model based assessment of automation levels: application to space ground segments. In: 2011 IEEE international conference on systems, man, and cybernetics (SMC).IEEE, pp 3267\u20133273","DOI":"10.1109\/ICSMC.2011.6084173"},{"key":"17_CR14","unstructured":"Martinie C, Palanque P, Barboni E, Winckler M, Ragosta M, Pasquini A, Lanzi P (2011b) Formal tasks and systems models as a tool for specifying and assessing automation designs. In: Proceedings of the 1st international conference on application and theory of automation in command and control systems. IRIT Press, pp 50\u201359"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Martinie C, Palanque P, Navarre D, Barboni E (2012) A development process for usable large scale interactive critical systems: application to satellite ground segments. In Human-Centered software engineering. Springer, Berlin, pp 72\u201393","DOI":"10.1007\/978-3-642-34347-6_5"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Martinie C, Palanque P, Ragosta M, Fahssi R (2013) Extending procedural task models by systematic explicit integration of objects, knowledge and infor-mation. In: Proceedings of the 31st European conference on cognitive ergonomics. ACM, p 23","DOI":"10.1145\/2501907.2501954"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Martinie C, Palanque P, Winckler M (2011) Structuring and composition mechanisms to address scalability issues in task models. In: Human-Computer interaction\u2013INTERACT 2011. Springer, Berlin, pp 589\u2013609","DOI":"10.1007\/978-3-642-23765-2_40"},{"issue":"6","key":"17_CR18","doi-asserted-by":"crossref","first-page":"756","DOI":"10.1109\/TSE.2009.67","volume":"35","author":"DL Moody","year":"2009","unstructured":"Moody DL (2009) The \u201cphysics\u201d of notations: toward a scientific basis for constructing visual notations in software engineering. IEEE Trans Softw Eng 35(6):756\u2013779","journal-title":"IEEE Trans Softw Eng"},{"issue":"4","key":"17_CR19","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/1614390.1614393","volume":"16","author":"D Navarre","year":"2009","unstructured":"Navarre D, Palanque P, Ladry JF, Barboni E (2009) ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. ACM Trans Comput-Hum Interact (TOCHI) 16(4):18","journal-title":"ACM Trans Comput-Hum Interact (TOCHI)"},{"key":"17_CR20","unstructured":"Norman DA (2013) The design of everyday things: revised and expanded edition. Basic books"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Palanque P, Bernhaupt R, Navarre D, Ould M, Winckler M (2006) Supporting usability evaluation of multimodal man-machine interfaces for space ground segment applications using Petri net based formal specification. In: Ninth international conference on space operations, Rome, Italy","DOI":"10.2514\/6.2006-5657"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Palanque P, Ladry JF, Navarre D, Barboni E (2009) High-Fidelity prototyping of interactive systems can be formal too. In: Human-Computer interaction. New Trends. Springer, Berlin, pp. 667\u2013676","DOI":"10.1007\/978-3-642-02574-7_75"},{"key":"17_CR23","volume-title":"Model-Based design and evaluation of interactive application","author":"F Patern\u00f2","year":"1999","unstructured":"Patern\u00f2 F (1999) Model-Based design and evaluation of interactive application. Springer, Berlin"},{"key":"17_CR24","first-page":"510","volume-title":"Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends","author":"A Pnueli","year":"1986","unstructured":"Pnueli A (1986) Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends. Springer, Berlin, pp 510\u2013584"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"Reisig W (2013) Understanding Petri Nets\u2014Modeling techniques, analysis methods, case studies. Springer","DOI":"10.1007\/978-3-642-33278-4"},{"key":"17_CR26","unstructured":"Silva JL, Fayollas C, Hamon A, Martinie C, Barboni E (2014) Analysis of WIMP and post WIMP interactive systems based on formal specification. Electron Commun EASST 69"},{"key":"17_CR27","doi-asserted-by":"crossref","unstructured":"Valk R (1998) Petri nets as token objects. In: Application and theory of Petri nets 1998. Springer, Berlin, pp 1\u201324","DOI":"10.1007\/3-540-69108-1_1"},{"key":"17_CR28","unstructured":"Wilson S, Johnson P, Kelly C, Cunningham J, Markopoulos P (1993) Beyond hacking: a model based approach to user interface design. People and computers. University Press, BCS HCI, pp 217\u2013217"}],"container-title":["Human\u2013Computer Interaction Series","The Handbook of Formal Methods in Human-Computer Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51838-1_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,21]],"date-time":"2019-09-21T14:08:45Z","timestamp":1569074925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51838-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319518374","9783319518381"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51838-1_17","relation":{},"ISSN":["1571-5035"],"issn-type":[{"value":"1571-5035","type":"print"}],"subject":[],"published":{"date-parts":[[2017]]}}}