An attempt to combine UML and formal methods to model airport security

The EDEMOI project aims to model standards that regulate airport security. It involves the production of a UML model, to support the validation activity, and a formal model for verification purposes. This paper discusses the use of the RoZ tool to establish a strong link between both models and lists the problems faced during this translation.

• Type: Conference
• Year: 2006
• Where: CAISE
• Authors: Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
• Keywords: CAISE 2006, Formal Model, Information Management, UML Model, Validation Activity