Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Formal Methods. FM 2019 International Workshops (FM 2019)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 12232))

Included in the following conference series:

  • 624 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    The computing of the results in those tables was done using Petshop tool and are not presented due to space constraints. How to make such computing is presented in [7].

References

  1. ARINC 661. Cockpit Display System Interfaces to User Systems. ARINC Specification 661-5. AEEC (2013)

    Google Scholar 

  2. Barboni, E., Conversy, S., Navarre, D., Palanque, P.: Model-based engineering of widgets, user applications and servers compliant with ARINC 661 Specification. In: Doherty, G., Blandford, A. (eds.) DSV-IS 2006. LNCS, vol. 4323, pp. 25–38. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-69554-7_3

    Chapter  Google Scholar 

  3. Bastide, R., Navarre, D., Palanque, P., Schyn, A., Dragicevic, P.: A Model-based approach for real-time embedded multimodal systems in military aircrafts. In: Sixth International Conference on Multimodal Interfaces (ICMI 2004) 14–15 October 2004. ACM Press, New York (2004)

    Google Scholar 

  4. Bastide R., Sibertin-Blanc C., Palanque P. Cooperative objects: A concurrent, petri-net based, object-oriented language. IEEE Systems Man and Cybernetics Conference-SMC 1993, 286–291

    Google Scholar 

  5. Bastide, R., Navarre, D., Palanque, P.: A model-based tool for interactive prototyping of highly interactive applications. In: CHI 2002 Extended Abstracts on Human Factors in Computing Systems, pp. 516–517. ACM, New York (2002)

    Google Scholar 

  6. Coppers, S., Luyten, K., Vanacken, D., Navarre, D., Palanque, P., Gris, C.: Fortunettes: feedforward about the future state of GUI widgets. In: Proceedings of the ACM on Human-Computer Interaction, vol 3. ACM SIGCHI (2019)

    Google Scholar 

  7. David, R., Alla, H.: Petri Nets and Grafcet - Tools for Modelling Discrete Event Systems, pp. I–XII, 1–339. Prentice Hall, Upper Saddle River (1992). ISBN 978-0-13-327537-7

    Google Scholar 

  8. Dietze, R., Kudlek, M., Kummer, O.: Decidability problems of a basic class of object nets. Fundam. Inform. 79(3–4), 295–302 (2007)

    MathSciNet  MATH  Google Scholar 

  9. Djajadiningrat, T., Overbeeke, K., Wensveen, S.: But how, Donald, tell us how? On the creation of meaning in interaction design through feedforward and inherent feedback. In: Conference on Designing interactive systems: processes, practices, methods, and techniques (DIS 2002), pp. 285–291. ACM, New York (2002)

    Google Scholar 

  10. Grossman, T., Balakrishnan, R.: The bubble cursor: enhancing target acquisition by dynamic resizing of the cursor’s activation area. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI 2005), pp. 281–290. ACM, New York (2005)

    Google Scholar 

  11. Kurtenbach, G., Buxton, W.: User learning and performance with marking menus. In: Conference on Human Factors in Computing Systems (CHI 1994), pp. 258–264. ACM, New York (21994)

    Google Scholar 

  12. Lee, S., Yamada, Y.: Strategy on safety function implementation: case study involving risk assessment and functional safety analysis for a power assist system. Adv. Robot. 24(13), 1791–1811 (2010)

    Article  Google Scholar 

  13. Cronel, M., Dumas, B., Palanque, P., Canny, A.: MIODMIT: a generic architecture for dynamic multimodal interactive systems. In: Bogdan, C., Kuusinen, K., Lárusdóttir, M.K., Palanque, P., Winckler, M. (eds.) HCSE 2018. LNCS, vol. 11262, pp. 109–129. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-05909-5_7

    Chapter  Google Scholar 

  14. Murata, T.: Petri nets: properties, analysis and applications. In: Proceedings of the IEEE, vol. 77, no. 4, April 1989 (1989)

    Google Scholar 

  15. Navarre, D., Palanque, P., Ladry, J.-F., Barboni, E.: ICOs: a model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. ACM Trans. Comput. Hum. Interact. 16(4), 18:1–18:56 (2009)

    Article  Google Scholar 

  16. Norman, D.A.: The Psychology Of Everyday Things. Basic Books, New York (1988)

    Google Scholar 

  17. Palanque, P., Bastide, R., Sengès, V.: Validating interactive system design through the verification of formal task and system models. EHCI 1995. IAICT, pp. 189–212. Springer, Boston, MA (1996). https://doi.org/10.1007/978-0-387-34907-7_11

    Chapter  Google Scholar 

  18. Palanque, P., Bernhaupt, R., Navarre, D., Ould, M., Winckler, M.: Supporting usability evaluation of multimodal man-machine interfaces for space ground segment applications using petri net based formal specification. In: Ninth International Conference on Space Operations, Italy, 18–22 June 2006 (2006)

    Google Scholar 

  19. Palanque, P., Ladry, J.-F., Navarre, D., Barboni, E.: High-fidelity prototyping of interactive systems can be formal too. In: Jacko, Julie A. (ed.) HCI 2009. LNCS, vol. 5610, pp. 667–676. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02574-7_75

    Chapter  Google Scholar 

  20. Oliveira, R., Palanque, P., Weyers, B., Bowen, J., Dix, A.: State of the art on formal methods for interactive systems. In: Weyers, B., Bowen, J., Dix, A., Palanque, P. (eds.) The Handbook of Formal Methods in Human-Computer Interaction. HIS, pp. 3–55. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-51838-1_1

    Chapter  Google Scholar 

  21. Silva, J.-L., Fayollas, C., Hamon, A., Palanque, P., Martinie, C., Barboni, E.: Analysis of WIMP and post WIMP interactive systems based on formal specification. ECEASST 69, 19–35 (2013)

    Google Scholar 

  22. Vermeulen, J., Luyten, K., van den Hoven, E., Coninx, K.: Crossing the bridge over Norman’s Gulf of execution: revealing feedforward’s true identity. In: SIGCHI Conference on Human Factors in Computing Systems (CHI 2013), pp. 1931–1940. ACM, New York (2013)

    Google Scholar 

  23. Yoon, C., Park, T., Lee, S., Kang, H., Shin, S., Zhang, Z.: Enabling security functions with SDN. Comput. Netw. 85, 19–35 (2015)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ICS-IRIT, University of Toulouse, 118 Route de Narbonne, 31062, Toulouse, France

    David Navarre & Philippe Palanque

  2. Department of Industrial Design, Technical University Eindhoven, Eindhoven, The Netherlands

    Philippe Palanque

  3. Hasselt University - tUL - Flanders Make, Expertise Centre for Digital Media, Diepenbeek, Belgium

    Sven Coppers, Kris Luyten & Davy Vanacken

