Skip to main content
SpringerLink
Log in

Formal Description of Adaptable Interactive Systems Based on Reconfigurable User Interface Models

  • Chapter
  • First Online:
Book cover The Handbook of Formal Methods in Human-Computer Interaction

Part of the book series: Human–Computer Interaction Series ((HCIS))

Abstract

This chapter presents an approach for the description and implementation of adaptable user interfaces based on reconfigurable formal user interface models. These models are (partially) defined as reference nets, a special type of Petri nets. The reconfiguration approach is based on category theory, specifically on the double pushout approach, a formalism for the rewriting of graphs. In contrast to the related single pushout approach, the double pushout approach allows the definition of reconfiguration rules that assure deterministic results gained from the rewriting process. The double pushout approach is extended to rewrite colored (inscribed) Petri nets in two steps: first, it has already been extended to basic Petri nets and second, the rewriting of inscriptions has been added to the approach in previous work of the author. By means of a case study, this approach is presented for the interactive reconfiguration of a given user interface model that uses a visual editor. This visual editor is equipped with an XML-based rewriting component implemented in the UIEditor tool, which has been introduced as a creation and execution tool for FILL-based user interface models in Chap. 5. This chapter is concluded with a discussion of limitations and a set of future work aspects, which mainly address the rule generation and its application to broader use cases.

The original version of the book was revised: For detailed information please see Erratum. The erratum to the book is available at 10.1007/978-3-319-51838_21

An erratum to this chapter can be found at http://dx.doi.org/10.1007/978-3-319-51838-1_21

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 259.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 329.99
Price excludes VAT (USA)
  • Durable hardcover 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

