Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets

Résumé

Feedback and feedforward are two fundamental mechanisms that supports 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. 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. This paper proposes the use of an existing formal notation for describing the behavior of interactive applications and how to exploit that formal model to extend the behavior to offer feedforward. We use a small login example to demonstrate the process and the results.
Fichier non déposé

Dates et versions

hal-03857854 , version 1 (17-11-2022)

Identifiants

Citer

David Navarre, Philippe Palanque, Sven Coppers, Kris Luyten, Davy Vanacken. Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets. 8th Formal Methods for Interactive Systems Workshop (FMIS 2019) co-located with Formal Methods 2019, Oct 2019, Porto, Portugal. pp.503-519, ⟨10.1007/978-3-030-54994-7_36⟩. ⟨hal-03857854⟩
17 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More