Skip to main content
SpringerLink
Log in

A Public Tool Suite for Modelling Interactive Applications

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

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

Abstract

Model-based approaches aim to support designers and developers through the use of logical representations able to highlight important aspects. In this chapter, we present a set of tools for task and user interface modelling useful for supporting the design and development of interactive applications. Such tools can be used separately or in an integrated manner within different types of development processes of various types of interactive applications. This tool suite is publicly available and, as such, can be exploited in real-world case studies and university teaching.

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

Notes

  1. 1.

    https://www.w3.org/TR/html5/.

  2. 2.

    http://www.w3.org/2011/mbui/.

  3. 3.

    http://www.w3.org/TR/task-models/.

  4. 4.

    Available at http://ctt.isti.cnr.it.

  5. 5.

    Available at http://giove.isti.cnr.it/tools/MARIAE/home.

  6. 6.

    https://dvcs.w3.org/hg/speech-api/raw-file/tip/speechapi.html.

  7. 7.

    We used the Java Tidy Parser, available at http://tidy.sourceforge.net/, modified by us to handle HTML5 tags as well.

  8. 8.

    Java Architecture for XML Binding.

References

  • Anzalone D, Manca M, Paternò F, Santoro C (2015) Responsive task modelling. In: Proceedings of ACM SIGCHI symposium on engineering interactive computing systems, pp 126–131

    Google Scholar 

  • Bernardi ML, Di Lucca GA, Distante D (2009a) The RE-UWA approach to recover user centered conceptual models from web applications. Int J Softw Tools Technol Transf 11(6):485–501

    Article  Google Scholar 

  • Berti S, Correani F, Paternò F, Santoro C (2004) The TERESA XML language for the description of interactive systems at multiple abstraction levels. In: Proceedings workshop on developing user interfaces with XML: advances on user interface description languages, pp 103–110

    Google Scholar 

  • Caffiau S, Scapin D, Girard P, Baron M, Jambon F (2010) Increasing the expressive power of task analysis: systematic comparison and empirical assessment of tool-supported task models. Interact Comput 22(6):569–593 (2010)

    Google Scholar 

  • Calvary G, Coutaz J, Thevenin D, Bouillon L, Florins M, Limbourg Q, Souchon N, Vanderdonckt J, Marucci L, Paternò F (2002) The CAMELEON reference framework. Deliverable D 1

    Google Scholar 

  • Cockburn A, Karlson A, Bederson B (2008) A Review of overview+detail, zooming, and focus+context interfaces. ACM Comput Surv 41(1):2

    Article  Google Scholar 

  • Coutaz J, Nigay L, Salber D, Blandford A, May J, Young R (1995) Four easy pieces for assessing the usability of multimodal interaction: the CARE properties. Proc Interact 1995:115–120

    Google Scholar 

  • da Silva CBE (2010) Reverse engineering of rich internet applications. Master thesis, Minho University, 2010

    Google Scholar 

  • Dixon M, Laput G, Fogarty J (2014) Pixel-based methods for widget state and style in a runtime implementation of sliding widgets. In: Proceedings of annual conference on human factors in computing systems, pp 2231–2240

    Google Scholar 

  • Duarte C, Carriço L (2006) A conceptual framework for developing adaptive multimodal applications. Proc IUI 2006:132–139

    Google Scholar 

  • Eggers J, HĂĽlsmann A, Szwillus G (2013) Aufgabenmodellierung am Multi-Touch-Tisch. In: Boll S, MaaĂź S, Malaka R (eds) Mensch & Computer 2013: Interaktive Vielfalt, pp 325–328

    Google Scholar 

  • Li P, Wohlstadter E (2008) View-based maintenance of graphical user interfaces. In: Proceedings of 7th international conference on aspect-oriented software development, p 156

    Google Scholar 

  • Limbourg Q, Vanderdonckt J, Michotte B, Bouillon L, LĂłpez-Jaquero V (2005) UsiXML: a language supporting multi-path development of user interfaces. In: Proceedings of engineering human computer interaction and interactive systems, pp 200–220

    Google Scholar 

  • Maras J, Stula M, Carlson J (2011) Reusing web application user-interface. Lect Notes Comput Sci 6757:228–242

    Article  Google Scholar 

  • Martinie C, Palanque P, Winckler M (2011) Structuring and composition mechanisms to address scalability issues in task models. In: Proceedings of INTERACT, pp 589–609

    Google Scholar 

  • Morgado IC, Paiva AC, Pascoal Faria J (2010) Dynamic reverse engineering of graphical user interfaces. Int J Adv Softw 5(3):224–236

    Google Scholar 

  • Mori G, Paternò F, Santoro C (2002) CTTE: support for developing and analyzing task models for interactive system design. IEEE Trans Softw Eng 28(8):797–813

    Article  Google Scholar 

  • Mori G, Paternò F, Santoro C (2004) Design and development of multidevice user interfaces through multiple logical descriptions. IEEE Trans Softw Eng 30(8):507–520

    Article  Google Scholar 

  • Octavia JR, Vanacken L, Raymaekers C, Coninx K, Flerackers E (2010) Facilitating adaptation in virtual environments using a context-aware model-based design process. In: England D, Palanque P, Vanderdonckt J, Wild PJ (eds) Proceedings of TAMODIA 2009, pp 58–71

    Google Scholar 

  • Paganelli L, Paternò F (2003a) Tools for remote usability evaluation of web applications through browser logs and task models. Behavior Research Methods, Instruments, and Computers. Psychon Soc Publ 35(3):369–378

    Google Scholar 

  • Paganelli L, Paternò F (2003b) A tool for creating design models from web site code. Int J Softw Eng Knowl Eng World Sci Publ 13(2):169–189

    Article  Google Scholar 

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

    Google Scholar 

  • Paternò F, CSantoro C (2000) Integrating model checking and HCI tools to help designers verify user interfaces properties. In: Proceedings of DSV-IS’2000, pp 135–150

    Google Scholar 

  • Paternò F, Santoro C, Scorcia A (2008) Automatically adapting web sites for mobile access through logical descriptions and dynamic analysis of interaction resources. Proc AVI 2008:260–267

    Google Scholar 

  • Paternò F, Santoro C, Spano LDM (2009) A universal, declarative, multiple abstraction-level language for service-oriented applications in ubiquitous environments. ACM Trans Comput Human Interact 16(4):19:1–19:30

    Google Scholar 

  • Paternò F, Santoro C, Spano LD (2011) Engineering the authoring of usable service front ends. J Syst Softw 84:1806–1822

    Article  Google Scholar 

  • Raneburger D, Meixner G, Brambilla M (2013) Platform-independence in model-driven development of graphical user interfaces for multiple devices. In: Proceedings of ICSOFT, pp 180–195

    Google Scholar 

  • Silva CE, Campos JC (2013) Combining static and dynamic analysis for the reverse engineering of web applications. In: Proceedings of 5th ACM SIGCHI symposium on engineering interactive computing systems, p 107

    Google Scholar 

  • Sottet JS, Ganneau V, Calvary G, Demeure A, Favre JM, Demumieux R (2007) Model-driven adaptation for plastic user interfaces. In: Baranauskas C, Abascal J, Barbosa SDJ (eds) Proceedings of INTERACT 2007, pp 397–410

    Google Scholar 

  • Spano LD, Fenu G (2014) IceTT: a responsive visualization for task models, Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems, pp 197–200, ACM

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CNR-ISTI, HIIS Laboratory, Pisa, Italy

    Marco Manca, Fabio Paternò & Carmen Santoro

Authors
  1. Marco Manca
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fabio Paternò
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Carmen Santoro
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Marco Manca .

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

Manca, M., Paternò, F., Santoro, C. (2017). A Public Tool Suite for Modelling Interactive Applications. 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_18

Download citation

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

  • 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