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 :
Theses
Complete list of metadatas

Cited literature [98 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00121006
Contributor : Frédéric Gervais <>
Submitted on : Tuesday, December 19, 2006 - 10:45:23 AM
Last modification on : Tuesday, September 17, 2019 - 11:06:08 AM
Long-term archiving on: Wednesday, April 7, 2010 - 12:59:53 AM

Identifiers

  • HAL Id : tel-00121006, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

347

Files downloads

2913