Synthesizing Information Systems: the APIS Project (2009)
Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard
Abstract — This article presents the main features of the APIS project that addresses the rapid development of information systems from formal specifications. Information systems are specified...
Algebraic State Transition Diagrams (2009)
Faculté Des Sciences, Frédéric Gervais, Régine Laleau, Benoît Fraikin
This paper introduces a graphical notation called algebraic state transition diagrams (ASTD), which allows for the combination of state transition diagrams using classical process algebra operators...
methods to model airport security (2008)
Yves Ledru, Régine Laleau, M. Lemoine, S. Vignes, D. Bert, V. Donzeau, ...
attempt to combine UML and formal methods to model
Mapping Object Diagrams into B Specifications (2008)
Antony Bryant, Lesley Semmens (eds, Regine Laleau, Hong Phuong Nguyen, Régine Laleau, Hong Phuong Nguyen
Published in collaboration with the
An attempt to combine UML and formal methods to model airport security (2008)
Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-gouge, ...
Abstract. 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...
Secure Database Development and the Clark-Wilson Security Model (2008)
Xiaocheng Ge, Fiona Polack, Régine Laleau
Abstract. Information systems are vulnerable to accidental or malicious attacks. Security models for commercial computer systems exist, but information systems security is often ignored or added at...
Secure Databases: an Analysis of Clark-Wilson Model in a Database Environment (2008)
Xiaocheng Ge, Fiona Polack, Régine Laleau
Abstract. Information systems are vulnerable to accidental or malicious attacks. Security models for commercial computer systems exist, but information systems security is often ignored or added at...
EB3TG: A TOOL SYNTHESIZING RELATIONAL DATABASE TRANSACTIONS FROM EB3 ATTRIBUTE DEFINITIONS (2008)
Frédéric Gervais, Panawé Batanado, Régine Laleau
Abstract: EB3 is a formal language for specifying information systems (IS). In EB3, the sequences of events accepted by the system are described with a process algebra; they represent the valid...
Metamodels for a UML for Information Systems Specification (2007)
Model of an Information System This paper focuses on the specification of an IS. Classes are used to describe data and operations; behavioural models are used to represent the transactions which...
Reuse of Specification Patterns with the B Method (2006)
Blazy, Sandrine, Gervais, Frédéric, Laleau, Régine
This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a specification pattern...
EB3TG : Un outil de génération de transactions de base de données relationnelle pour EB3 (2006)
Batanado, Panawe, Gervais, Frédéric, Frappier, Marc, Laleau, Régine
EB3 is a formal language dedicated to information systems specification. Entity type and association attributes are evaluated by recursive functions defined on valid traces of systems. In this paper,...
EB3TG : Un outil de génération de transactions de base de données relationnelle pour EB3 (2006)
Batanado, Panawe, Gervais, Frédéric, Frappier, Marc, Laleau, Régine
EB3 is a formal language dedicated to information systems specification. Entity type and association attributes are evaluated by recursive functions defined on valid traces of systems. In this paper,...
Fraikin, Benoît, Frappier, Marc, Laleau, Régine
This paper compares two formal methods, B and eb3, for specifying information systems. These two methods are chosen as examples of the state-based paradigm and the event-based paradigm, respectively....
Fraikin, Benoît, Frappier, Marc, Laleau, Régine
This paper compares two formal methods, B and eb3, for specifying information systems. These two methods are chosen as examples of the state-based paradigm and the event-based paradigm, respectively....
EB 3 attribute definitions: Formal language and application (2005)
Frédéric Gervais, Régine Laleau, Panawé Batanado
eb 3 is a trace-based formal language created for the specification of information systems (IS). In this technical report, we present the eb 3 formal language for attribute definitions. Attributes,...
R.: Reuse of Specification Patterns with the B Method (2004)
Rine Blazy, Frédéric Gervais, Régine Laleau
Abstract. This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a...
Synthesizing B substitutions for EB 3 attribute definitions (2004)
Frédéric Gervais, Régine Laleau
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 functions...
R.: Reuse of Specification Patterns with the B Method (2004)
Rine Blazy, Frédéric Gervais, Régine Laleau
Abstract. This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a...
Reuse of Specification Patterns with the B Method (2003)
Blazy, Sandrine, Gervais, Frédéric, Laleau, Régine
This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a specification pattern...
Reuse of Specification Patterns with the B Method (2003)
Blazy, Sandrine, Gervais, Frédéric, Laleau, Régine
This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a specification pattern...
Reuse of Specification Patterns with the B Method (2003)
Blazy, Sandrine, Gervais, Frédéric, Laleau, Régine
This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a specification pattern...
Metamodels for Static Conceptual Modelling of Information Systems (2000)
this paper explores the semantics of class models, focusing on specification needs. The semantics is presented as metamodels, which are discussed in comparison with those of OMG[11]. A formal...