Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/30554
Title: Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets
Authors: Navarre David
Palanque Philippe
COPPERS, Sven 
LUYTEN, Kris 
VANACKEN, Davy 
Issue Date: 2020
Source: Lecture Notes in Computer Science, 12232, p. 503-519.
Series/Report: Lecture Notes in Computer Science
Series/Report no.: 12232
Abstract: 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.
Keywords: Feedforward;formal methods;Petri nets;interactive systems engi- neering
Document URI: http://hdl.handle.net/1942/30554
ISBN: 9783030549930
9783030549947
ISSN: 0302-9743
DOI: 10.1007/978-3-030-54994-7_36
Category: C1
Type: Journal Contribution
Appears in Collections:Research publications

Files in This Item:
File Description SizeFormat 
author_version.pdf
  Restricted Access
Peer-reviewed author version684.94 kBAdobe PDFView/Open    Request a copy
proof_peer_review.txt
  Restricted Access
Proof of peer review13.25 kBTextView/Open    Request a copy
Show full item record

Page view(s)

90
checked on Mar 29, 2022

Download(s)

30
checked on Mar 29, 2022

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.