ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique

APPEL À
CONTRIBUTION
Décisions, argumentation et traçabilité dans l’Ingénierie des Systèmes d’Information
En savoir plus >>
Autres revues >>

Ingénierie des Systèmes d'Information

Networking and Information Systems
1633-1311
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 13/4 - 2008  - pp.133-157  - doi:10.3166/isi.13.4.133-157
TITRE
Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports

RÉSUMÉ
Le projet EDEMOI a pour but la modélisation de la sécurité des aéroports. Son approche passe par la production de modèles graphiques (un ensemble de diagrammes UML) destinés à être validés par les experts du domaine, et de modèles formels destinés à être vérifiés ou animés. Pour assurer la correspondance entre ce qui est validé et ce qui est vérifié, il faut établir un lien fort entre ces deux types de modèles. L'outil RoZ permet un tel lien en traduisant des diagrammes UML annotés vers une spécification Z. Cet article discute l'utilisation de RoZ dans le contexte d'EDEMOI et les problèmes rencontrés lors de cette tentative de traduction.


ABSTRACT
The framework of this paper is the EDEMOI project whose aim is to model airport security. This approach involves the production of a graphical model (a set of UML class diagrams), to support the validation activity, and a formal model for verification and animation purposes. In order to make sure that what is validated is also what is verified, a strong link must exist between both models. RoZ offers a solution to this problem by translating annotated UML diagrams into Z specifications. This paper presents the application of the RoZ tool to the model of the EDEMOI project and lists the problems faced during this translation approach.


AUTEUR(S)
Yves LEDRU, Régine LALEAU, Sylvie VIGNES

MOTS-CLÉS
intégration de méthodes de spécification, sécurité, UML, méthodes formelles, Z.

KEYWORDS
method integration for specification, security, UML, formal methods, Z.

CITATIONS
isi.revuesonline.com/revues/24/citation/12075.html

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (463 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier