CP1
Paternò, F., Santoro, C., Tahmassebi, S.
Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air Traffic Control
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 ConcurTaskTrees 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.
Proceedings of 5th Eurographics Workshop on the Design, Specification and
Verification of Interactive Systems, DSV-IS '98, Abingdon, UK, June 3-5, 1998.
Download a PS version (722 KB, zipped with Winzip)
Home
Overview
Contact list
Planning of Work
Documents
Workspace
Related Links
Statistics