Applying LSCs to the Specification of an Air Traffic Control System

Yves Bontemps; Patrick Heymans; Hillel Kugler

Applying LSCs to the Specification of an Air Traffic Control System

Yves Bontemps, Patrick Heymans, Hillel Kugler

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

Résumé

We demonstrate the use of the language of Live Sequence Charts (LSCs) for specifying part of the air traffic control system CTAS (Center TRACON Automation System). We use a recent extension of LSCs to handle symbolic instances, allowing an instance to be associated with a class rather than with an object. This allows us to specify scenario-based requirements that could not have been expressed using concrete objects only. This work can form the basis for applying execution, verification and synthesis methods developed for LSCs, on a real-world case study.

langue originale	Anglais
titre	Proc. of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'03)
rédacteurs en chef	Sebastian Uchitel, Francis Bordeleau
Lieu de publication	Portland, Oregon, USA
Editeur	IEEE
Etat de la publication	Publié - 2003

Requirements engineering and business/IT alignment
Cleve, A. (Co-investigateur)
1/01/10 → 31/01/10
Projet: Axe de recherche

Contient cette citation

@inproceedings{2d2c176823104f539a972b6cd005017b,

title = "Applying LSCs to the Specification of an Air Traffic Control System",

abstract = "We demonstrate the use of the language of Live Sequence Charts (LSCs) for specifying part of the air traffic control system CTAS (Center TRACON Automation System). We use a recent extension of LSCs to handle symbolic instances, allowing an instance to be associated with a class rather than with an object. This allows us to specify scenario-based requirements that could not have been expressed using concrete objects only. This work can form the basis for applying execution, verification and synthesis methods developed for LSCs, on a real-world case study.",

author = "Yves Bontemps and Patrick Heymans and Hillel Kugler",

note = "Publication editors : Sebastian Uchitel, Francis Bordeleau",

year = "2003",

language = "English",

editor = "Sebastian Uchitel and Francis Bordeleau",

booktitle = "Proc. of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'03)",

publisher = "IEEE",

}

Applying LSCs to the Specification of an Air Traffic Control System. / Bontemps, Yves; Heymans, Patrick; Kugler, Hillel.
Proc. of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'03). Ed. / Sebastian Uchitel; Francis Bordeleau. Portland, Oregon, USA: IEEE, 2003.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

TY - GEN

T1 - Applying LSCs to the Specification of an Air Traffic Control System

AU - Bontemps, Yves

AU - Heymans, Patrick

AU - Kugler, Hillel

N1 - Publication editors : Sebastian Uchitel, Francis Bordeleau

PY - 2003

Y1 - 2003

N2 - We demonstrate the use of the language of Live Sequence Charts (LSCs) for specifying part of the air traffic control system CTAS (Center TRACON Automation System). We use a recent extension of LSCs to handle symbolic instances, allowing an instance to be associated with a class rather than with an object. This allows us to specify scenario-based requirements that could not have been expressed using concrete objects only. This work can form the basis for applying execution, verification and synthesis methods developed for LSCs, on a real-world case study.

AB - We demonstrate the use of the language of Live Sequence Charts (LSCs) for specifying part of the air traffic control system CTAS (Center TRACON Automation System). We use a recent extension of LSCs to handle symbolic instances, allowing an instance to be associated with a class rather than with an object. This allows us to specify scenario-based requirements that could not have been expressed using concrete objects only. This work can form the basis for applying execution, verification and synthesis methods developed for LSCs, on a real-world case study.

M3 - Conference contribution

BT - Proc. of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'03)

A2 - Uchitel, Sebastian

A2 - Bordeleau, Francis

PB - IEEE

CY - Portland, Oregon, USA

ER -

Applying LSCs to the Specification of an Air Traffic Control System

Résumé

Empreinte digitale

Projets

Requirements engineering and business/IT alignment

Contient cette citation