Modeling Airport Security: the EDEMOI 1 approach (2008)
Y. Ledru, M. Lemoine, D. Bert, V. Donzeau-gouge, C. Dubois, R. Laleau, ...
The security of civil aviation is governed by a series of international standards and recommended practices that detail the responsibilities of the various stakeholders (states, operators,...
How to Synthesize Relational Database Transactions From EB 3 Attribute Definitions? (2008)
Abstract. EB 3 is a trace-based formal language created for the specification of information systems (IS). Attributes, linked to entities and associations of an IS, are computed in EB 3 by recursive...
Rapport technique CEDRIC n o (2007)
y Departement de mathematiques et d'informatique Universite de Sherbrooke, Sherbrooke,
Conservatoire National des Arts et Métiers (2007)
Automatic Production Of, R. Laleau
in order to have a comprehensive model of an IS. The apis project will be the first to study the automation of information systems production from formal specifications. The success of the apis...
UML notations require adaptation for applications such as Information Systems (IS). Thus we have defined IS-UML. The purpose of this article is twofold. First, we propose an extension to this...
Proving event ordering properties for information systems (2003)
Abstract. This paper presents an approach to prove event ordering properties for B specifications of information systems. The properties are expressed using the eb 3 notation, where input event...