Building and Browsing Tropos Models: The AVI Design

  • Tania Di Mascio
  • Anna Perini
  • Luca Sabatucci
  • Angelo Susi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5618)


This paper proposes the use of the HCI paradigm and techniques to support software system designers in building and browsing visual models during the development of complex distributed systems. In particular, we adopt Usability Evaluation Methods (UEMs) to analyse the first version of the interface of TAOM4E, the tool supporting the Tropos Agent-Oriented methodology. Using the results of this usability study, we collect different requirements to design an Advanced Visual Interface (AVI) of TAOM4E taking into account requirements of supporting software designers during Tropos models design process browsing.


Goal Modeling Heuristic Evaluation User Support Building Task Account Requirement 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Card, S.K., Mackinlay, J.D., Shneiderman, B.: Information Visualization: Using Vision to Think. M. Kaufmann, San Francisco (1999)Google Scholar
  2. 2.
    UEMs Consortium. Heuristic evaluation (2006)Google Scholar
  3. 3.
    UEMs Consortium. Performing a cognitive walkthrough (2006),
  4. 4.
    Hartson, H., Andre, T., Williges, R.: Criteria for evaluating usability evaluation methods. International Journal of Human Computer Interaction 13(4), 373–410 (2001)CrossRefGoogle Scholar
  5. 5.
    Hartson, H.R., Andre, T.S., Williges, R.C.: Criteria for evaluating usability evaluation methods. International Journal of Human Computer Interaction 13(4), 373–410 (2001)CrossRefGoogle Scholar
  6. 6.
    Hix, D., Hartson, H.R.: Formative evaluation: Ensuring usability in user interfaces. Trends in Software 1, 1–30 (2000)zbMATHGoogle Scholar
  7. 7.
    Norman, D., Draper, S.: User Centered System Design. LEA Hillsdale, N.J (1986)Google Scholar
  8. 8.
    Penserini, L., Perini, A., Susi, A., Mylopoulos, J.: High Variability Design for Software Agents: Extending Tropos. ACM TAAS 2(4) (2007)Google Scholar
  9. 9.
    Susi, A., Perini, A., Giorgini, P., Mylopoulos, J.: The Tropos Metamodel and its Use. Informatica 29(4), 401–408 (2005)Google Scholar
  10. 10.
    Yagita, Y., Aikawa, Y., Inaba, A.: A proposal of the quantitative evaluation method for social acceptability of products and services. Technical report, Ochan-omizu University, Otsuka Bunkyo-ku, Tokyo (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Tania Di Mascio
    • 1
  • Anna Perini
    • 2
  • Luca Sabatucci
    • 2
  • Angelo Susi
    • 2
  1. 1.University of L’AquilaMonteluco di RoioItaly
  2. 2.Fondazione Bruno Kessler –IRSTTrento - PovoItaly

Personalised recommendations