S.: Formal Models for Cooperative Tasks: Concepts and an Application for EnRoute Air Traffic Control (1998)
| Venue: | Proc. of the 5 th Int. Eurographics Workshop on Design, Specification and Verification of Interactive System DSV-IS’98 (Abingdon |
| Citations: | 7 - 0 self |
BibTeX
@INPROCEEDINGS{Paternò98s.:formal,
author = {F. Paternò and C. Santoro and S. Tahmassebi},
title = {S.: Formal Models for Cooperative Tasks: Concepts and an Application for EnRoute Air Traffic Control},
booktitle = {Proc. of the 5 th Int. Eurographics Workshop on Design, Specification and Verification of Interactive System DSV-IS’98 (Abingdon},
year = {1998},
pages = {3--5},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. 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. 1
