Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/31947
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 
Editors: Sekerinski, Emil
Moreira, Nelma
Oliveira, José N.
Issue Date: 2020
Publisher: Springer, Cham
Source: Sekerinski, Emil; Moreira Nelma; Oliveira, Jose N. et al (Ed.). Formal Methods FM 2019, Springer, Cham, 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 engineering
Document URI: http://hdl.handle.net/1942/31947
ISBN: 978-3-030-54993-0
ISSN: 0302-9743
DOI: 10.1007/978-3-030-54994-7_36
Rights: 2020 Springer Nature Switzerland AG. Part of Springer Nature.
Category: C1
Type: Proceedings Paper
Validations: vabb 2022
Appears in Collections:Research publications

Files in This Item:
File Description SizeFormat 
479473_1_En_Print.indd.pdf
  Restricted Access
Published version4.18 MBAdobe PDFView/Open    Request a copy
author_version.pdfPeer-reviewed author version684.94 kBAdobe PDFView/Open
Show full item record

Page view(s)

46
checked on Jun 9, 2022

Google ScholarTM

Check

Altmetric


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