Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air Traffic Control

  • F. Paternò
  • C. Santoro
  • S. Tahmassebi
Part of the Eurographics book series (EUROGRAPH)


This paper presents a proposal for specifying task models for cooperative applications that allow designers to describe the relationships between the activities performed by various users involved in cooperative environments. To this end we extend the ConcurTaskTree notation so that new information useful for describing complex cooperative applications can be clearly specified. An example of application to describe En-Route Air Traffic Control (ATC) is given to illustrate and clarify our approach.


Task Model Paper Strip Flight Level Flight Plan Cooperative Task 
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.
    Calvary, G., Coutaz, J., Nigay, L.: From Single-User Architectural Design to PAC¢: a Generic Software Architecture Model for CSCW, pp. 242–249, ACM Press, Proceedings CHF97.Google Scholar
  2. 2.
    Druart, J., Novales, L.: En route Control Standards. Mefisto Report WP1–4, November 1997.Google Scholar
  3. 3.
    Dix, A.: In: Beale R. (eds.): Remote Cooperation, Springer Verlag 1996.Google Scholar
  4. 4.
    Field, R., Wright, P., Harrison, M.: A task centred approach to analysing human error tolerance requirements. IEEE Press, Proceedings RE’95, York.Google Scholar
  5. 5.
    Johnson C.W.: The Formal Analysis of Human-Computer Interaction During Accident Investigations. In: Cockton, G., Draper, S., Weir,G. (eds.): People and Computers, IX, pp. 285–300, Cambridge Uni. Press, 1994.Google Scholar
  6. 6.
    Levenson, N.: Safeware, System Safety and Computers. Addison Wesley Publishing Company, 1995.Google Scholar
  7. 7.
    Markopoulos, P., Johnson, P., Rowson, J.: Formal Aspects of Task-based Design., pp. 209–224. Springer Verlag, Proceedings DSV-IS’97.Google Scholar
  8. 8.
    Palanque, P., Bastide, R., Paternò, F.: Formal Specification as a Tool for Objective Assessment of Safety Critical Systems, pp. 323–330. Chapman & Hall, Proceedings Interact’97.Google Scholar
  9. 9.
    Palanque, P., Paternò, F. (eds.): Formal Methods in Human-Computer Interaction. Springer Verlag, FACIT Series, ISBN 3-540-76158-6, 1997.Google Scholar
  10. 10.
    Paternò, F.: Understanding Task Model and User Interface Architecture Relationships, CNUCE Internal Report, December 1997.Google Scholar
  11. 11.
    Paternò F., Mancini C., Meniconi, S.: ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models, pp. 362–369, Proceedings Interact’97.Google Scholar
  12. 12.
    Tahmassebi, S.: Controller Pilot Data Link Communication (CPDLC) description, Mefisto Report WP1–1, November 1997.Google Scholar
  13. 13.
    Van der Veer, G., Lenting, B., Bergevoet, B.: GTA: Groupware task analysis -Modelling complexity, pp. 297–322. Acta Psychologica, 91, 1996.Google Scholar

Copyright information

© Springer-Verlag Wien 1998

Authors and Affiliations

  • F. Paternò
    • 1
  • C. Santoro
    • 1
  • S. Tahmassebi
    • 2
  1. 1.CNUCE-C.N.R.PisaItaly
  2. 2.CENAToulouseFrance

Personalised recommendations