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

par Marc Aiguier

Thèse de doctorat en Sciences appliquées

Sous la direction de Marie-Claude Gaudel.

Soutenue en 1995

à Paris 11 .


  • Résumé

    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

  • Titre traduit

    Algebraic object oriented specifications: a formalism proposal and its applications to the abstract implementation


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 150 f.
  • Notes : Publication autorisée par le jury
  • Annexes : 46 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Versailles Saint-Quentin-en-Yvelines. Direction des Bibliothèques et de l'Information Scientifique et Technique-DBIST. Bibliothèque universitaire Sciences et techniques.
  • Disponible pour le PEB
  • Cote : T950505
  • Bibliothèque : Université Paris-Saclay. DIBISO. BU Orsay.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-012127

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1995-AIG
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.