Skip to Main content Skip to Navigation

Combinaison de spécifications formelles pour la modélisation des systèmes d'information

Abstract : Our aim is to use only formal notations and techniques to specify information systems (IS), contrary to current methodologies that are based on semi-formal notations. On one hand, EB3 is a trace-based formal language specially created for the specification of such systems. On the other hand, B is a state-based formal language well adapted for the specification of IS static properties. A new approach called EB4 has been defined to integrate both EB3 and B. Process expressions described in EB3 are first used to represent the behaviour of the system. Then, the specification is translated into B in order to specify the main static properties. For the implementation, a set of translation rules has been defined to automatically synthesize relational database transactions from the data model described in EB3.
Document type :
Complete list of metadata

Cited literature [98 references]  Display  Hide  Download
Contributor : Frédéric Gervais <>
Submitted on : Tuesday, December 19, 2006 - 10:45:23 AM
Last modification on : Wednesday, February 10, 2021 - 12:30:02 PM
Long-term archiving on: : Wednesday, April 7, 2010 - 12:59:53 AM


  • HAL Id : tel-00121006, version 1



Frédéric Gervais. Combinaison de spécifications formelles pour la modélisation des systèmes d'information. Génie logiciel [cs.SE]. Conservatoire national des arts et metiers - CNAM; Université de Sherbrooke, 2006. Français. ⟨tel-00121006⟩



Record views


Files downloads