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

par Frédéric Gervais

Thèse de doctorat en Informatique

Sous la direction de Véronique Donzeau-Gouge Viguié et de Marc Frappier.

Soutenue en 2006

à Paris, CNAM en cotutelle avec l'Université de Sherbrooke .


  • Résumé

    Notre but est d'utiliser des notations et des techniques formelles pour concevoir des systemes d'information (si), contrairement aux methodes actuelles qui sont au mieux semi-formelles. D'une part, eb3 est un langage formel base sur les traces d'evenements, qui a ete defini pour ce type de systemes. D'autre part, b est un langage base sur les etats, qui est adapte a la specification des proprietes statiques des si. Une nouvelle approche appelee eb4 a ete definie afin de beneficier a la fois des avantages de eb3 et b. Dans un premier temps, les processus decrits en eb3 sont utilises pour representer le comportement du systeme. Ensuite, la specification est traduite en b pour specifier les proprietes statiques du si. Enfin, des techniques de synthese ont ete developpees afin de generer automatiquement des transactions bd relationnelles a partir du modele de donnees decrit en eb3.

  • Titre traduit

    Coupling of formal specifications for modelling information system


  • Résumé

    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 db transactions from the data model described in eb3.

Autre version

Cette thèse a donné lieu à une publication en 2006 par [CCSD] [diffusion/distribution] à Villeurbanne

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

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (235 p.)
  • Annexes : Bibliogr. 118 réf. Glossaire

Où se trouve cette thèse ?

  • Bibliothèque : Conservatoire national des arts et métiers (Paris). Bibliothèque Centrale.
  • Non disponible pour le PEB
  • Cote : Th A 534
  • Bibliothèque : Conservatoire national des arts et métiers (Paris). Bibliothèque Centrale.
  • Consultable sur place dans l'établissement demandeur
  • Cote : Th A 534 double
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.