|
 
|
[DEV08] A Formal and Sound Transformation from Focal to UML: An Application to Airport Security Regulations
Conférence Internationale avec comité de lecture : UML&FM'08 UML and Formal Methods, Kitakyushu-City (Japan), January 2008, Vol. 4, pp.267-274, Series ISSE,
motcle:
Résumé:
We propose an automatic transformation of Focal specifications to UML class diagrams. The main motivation for this work lies within the framework of the EDEMOI project, which aims to integrate and apply several requirements engineering and formal methods techniques to analyze airport security regulations. The idea is to provide a graphical documentation of formal models for developers, and in the long-term, for certification authorities. The transformation is formally described and an implementation has been designed. We also show how the soundness of our approach can be achieved.
Equipe:
sys
BibTeX
| @inproceedings { | |||
| DEV08, | |||
| title | = | "{A Formal and Sound Transformation from Focal to UML: An Application to Airport Security Regulations}", | |
| author | = | " D. Delahaye and J. Etienne and V. Viguie Donzeau-Gouge ", | |
| booktitle | = | "{UML&FM'08 UML and Formal Methods, Kitakyushu-City (Japan)}", | |
| year | = | 2008, | |
| month | = | "January", | |
| series | = | "ISSE", | |
| volume | = | 4, | |
| pages | = | "267-274", | |
| } | |||
