Thèse soutenue

Spécifications algébriques par objets : une proposition de formalisme et ses applications à l'implantation abstraite

FR  |  
EN
Auteur / Autrice : Marc Aiguier
Direction : Marie-Claude Gaudel
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1995
Etablissement(s) : Paris 11

Résumé

FR

Nous proposons un nouveau formalisme algébrique dédié à la spécification formelle orientée objet. Une des principales différences avec les formalismes algébriques classiques est l'introduction d'opérations, appelées méthodes par analogie aux langages de programmation orientés objet, dont la sémantique change selon un état implicite interne. Une des particularités de notre approche est alors de considérer des états implicites locaux comme des modificateurs de sémantiques des opérations. L'intérêt de considérer de tels états permet d'écrire des spécifications plus claires et plus concises, propriétés subjectives mais importantes pour tout formalisme de spécification. Notre formalisme de spécification se subdivise en deux parties. La première partie décrit le comportement de l'élément de base, appelé type d'objets. La seconde partie permet de combiner les types d'objets entre eux afin de spécifier le comportement d'un système. Dans notre formalisme, la spécification d'un type d'objets peut être vue comme une extension d'un module de spécification et un système de types d'objets comme une extension du concept de spécification modulaire. L'approche est cependant très différente car dans notre définition d'un système de types d'objets nous autorisons les cycles. Nous avons établi quelques résultats comparables à ceux obtenus pour les spécifications algébriques classiques. Enfin, nous avons élaboré une nouvelle théorie de l'implantation abstraite adaptée à notre formalisme