Authors
  1. David Navarre
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Philippe Palanque
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sven Coppers
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Kris Luyten
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Davy Vanacken
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Philippe Palanque .

Editor information

Editors and Affiliations

  1. McMaster University, Hamilton, ON, Canada

    Emil Sekerinski

  2. University of Porto, Porto, Portugal

    Nelma Moreira

  3. University of Minho, Braga, Portugal

    José N. Oliveira

  4. Argo Ai, Munich, Germany

    Daniel Ratiu

  5. University of Pisa, Pisa, Italy

    Riccardo Guidotti

  6. University of Liverpool, Liverpool, UK

    Marie Farrell

  7. University of Liverpool, Liverpool, UK

    Matt Luckcuck

  8. University of Exeter, Exeter, UK

    Diego Marmsoler

  9. University of Minho, Braga, Portugal

    José Campos

  10. University of Newcastle, Newcastle upon Tyne, UK

    Troy Astarte

  11. Claude Bernard University, Lyon, France

    Laure Gonnord

  12. Nazarbayev University, Nur-Sultan, Kazakhstan

    Antonio Cerone

  13. University of Surrey, Guildford, UK

    Luis Couto

  14. University of Surrey, Guildford, UK

    Brijesh Dongol

  15. University of Giessen, Giessen, Germany

    Martin Kutrib

  16. University of Lisbon, Lisbon, Portugal

    Pedro Monteiro

  17. Airbus Operations S.A.S., Toulouse, France

    David Delmas

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Navarre, D., Palanque, P., Coppers, S., Luyten, K., Vanacken, D. (2020). Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets. In: Sekerinski, E., et al. Formal Methods. FM 2019 International Workshops. FM 2019. Lecture Notes in Computer Science(), vol 12232. Springer, Cham. https://doi.org/10.1007/978-3-030-54994-7_36

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-54994-7_36

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-54993-0

  • Online ISBN: 978-3-030-54994-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation