{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T06:34:43Z","timestamp":1740119683769,"version":"3.37.3"},"reference-count":57,"publisher":"Oxford University Press (OUP)","issue":"1","license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"name":"Research Foundation\u2014Flanders","award":["G0E7317N"],"award-info":[{"award-number":["G0E7317N"]}]},{"DOI":"10.13039\/13039\/501100011878","name":"Flemish Government","doi-asserted-by":"publisher","id":[{"id":"10.13039\/13039\/501100011878","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,1,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Feedback and feedforward are two fundamental mechanisms that support users\u2019 activities while interacting with computing devices. While feedback can be easily solved by providing information to the users following the triggering of an action, feedforward is much more complex as it must provide information before an action is performed. For interactive applications where making a mistake has more impact than just reduced user comfort, correct feedforward is an essential step toward correctly informed, and thus safe, usage. Our approach, Fortunettes, is a generic mechanism providing a systematic way of designing feedforward addressing both action and presentation problems. Including a feedforward mechanism significantly increases the complexity of the interactive application hardening developers\u2019 tasks to detect and correct defects. We build upon an existing formal notation based on Petri Nets for describing the behavior of interactive applications and present an approach that allows for adding correct and consistent feedforward.<\/jats:p>","DOI":"10.1093\/iwcomp\/iwab014","type":"journal-article","created":{"date-parts":[[2021,5,19]],"date-time":"2021-05-19T12:19:02Z","timestamp":1621426742000},"page":"73-91","source":"Crossref","is-referenced-by-count":1,"title":["Model-based Engineering of Feedforward Usability Function for GUI Widgets"],"prefix":"10.1093","volume":"33","author":[{"given":"David","family":"Navarre","sequence":"first","affiliation":[{"name":"ICS-IRIT, Universit\u00e9 Toulouse Capitole, 2 rue du Doyen Gabriel Marty, 31042 Toulouse Cedex 9, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[{"name":"ICS-IRIT, Universit\u00e9 Paul Sabatier - Toulouse III, 118, route de Narbonne, 31062 Toulouse Cedex 9, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Coppers","sequence":"additional","affiliation":[{"name":"Expertise Centre for Digital Media, Hasselt University\u2014tUL\u2014Flanders Make, Campus Diepenbeek, Wetenschapspark 2, Diepenbeek, BE 3590, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kris","family":"Luyten","sequence":"additional","affiliation":[{"name":"Expertise Centre for Digital Media, Hasselt University\u2014tUL\u2014Flanders Make, Campus Diepenbeek, Wetenschapspark 2, Diepenbeek, BE 3590, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davy","family":"Vanacken","sequence":"additional","affiliation":[{"name":"Expertise Centre for Digital Media, Hasselt University\u2014tUL\u2014Flanders Make, Campus Diepenbeek, Wetenschapspark 2, Diepenbeek, BE 3590, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2021,5,18]]},"reference":[{"key":"2021070808101337800_ref1","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/1085777.1085780","article-title":"Towards improving trust in context-aware systems by displaying system confidence","volume-title":"Proc. 7th int. conf. on Human computer interaction with mobile devices & services (MobileHCI '05)","author":"Antifakos","year":"2005"},{"volume-title":"Cockpit Display System Interfaces to User Systems","year":"2013","author":"ARINC 661","key":"2021070808101337800_ref2"},{"key":"2021070808101337800_ref3","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-540-72037-9_4","article-title":"PersonisAD: Distributed, Active, Scrutable Model Framework for Context-Aware Services","volume-title":"Pervasive Computing","author":"Assad","year":"2007"},{"key":"2021070808101337800_ref4","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","article-title":"Basic concepts and taxonomy of dependable and secure computing","volume":"1","author":"Avi\u017eienis","year":"2004","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"2021070808101337800_ref5","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-59293-8_207","article-title":"Polynomial algorithms for the synthesis of bounded nets","volume-title":"TAPSOFT '95: theory and practice of software development. CAAP 1995","author":"Badouel","year":"1995"},{"key":"2021070808101337800_ref6","first-page":"25","article-title":"Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification","volume-title":"13th conf. on design spec. and verif. of interactive systems (DSVIS 2006)","author":"Barboni","year":"2006"},{"volume-title":"Software Architecture in Practice","year":"2020","author":"Bass","key":"2021070808101337800_ref7"},{"key":"2021070808101337800_ref8","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1109\/ICSMC.1993.385025","article-title":"Cooperative objects: a concurrent, petri-net based, object-oriented language","author":"Bastide","year":"1993","journal-title":"Proc. of IEEE Systems Man and Cybernetics Conference - SMC"},{"key":"2021070808101337800_ref9","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1006\/jvlc.1999.0127","article-title":"Visual and Formal glue between application and interaction","volume":"10","author":"Bastide","year":"1999","journal-title":"J. Vis. Lang. Comput."},{"key":"2021070808101337800_ref10","doi-asserted-by":"crossref","first-page":"516","DOI":"10.1145\/506443.506457","article-title":"A model-based tool for interactive prototyping of highly interactive applications","volume-title":"CHI \u201802 extended abstracts on human factors in computing systems","author":"Bastide","year":"2002"},{"key":"2021070808101337800_ref11","doi-asserted-by":"crossref","DOI":"10.1145\/1027933.1027974","article-title":"Model-based approach for real-time embedded multimodal systems in military aircrafts","volume-title":"Sixth int. conf. multimodal interfaces (ICMI'04) October 14\u201315, 2004","author":"Bastide","year":"2004"},{"key":"2021070808101337800_ref12","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/1449715.1449724","article-title":"OctoPocus: a dynamic guide for learning gesture-based command sets","volume-title":"Proc. 21st annual ACM symposium on user interface software and technology (UIST '08)","author":"Bau","year":"2008"},{"key":"2021070808101337800_ref13","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1207\/S15327051HCI16234_05","article-title":"Intelligibility and accountability: human considerations in context-aware systems","volume":"16","author":"Bellotti","year":"2001","journal-title":"Hum. Comput. Interact."},{"key":"2021070808101337800_ref14","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1145\/196699.196721","article-title":"A selective undo mechanism for graphical user interfaces based on command objects","volume":"1","author":"Berlage","year":"1994","journal-title":"ACM Trans. Comput. Hum. Interact"},{"volume-title":"Pattern-Oriented Software Architecture","year":"1996","author":"Buschmann","key":"2021070808101337800_ref15"},{"key":"2021070808101337800_ref16","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1109\/STEP.2005.13","article-title":"How crosscutting concerns evolve in JHotDraw","volume-title":"Proc. 13th IEEE int. workshop on software technology and engineering practice (STEP '05)","author":"Canfora","year":"2005"},{"key":"2021070808101337800_ref17","doi-asserted-by":"crossref","DOI":"10.1145\/3331162","article-title":"Fortunettes: feedforward about the future state of GUI widgets","volume-title":"Proc. ACM on Human-Computer Interaction EICS","author":"Coppers","year":"2019"},{"key":"2021070808101337800_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-05909-5_7","article-title":"MIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems","author":"Cronel","year":"2019","journal-title":"Human-Centered Software Engineering. HCSE 2018. Lecture Notes in Computer Science"},{"key":"2021070808101337800_ref19","first-page":"I","volume-title":"Petri Nets and Grafcet: Tools for Modeling Discrete Event Systems","author":"David","year":"1992"},{"key":"2021070808101337800_ref20","first-page":"295","article-title":"Decidability problems of a basic class of object nets","volume":"79","author":"Dietze","year":"2007","journal-title":"Fundam. Inform."},{"key":"2021070808101337800_ref21","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1145\/778712.778752","article-title":"But how, Donald, tell us how?: on the creation of meaning in interaction design through feedforward and inherent feedback","volume-title":"Conf. designing interactive systems: processes, practices, methods, and techniques (DIS '02)","author":"Djajadiningrat","year":"2002"},{"key":"2021070808101337800_ref22","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-5041-2896-4_20","article-title":"Whizz\u2019ed: a visual environment for building highly interactive software","volume-title":"Human\u2013computer interaction: interact '95","author":"Esteban","year":"1995"},{"volume-title":"Applications and theory of Petri nets 2005. ICATPN 2005","year":"2005","author":"Evangelista","key":"2021070808101337800_ref23"},{"key":"2021070808101337800_ref24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-51838-1_20","article-title":"Dealing with Faults During Operations: Beyond Classical Use of Formal Methods","volume-title":"The Handbook of Formal Methods in Human-Computer Interaction","author":"Fayollas","year":"2017"},{"key":"2021070808101337800_ref25","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1145\/1054972.1055012","article-title":"The bubble cursor: enhancing target acquisition by dynamic resizing of the cursor's activation area","volume-title":"Proc. SIGCHI conf. human factors in computing systems (CHI '05)","author":"Grossman","year":"2005"},{"key":"2021070808101337800_ref26","first-page":"1515","article-title":"ToolClips: an investigation of contextual video assistance for functionality understanding","author":"Grossman","year":"2010"},{"key":"2021070808101337800_ref27","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1145\/2494603.2480311","article-title":"Formal description of multi-touch interactions","volume-title":"5th ACM SIGCHI symposium on engineering interactive computing systems (EICS '13)","author":"Hamon","year":"2013"},{"key":"2021070808101337800_ref28","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1145\/1054972.1055047","article-title":"Stencils-based tutorials: design and evaluation","volume-title":"Proc. SIGCHI conf. human factors in computing systems (CHI '05)","author":"Kelleher","year":"2005"},{"key":"2021070808101337800_ref29","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1145\/259963.260376","article-title":"User learning and performance with marking menus","volume-title":"Conf. human factors in computing systems (CHI '94)","author":"Kurtenbach","year":"1994"},{"key":"2021070808101337800_ref30","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1145\/2807442.2807482","article-title":"These aren\u2019t the commands you\u2019re looking for: addressing false feedforward in feature-rich software","volume-title":"Proc. 28th annual ACM symposium on user interface software & technology (UIST '15)","author":"Lafreniere","year":"2015"},{"key":"2021070808101337800_ref31","doi-asserted-by":"crossref","first-page":"1791","DOI":"10.1163\/016918610X527167","article-title":"Strategy on safety function implementation: case study involving risk assessment and functional safety analysis for a power assist system","volume":"24","author":"Lee","year":"2010","journal-title":"Adv. Robot."},{"key":"2021070808101337800_ref32","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/1864349.1864353","article-title":"Toolkit to support intelligibility in context-aware applications","volume-title":"Proc. 12th ACM int. conf. on ubiquitous computing (UbiComp '10)","author":"Lim","year":"2010"},{"key":"2021070808101337800_ref33","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/978-3-540-39929-2_14","article-title":"Derivation of a dialog model from a task model by activity chain extraction","volume-title":"Interactive systems. Design, specification, and verification","author":"Luyten","year":"2003"},{"key":"2021070808101337800_ref34","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/2774225.2774845","article-title":"A generic tool-supported framework for coupling task models and interactive applications","volume-title":"Proc. 7th ACM SIGCHI symposium on engineering interactive computing systems (EICS '15)","author":"Martinie","year":"2015"},{"key":"2021070808101337800_ref35","doi-asserted-by":"crossref","first-page":"1905","DOI":"10.1080\/00140139408964957","article-title":"Trust in automation: part I. Theoretical issues in the study of trust and human intervention in automated systems","volume":"37","author":"Muir","year":"1994","journal-title":"Ergonomics"},{"key":"2021070808101337800_ref36","doi-asserted-by":"crossref","DOI":"10.1109\/5.24143","article-title":"Petri nets: properties, analysis and applications","volume":"77","author":"Murata","year":"1989","journal-title":"Proc. IEEE"},{"key":"2021070808101337800_ref37","doi-asserted-by":"crossref","first-page":"18:1","DOI":"10.1145\/1614390.1614393","article-title":"A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability","volume":"16","author":"Navarre","year":"2009","journal-title":"ACM Trans. Comput. Hum. Interact."},{"volume-title":"The Psychology Of Everyday Things","year":"1988","author":"Norman","key":"2021070808101337800_ref38"},{"key":"2021070808101337800_ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-05909-5_7","article-title":"State of the Art on Formal Methods for Interactive Systems","volume-title":"The Handbook of Formal Methods in Human-Computer Interaction, Human--Computer Interaction Series","author":"Oliveira Prates","year":"2017"},{"key":"2021070808101337800_ref41","first-page":"615","article-title":"Contextual help for free with formal dialogue design","author":"Palanque","year":"1993","journal-title":"Proc. HCI int. 95"},{"key":"2021070808101337800_ref42","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-56777-1_30","article-title":"Design of user-driven interfaces using Petri nets and objects","volume-title":"Advanced information systems engineering. CAiSE 1993","author":"Palanque","year":"1993"},{"key":"2021070808101337800_ref43","first-page":"189","article-title":"Validating interactive system design through the verification of formal task and system models","volume-title":"IFIP WG 2.7, working conf. engineering HCI","author":"Palanque","year":"1995"},{"key":"2021070808101337800_ref44","doi-asserted-by":"crossref","DOI":"10.1007\/1-4020-8153-7_8","article-title":"Task patterns for taking into account in an efficient and systematic way both standard and erroneous user behaviours","volume-title":"Human error, safety and systems development. IFIP International Federation for Information Processing","author":"Palanque","year":"2004"},{"key":"2021070808101337800_ref45","doi-asserted-by":"publisher","first-page":"2006","DOI":"10.2514\/6.2006-5657","article-title":"Supporting usability evaluation of multimodal man-machine interfaces for space ground segment applications using Petri net based formal specification","author":"Palanque","year":"2006","journal-title":"Ninth int. conf. space operations, Italy, June 18\u201322"},{"key":"2021070808101337800_ref46","article-title":"High-fidelity prototyping of interactive systems can be formal too human-computer interaction","volume-title":"New trends: 13th int. conf., HCI International 2009, San Diego, CA, USA, July 19\u201324, 2009, Proceedings, Part I","author":"Palanque","year":"2009"},{"key":"2021070808101337800_ref47","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1145\/1996461.1996490","article-title":"A model-based approach for supporting engineering usability evaluation of interaction techniques","volume-title":"3rd ACM SIGCHI symposium on engineering interactive computing systems (EICS '11)","author":"Palanque","year":"2011"},{"key":"2021070808101337800_ref48","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/s101110200016","article-title":"Theory of safety related violation of system barriers","volume":"4","author":"Polet","year":"2002","journal-title":"Cogn. Technol. Work"},{"volume-title":"Human Error","year":"2012","author":"Reason","key":"2021070808101337800_ref49"},{"key":"2021070808101337800_ref50","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-22668-2_28","article-title":"Gestu-Wan - An Intelligible Mid-Air Gesture Guidance System for Walk-up-and-Use Displays","volume-title":"Human-Computer Interaction -- INTERACT 2015. Lecture Notes in Computer Science, Vol. 9297","author":"Rovelo","year":"2015"},{"key":"2021070808101337800_ref52","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1145\/2047196.2047227","article-title":"Monte Carlo methods for managing interactive state, action and feedback under uncertainty","author":"Schwarz","year":"2011","journal-title":"Proc. of the 24th annual ACM symposium on User interface software and technology (UIST '11)"},{"key":"2021070808101337800_ref53","article-title":"Analysis of WIMP and post WIMP interactive systems based on formal specification","volume":"69","author":"Silva","year":"2013","journal-title":"ECEASST"},{"key":"2021070808101337800_ref54","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1145\/571985.571996","article-title":"Side views: persistent, on-demand previews for open-ended tasks","volume-title":"Proc. 15th annual ACM symposium on user interface software and technology (UIST '02),","author":"Terry","year":"2002"},{"key":"2021070808101337800_ref55","article-title":"TouchGhosts: guides for improving visibility of multi-touch interaction","volume-title":"CHI'09 multitouch and surface computing workshop, 4 April 2009","author":"Vanacken","year":"2009"},{"key":"2021070808101337800_ref56","first-page":"1931","article-title":"Crossing the bridge over Norman's Gulf of Execution: revealing feedforward's true identity","volume-title":"SIGCHI conf. human factors in computing systems (CHI '13)","author":"Vermeulen","year":"2013"},{"key":"2021070808101337800_ref58","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1145\/355598.362773","article-title":"Transition network grammars for natural language analysis","volume":"13","author":"Woods","year":"1970","journal-title":"Commun. ACM"},{"key":"2021070808101337800_ref59","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.comnet.2015.05.005","article-title":"Enabling security functions with SDN","volume":"85","author":"Yoon","year":"2015","journal-title":"Comput. Netw."},{"key":"2021070808101337800_ref60","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/TOOLS.2000.885898","article-title":"Implementing undo\/redo in PDF studio using object-oriented design pattern","volume-title":"Proc. 36th int. conf. technology of object-oriented languages and systems (TOOLS-Asia'00) (TOOLS '00)","author":"Zhang","year":"2000"}],"container-title":["Interacting with Computers"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/iwc\/article-pdf\/33\/1\/73\/38495840\/iwab014.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/iwc\/article-pdf\/33\/1\/73\/38495840\/iwab014.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,3]],"date-time":"2023-11-03T22:25:05Z","timestamp":1699050305000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/iwc\/article\/33\/1\/73\/6277976"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1]]},"references-count":57,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2021,5,18]]},"published-print":{"date-parts":[[2021,1,12]]}},"URL":"https:\/\/doi.org\/10.1093\/iwcomp\/iwab014","relation":{},"ISSN":["0953-5438","1873-7951"],"issn-type":[{"type":"print","value":"0953-5438"},{"type":"electronic","value":"1873-7951"}],"subject":[],"published-other":{"date-parts":[[2021,1]]},"published":{"date-parts":[[2021,1]]}}}