Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/34124
Title: | Model-based Engineering of Feedforward Usability Function for GUI Widgets | Authors: | Navarre, Davis Palanque, Philippe COPPERS, Sven LUYTEN, Kris VANACKEN, Davy |
Issue Date: | 2021 | Publisher: | Source: | INTERACTING WITH COMPUTERS, 33 (1) , p. 73 -91 | Abstract: | Feedback and feedforward are two fundamental mechanisms that support users' 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' 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. RESEARCH HIGHLIGHTS • This paper proposes a formal approach for the engineering of Fortunettes, which is a graphical design of feedforward added to user interface widgets. • As adding Fortunettes to user interface widgets is a complex and cumbersome task, this paper presents a formal description technique, a process and a CASE tool to support the addition of Fortunettes on an interactive application. • The paper demonstrates that adding usability functions (such as feedforward) adds a lot of code to the interactive application thus making the application more vulnerable to software faults introduced at development time. The proposed approach compensates this by proposing a 3-fold engineering technique:-a reusable pattern model for feedforward,-the expression of this pattern using a formal description technique,-a process for adding the feedforward pattern to an existing interactive application | Keywords: | feedforward;formal methods;Petri nets;interactive systems engineering | Document URI: | http://hdl.handle.net/1942/34124 | ISSN: | 0953-5438 | e-ISSN: | 1873-7951 | DOI: | 10.1093/iwcomp/iwab014 | ISI #: | 000670949200006 | Category: | A1 | Type: | Journal Contribution | Validations: | ecoom 2022 |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
iwab014.pdf Restricted Access | Early view | 1.54 MB | Adobe PDF | View/Open Request a copy |
author_version.pdf | Peer-reviewed author version | 1.41 MB | Adobe PDF | View/Open |
Page view(s)
76
checked on May 20, 2022
Download(s)
42
checked on May 20, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.