Modeling Airport Security Regulations in Focal

We describe the formal models of two standards related to airport security: one at the international level and the other at the European level. These models are expressed using the Focal environment, which is an object-oriented specication and proof system. We show how Focal is appropriate for building a clean hierarchical specication for our case study using, in particular, object-oriented features to rene the international level into the European level and parameterization to modularize the development.

• Type: Conference
• Year: 2006
• Where: CAISE
• Authors: David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge
• Keywords: CAISE 2006, Clean Hierarchical Specication, European Level, Information Management, International Level