Hierarchie et heterogeneite dans les specifications formelles

• Auteur / Autrice : SOPHIE COUDERT
• Direction : Gilles Bernot
• Type : Thèse de doctorat
• Discipline(s) : Sciences et techniques
• Date : Soutenance en 1998
• Etablissement(s) : Evry-Val d'Essonne

Résumé

Afin de faciliter l'utilisation des specifications formelles en vue d'ameliorer la qualite des logiciels, deux grandes tendances se sont degagees ces dernieres annees : d'une part la grande diversite des formalismes qui, specialises, permettent des specifications plus lisibles ou offrent des outils (de preuve par exemple) plus puissants, et d'autre part la structuration des specifications qui decomposables en modules permettent d'aborder des problemes plus complexes. Conjuguant ces deux aspects, cette these propose un cadre rigoureux dans lequel on peut connecter des modules de specification, chacun ecrit dans son propre formalisme, formant ainsi des specifications structurees dites heterogenes. Ce cadre est base sur une caracterisation generique et donc unifiee des modules de specification, pourvus chacun d'une semantique, d'un systeme de preuves fonde et d'un domaine d'application, ce qui leur confere toute l'autonomie utile dans une perspective de reutilisation. Aux specifications complexes sont associes automatiquement des attributs structures (semantique, preuves, domaines) deduits des attributs des composants atomiques et l'heterogeneite est introduite a l'aide de modules de traduction, cas particuliers de la notion generale de module proposee. Cette modelisation recouvre entre autre les approches precedentes de la structuration hierarchique homogene. Elle se veut pragmatique : l'heterogeneite est souple, les traductions peuvent etre partielles ; et au dessus de fondements rigoureux nous proposons une apprehension intuitive des specifications comme des murs dont les composants seraient les briques ; enfin, par son caractere tres formel, ce cadre peut servir de contrepartie theorique a une implantation d'environnement de specifications heterogenes.