Recherche Avancée

Thèse soutenue

Asspegique : un environnement d'exceptions : une sémantique opérationnelle des E, R-algèbres, formalisme prenant en compte les exceptions : un environnement integré de spécification algébrique

FR  |  
EN
Auteur / Autrice : Francis Capy
Direction : Marie-Claude Gaudel
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1987
Etablissement(s) : Paris 11
Partenaire(s) de recherche : Autre partenaire : Université de Paris-Sud. Faculté des sciences d'Orsay (Essonne)
Jury : Président / Présidente : Marie-Claude Heydemann-Tcherkez
Examinateurs / Examinatrices : Marie-Claude Heydemann-Tcherkez, Michel Bidoit, Marie-Claude Gaudel, Christine Choppy, Jean-Pierre Finance, Axel van Lamsweerde
Rapporteur / Rapporteuse : Michel Bidoit

Résumé

FR

Les E, R-algèbres sont une extension des types abstraits classiques pour spécifier différents types de traitements d'exception. Dans cette extension, les supports des sorts sont partagés en valeurs de qualités ok ou er. Les erreurs et leurs récupérations éventuelles sont spécifiées au moyen de déclarations. Toute erreur est propagée tant qu'elle n'est pas récupérée. Les axiomes se répartissent en deux parties : les premiers ne s'appliquent qu'entre valeurs ok, les seconds entre valeurs er. Après une étude du formalisme algébrique des E, R-algèbres et une mise en évidence de certaines de ses faiblesses, une sémantique opérationnelle est développée, en orientant les axiomes en règles de récriture. La récriture dans les E, R-algèbres diffère notablement de la récriture classique : les mécanismes de déclarations et de propagation d'erreur induisent une hiérarchie entre les règles ; le calcul de la qualité d'un terme et celui de sa forme normale ne pouvant être dissociés, seule la stratégie d'évaluation par valeur peut être appliquée. La sémantique opérationnelle est définie en termes d'équivalence d'un E, R-système de récriture avec un système classique sans hiérarchie et sans stratégie. Une méthode de traduction est présentée. L'utilisation effective de spécifications algébriques suppose un environnement intégrant divers outils qui travaille sur une bibliothèque de spécifications. ASSPEGIQUE est un environnement souple et extensible destiné au développement de spécifications de grande taille. PLUSS, la famille de langages de spécification sous-jacente, possède les primitives de structuration, contrôle de visibilité et renommage nécessaires à la manipulation de modules hiérarchiques et réutilisables. ASSPEGIQUE traite indifféremment plusieurs variantes de PLUSS. L'une d'elles prend en compte le formalisme des E, R-algèbres. La syntaxe et la sémantique de ces variantes sont étudiées. Un élément essentiel de l'environnement ASSPEGIQUE est la bibliothèque de spécifications, dont la gestion et le maintien de la cohérence posent des problèmes non triviaux de gestion de base de données. L'architecture de cette bibliothèque est soigneusement analysée puis spécifiée en PLUSS.