Pluss, un langage pour le développement de spécifications algébriques modulaires

par Michel Bidoit

Thèse de doctorat en Informatique

Sous la direction de Marie-Claude Gaudel.

Soutenue en 1989

à Paris 11 .


  • Résumé

    Nous décrivons dans cette thèse le langage de spécification Pluss, qui est un langage permettant d'exprimer des spécifications algébriques modulaires et le processus permettant d'obtenir de telles spécifications par raffinements successifs. Une des principales originalités du langage Pluss est de distinguer entre spécifications achevées (celles qui sont prêtes à être implémentées) et spécifications en cours de développement. Nous étudions dans quelle mesure deux concepts clés en matière de développement de logiciels, la modularité et la réutilisation, peuvent être modélisés de façon adéquate au niveau de la sémantique du langage de spécification. Nous montrons que ni l'approche de type "modèle initial" ni l'approche de type "classe de modèles" ne sont suffisament puissantes, et nous définissons une nouvelle approche, qualifiée d'approche de type"classe stratifiée de modèles", qui est utilisée pour définir la sémantique du langage de spécification Pluss. La description du langage Pluss est illustrée de nombreux exemples et d'une étude de cas, la spécification d'un sous-ensemble du système de gestion de fichiers d'Unix.

  • Titre traduit

    Pluss, a language for the development of modular algebraic specifications


  • Résumé

    In this thesis we describe the Pluss specification language. With the Pluss language, it is possible to express both modular algebraic specifications and the development process of such specifications by stepwise refinements. Indeed one of the main originality of Pluss is to state a careful distinction between completed specification components (those that are ready to be implemented) and specification components under development. We study how far some crucial concerns about software development, such as modularity and reusability, can be modelized at the level of the semantics of the specification language. We show that neither the initial approach nor the loose one is powerful enough to reflect our intuition and needs about software modularity and reusability, and we introduce a more sophisticated framework, the stratified loose semantics, which is used to define the formal semantics of the Pluss specification language. The description of the Pluss language is illustrated by numerous examples and a case study, the specification of a subset of the Unix file system.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 3 vol. (VI-241 f.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. f. 231-241

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paris-Saclay. DIBISO. BU Orsay.
  • Accessible pour le PEB
  • Cote : 0g ORSAY(1989)82(1)
  • Bibliothèque : Université Paris-Saclay. DIBISO. BU Orsay.
  • Disponible pour le PEB
  • Cote : 0g ORSAY(1989)82(2)
  • Bibliothèque : Université Paris-Saclay. DIBISO. BU Orsay.
  • Disponible pour le PEB
  • Cote : 0g ORSAY(1989)82(3)
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-035354
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-035355
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-035356
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : BIDOIT p

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 1989PA112082
  • 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.