loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering
Producing UML Models from Focal Specifications: An Application to Airport Security Regulations
June 17-June 19
ISBN: 978-0-7695-3249-3
ASCII Text
x 
 
David Delahaye, Jean-Fr?d?ric ?tienne, V?ronique Vigui? Donzeau-Gouge, "Producing UML Models from Focal Specifications: An Application to Airport Security Regulations," Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on, pp. 121-124, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 2008.
 
 
BibTex
x
 
@article{ 10.1109/TASE.2008.35,
author = {David Delahaye and Jean-Fr?d?ric ?tienne and V?ronique Vigui? Donzeau-Gouge},
title = {Producing UML Models from Focal Specifications: An Application to Airport Security Regulations},
journal ={Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on},
volume = {0},
year = {2008},
isbn = {978-0-7695-3249-3},
pages = {121-124},
doi = {http://doi.ieeecomputersociety.org/10.1109/TASE.2008.35},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
TI - Producing UML Models from Focal Specifications: An Application to Airport Security Regulations
SN - 978-0-7695-3249-3
SP121
EP124
A1 - David Delahaye,
A1 - Jean-Fr?d?ric ?tienne,
A1 - V?ronique Vigui? Donzeau-Gouge,
PY - 2008
KW - Focal
KW - UML
KW - Airport Security Regulations
KW - Certification
KW - Formal Proofs
VL - 0
JA - Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
ER -
 
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 regulations in the domain of airport security. 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 provide a concrete example coming from the EDEMOI project.
Index Terms:
Focal, UML, Airport Security Regulations, Certification, Formal Proofs
Citation:
David Delahaye, Jean-Fr?d?ric ?tienne, V?ronique Vigui? Donzeau-Gouge, "Producing UML Models from Focal Specifications: An Application to Airport Security Regulations," tase, pp.121-124, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 2008
Usage of this product signifies your acceptance of the Terms of Use.