A Tool Suite for Integrating Task and System Models through Scenarios

  • David Navarre
  • Philippe Palanque
  • Fabio Paternò
  • Carmen Santoro
  • Rémi Bastide
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2220)


This paper presents a set of tools supporting the development of interactive systems using two different notations. One of these notations, called ConcurTaskTrees (CTT), is used for task modelling. The other notation, called Interactive Cooperative Objects (ICO), is used for system modelling. Even though these two kinds of models represent two different views of the same world (users interacting with interactive systems), they are built by different people and used independently. The aim of this paper is to propose the use of scenarios as a bridge between these two views. On the task modelling side, scenarios are seen as possible traces of activities, while on the system side, they are viewed as traces of actions. This generic approach is presented in a case study in the domain of Air Trafic Control.


Model Checker User Service Interactive System Tool Suite Task Model 
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.
    Bastide, Rémi, and Palanque, Philippe. “Petri Net Objects for the Design, Validation and Prototyping of User-Driver Interfaces.” In 3rd IFIP Conference on Human-Computer Interaction, Interact’90, Cambridge, UK, Aug. 1990, 625–31. North-Holland, 1990.Google Scholar
  2. 2.
    Baumeister L., John B. and Byrne M. “A Comparison of Tools for Building GOMS Models.” In Proceedings CHI’2000, ACM Press, 2000.Google Scholar
  3. 3.
    Biere, M., Bomsdorf, B., Szwillus G. “Specification and Simulation of Task Models with VTMB.” In Proceedings CHI’99, Extended Abstracts, pp.1–2, 1999.Google Scholar
  4. 4.
    Bodart F., A-M. Hennebert, Leheureux J-M., I. Provot, and J. Vanderdonckt. “A Model-Based Approach to Presentation: A Continuum From Task Analysis to Prototype.” In 1st. EUROGRAPHICS Workshop on Design Specification and Verification of Interactive System (DSV-IS’94), Bocca di Magra, Italy, 8-10 June 1994.Google Scholar
  5. 5.
    Carroll, John (ed.). “Scenario-based Design.” John Wiley and Sons, 1995.Google Scholar
  6. 6.
    Navarre, D., Palanque, P., Bastide, R., Sy, O. “Specification of Middles Touch Screen using Interactive Cooperative Objects.” In Working Paper 2.5, MEFISTO Project:, (2000)
  7. 8.
    Palanque, P., Paternò, F., Bastide, R. and Mezzanotte, M. “Towards an Integrated Proposal for Interactive Systems design based on TLIM and MICO.” In Proceedings of DSV-IS’96, Springer Verlag 1996.Google Scholar
  8. 9.
    Palanque, Philippe, R’emi Bastide, and Fabio Patern`o. “Formal Specification As a Tool for the Objective Assessment of Safety Critical Interactive Systems.” In Interact’97, 6th IFIP TC13 Conference on Human-Computer Interaction, Sydney, Australia, 14 July 1997-18 July 1997, 323-30. Chapman et Hall, 1997.Google Scholar
  9. 10.
    Palanque, Philippe, Rémi Bastide, and Valérie Sengès. “Validating Interactive System Design Through the Verification of Formal Task and System Models.” In 6th IFIP Conference on Engineering for Human-Computer Interaction, EHCI’95, Garn Targhee Resort, Wyoming, USA, August 14-18. Chapman et Hall, 1995.Google Scholar
  10. 11.
    Palanque, Philippe, and Rémi Bastide. “Synergistic Modelling of Tasks, Users and Systems Using Formal Specification Techniques.” In Interacting With Computers 9, no. 2, 129–53, 1997.CrossRefGoogle Scholar
  11. 12.
    Paternò, F. “Model-Based Design and Evaluation of Interactive Application.” Springer Verlag, ISBN 1-85233-155-0, 1999.Google Scholar
  12. 13.
    Paternò, F. “The specification of the ConcurTaskTrees notation.” GUITARE Working Paper, March 2000.Google Scholar
  13. 14.
    Paternò, F., Santoro, C., Sabbatino, V. “Using Information in Task Models to Support Design of Interactive Safety-Critical Applications.” In Proceedings AVI’2000, pp.120–127, ACM Press, May 2000, Palermo, 2000.Google Scholar
  14. 15.
    Paternò, F., Mori, G., Galimberti, R. “CTTE: An Environment for Analysis and Development of Task Models of Cooperative Applications.” In Proceedings ACM CHI’01, Vol.2, ACM Press, Seattle, 2001.Google Scholar
  15. 16.
    Puerta, A.R., Eisenstein, J. “Towards a General Computational Framework for Model-Based Interface Development Systems.” In IUI99: International Conference on Intelligent User Interfaces, pp.171–178, ACM Press, January 1999.Google Scholar
  16. 17.
    Sy, Ousmane, Bastide, Rémi, Palanque, Philippe, Le, Duc-Hoa, Navarre, David. “PetShop: a CASE Tool for the Petri Net Based Specification and Prototyping of CORBA Systems.” In 20th International Conference on Applications and Theory of Petri Nets, ICATPN’99, Williamsburg, VA, USA. 1999.Google Scholar
  17. 18.
    van Welie M., van der Veer G.C., Eliëns A. “An Ontology for Task World Models.” In Proceedings DSV-IS’98, pp.57–70, Springer Verlag, 1998.Google Scholar
  18. 19.
    Wilson, S., Johnson, P., Kelly, C., Cunningham, J., and Markopoulos, P. “Beyond Hacking: a Model Based Approach to User Interface Design.” In HCI’93, Loughborough, U.K., 217–31. Cambridge University Press, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • David Navarre
    • 2
  • Philippe Palanque
    • 2
  • Fabio Paternò
    • 1
  • Carmen Santoro
    • 1
  • Rémi Bastide
    • 2
  1. 1.CNUCE-CNRPisaItaly
  2. 2.LIHSUniversité Toulouse 1Toulouse CedexFrance

Personalised recommendations