References

  • Blumendorf M, Lehmann G, Albayrak S (2010) Bridging models and systems at runtime to build adaptive user interfaces. In: Proceedings of the 2nd ACM SIGCHI symposium on engineering interactive computing systems, Berlin

    Google Scholar 

  • Burkolter D, Weyers B, Kluge A, Luther W (2014) Customization of user interfaces to reduce errors and enhance user acceptance. Appl Ergon 45(2):346–353

    Article  Google Scholar 

  • Calvary G, Coutaz J, Thevenin D, Limbourg Q, Bouillon L, Vanderdonckt J (2003) A unifying reference framework for multi-target user interfaces. Interact Comput 15(3):289–308

    Article  Google Scholar 

  • Cheng S, Liu Y (2012) Eye-tracking based adaptive user interface: implicit human-computer interaction for preference indication. J Multimodal User Interface 5(1–2):77–84

    Article  Google Scholar 

  • Criado J, Vicente Chicote C, Iribarne L, Padilla N (2010) A model-driven approach to graphical user interface runtime adaptation. In: Proceedings of the MODELS conference, Oslo

    Google Scholar 

  • Ehrig H, Heckel R, Korff M, Löwe M, Ribeiro L, Wagner A, Corradini A (1997) Algebraic approaches to graph transformation. Part II: single pushout approach and comparison with double pushout approach. In: Rozenberg G (ed) Handbook of graph grammars and computing by graph transformation. World Scientific Publishing, Singapore

    Google Scholar 

  • Ehrig H, Hoffmann K, Padberg J (2006) Transformation of Petri nets. Electron Notes Theor Comput Sci 148(1):151–172

    Article  Google Scholar 

  • Ehrig H, Hoffmann K, Padberg J, Ermel C, Prange U, Biermann E, Modica T (2008) Petri net transformation. In: Kordic V (ed) Petri net, theory and applications. InTech Education and Publishing, Rijeka

    Google Scholar 

  • Fischer G (2001) User modeling in human-computer interaction. User Model User-Adap Interact 11(1–2):65–86

    Article  MATH  Google Scholar 

  • Hervás R, Bravo J (2011) Towards the ubiquitous visualization: adaptive user-interfaces based on the semantic web. Interact Comput 23(1):40–56

    Article  Google Scholar 

  • Heumüller M, Joshi S, König B, Stückrath J (2010) Construction of pushout complements in the category of hypergraphs. In: Proceedings of the workshop on graph computation models, Enschede

    Google Scholar 

  • Hollnagel E (1998) Cognitive reliability and error analysis method (CREAM). Elsevier, Amsterdam

    Google Scholar 

  • Jameson A (2009) Adaptive interfaces and agents. Hum Comput Interact Des Issues Solut Appl 105:105–130

    Article  Google Scholar 

  • Jensen K, Rozenberg G (2012) High-level petri nets: theory and application. Springer, Berlin

    MATH  Google Scholar 

  • Kahl G, Spassova L, Schöning J, Gehring S, Krüger A (2011) Irl smartcart-a user-adaptive context-aware interface for shopping assistance. In: Proceedings of the 16th international conference on intelligent user interfaces, Palo Alto

    Google Scholar 

  • Kummer O (2009) Referenznetze. Logos, Berlin

    Google Scholar 

  • Kummer O, Wienberg F, Duvigneau M, Köhler M, Moldt D, Rölke H (2000) Renew—the reference net workshop. In: Tool demonstrations, 21st international conference on application and theory of Petri nets. Computer Science Department, Aarhus

    Google Scholar 

  • Langley P, Hirsh H (1999) User modeling in adaptive interfaces. In: Proceedings of user modeling, Banff

    Google Scholar 

  • Lavie T, Meyer J (2010) Benefits and costs of adaptive user interfaces. Int J Hum Comput Stud 68(8):508–524

    Article  Google Scholar 

  • Miñón R, Abascal J (2012) Supportive adaptive user interfaces inside and outside the home. In: Proccedings of user modeling, adaption and personalization workshop, Girona

    Google Scholar 

  • Navarre D, Palanque P, Basnyat S (2008a) A formal approach for user interaction reconfiguration of safety critical interactive systems. In: Computer safety, reliability, and security. Tyne

    Google Scholar 

  • Navarre D, Palanque P, Ladry JF, Basnyat S (2008b) An architecture and a formal description technique for the design and implementation of reconfigurable user interfaces. In: Interactive systems. Design, specification, and verification, Kingston

    Google Scholar 

  • Nieuwenhuis R, Oliveras A, Tinelli C (2006) Solving sat and sat modulo theories: from an abstract davis-putnam-logemann-loveland procedure to dpll (t). J ACM 53(6):937–977

    Article  MathSciNet  MATH  Google Scholar 

  • Parasuraman R, Sheridan T, Wickens C (2000) A model for types and levels of human interaction with automation. IEEE Trans Syst Man Cybern Syst Hum 30(3):286–297

    Article  Google Scholar 

  • Paternò F (2004) Concurtasktrees: an engineered notation for task models. In: The handbook of task analysis for human-computer interaction. CRC Press, Boca Raton

    Google Scholar 

  • Paternò F (2012) Model-based design and evaluation of interactive applications. Springer, Berlin

    MATH  Google Scholar 

  • Pierce BC (1991) Basic category theory for computer scientists. MIT press, Cambridge

    MATH  Google Scholar 

  • Pleuss A, Wollny S, Botterweck G (2013) Model-driven development and evolution of customized user interfaces. In: Proceedings of the 5th ACM SIGCHI symposium on engineering interactive computing systems, London

    Google Scholar 

  • Reinecke K, Bernstein A (2011) Improving performance, perceived usability, and aesthetics with culturally adaptive user interfaces. ACM Transact Comput Hum Interact 18(2):1–29

    Article  Google Scholar 

  • Schürr A, Westfechtel B (1992) Graph grammars and graph rewriting systems. Technical report AIB 92-15, RWTH Aachen, Aachen

    Google Scholar 

  • Stückrath J, Weyers B (2014a) 2014-01: lattice-extended coloured petri net rewriting for adaptable user interface models. Technical report, University of Duisburg-Essen, Duisburg

    Google Scholar 

  • Stückrath J, Weyers B (2014b) Lattice-extended cpn rewriting for adaptable ui models. In: Proceedings of GT-VMT 2014 workshop, Grenoble

    Google Scholar 

  • Weber M, Kindler E (2003) The Petri net markup language. In: Petri net technology for communication-based systems. Springer, Berlin

    Google Scholar 

  • Weyers B (2012) Reconfiguration of user interface models for monitoring and control of human-computer systems. Dr, Hut, Munich

    Google Scholar 

  • Weyers B (2015) Fill: formal description of executable and reconfigurable models of interactive systems. In: FoMHCI workshop in conjunction with EICS 2015, Aachen

    Google Scholar 

  • Weyers B, Borisov N, Luther W (2014) Creation of adaptive user interfaces through reconfiguration of user interface models using an algorithmic rule generation approach. Int J Adv Intell Syst 7(1&2):302–336

    Google Scholar 

  • Weyers B, Burkolter D, Kluge A, Luther W (2012) Formal modeling and reconfiguration of user interfaces for reduction of human error in failure handling of complex systems. Int J Hum Comput Interact 28(10):646–665

    Article  Google Scholar 

  • Weyers B, Luther W (2010) Formal modeling and reconfiguration of user interfaces. In: Proceedings of the international conference of the Chilean computer science society, Antofagasta

    Google Scholar 

  • Weyers B, Luther W, Baloian N (2011) Interface creation and redesign techniques in collaborative learning scenarios. Future Gener Comput Syst 27(1):127–138

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Visual Computing Institute—Virtual Reality & Immersive Visualization, RWTH Aachen University, Aachen, Germany

    Benjamin Weyers

Authors
  1. Benjamin Weyers
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Benjamin Weyers .

Editor information

Editors and Affiliations

  1. Visual Computing Institute—Virtual Reality & Immersive Visualization, RWTH Aachen University, Aachen, Germany

    Benjamin Weyers

  2. Department of Computer Science, The University of Waikato, Hamilton, New Zealand

    Judy Bowen

  3. School of Computer Science, University of Birmingham, Birmingham, United Kingdom

    Alan Dix

  4. Universite de Toulouse, ICS-IRIT, Toulouse, France

    Philippe Palanque

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this chapter

Cite this chapter

Weyers, B. (2017). Formal Description of Adaptable Interactive Systems Based on Reconfigurable User Interface Models. In: Weyers, B., Bowen, J., Dix, A., Palanque, P. (eds) The Handbook of Formal Methods in Human-Computer Interaction. Human–Computer Interaction Series. Springer, Cham. https://doi.org/10.1007/978-3-319-51838-1_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-51838-1_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-51837-4

  • Online ISBN: 978-3-319-51838-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation