Atelier logiciel pleiade : édition des modules et suivi des applications StarLET

par Aicha-Nabila Benharkat

Thèse de doctorat en Informatique et automatique appliquée

Sous la direction de Louis Frécon.

Soutenue en 1990

à Lyon, INSA , en partenariat avec LIA - Laboratoire d'Informatique Appliquée (Lyon) (laboratoire) .


  • Résumé

    Les grammaires affixes sont à l'origine du langage LET (langage d’Écriture de traducteurs), spécialement adapté à la réalisation d'interprètes, compilateurs et de façon générale, à la réalisation de tout programme à dominante grammaticale. La confrontation des qualités de ce langage aux services rendus par Prolog ont amené Jean Beney à définir StarLET, langage dérivé de LET facilitant le maquettage des applications puis leur évolution continue par raffinements successifs jusqu'à un produit final compilé et fiable. La commodité d'emploi exigeant la coexistence d'un compilateur (pour la production) et d'un interprète (pour le prototypage), nous proposons un système de développement incrémental prenant en compte les deux modes de développement. Ce système dénommé Pléiade est un ensemble d'outils activés à partir d'un système de commandes. La construction de programmes se fait alors par le biais d'un éditeur syntaxique manipulant une forme abstraite et une forme textuelle produites respectivement par un analyseur/constructeur et un dé-compilateur. Le processus d'édition s'accompagne de la construction incrémentale d'une base de programmes qui permet à l'outil de gestion de modules de contrôler l'évolution des composants d'applications en termes de: -Détection d'effets de bord des modifications à l'édition. -Contrôle de cohérence des importations des interfaces à l'édition. - et Gestion de configuration exécutable ( constitution de configurations, re-compilations automatiques minimales). Nous présentons également un système d'interrogation documentaire sur l'application construite aidant à prévenir certains problèmes de maintenance mais surtout à fournir à l'utilisateur les informations cherchées avec un minimum d'efforts. L'ensemble des outils de Pléiade est coordonné par le système de commandes qui géra l'enchaînement des phases de développement, en particulier les transitions de l'éditeur syntaxique vers le vérificateur ou 1 'interprète ou le générateur de code.

  • Titre traduit

    = Pleiade workshop : modules editing and consistency control in starlet applications


  • Résumé

    The affixed grammars are at the origin of the language LET (language of Writing of translators), specially adapted to the realization of interpreters, compilers and in general, to the realization of any program with grammatical predominance. The comparison of the qualities of this language with the services rendered by Prolog led Jean Beney to define StarLET, language derived from LET facilitating the mapping of the applications then their continuous evolution by successive refinements until a compiled and reliable final product. The convenience of use requiring the coexistence of a compiler (for production) and an interpreter (for prototyping), we propose an incremental development system taking into account the two modes of development. This system called Pléiade is a set of tools activated from a system of commands. The program is constructed by means of a syntactic editor manipulating an abstract form and a textual form produced respectively by an analyzer / constructor and a uncompiler. The editing process is accompanied by the incremental construction of a program base which allows the module management tool to control the evolution of the application components in terms of: -Detection of edge effects of editing changes. -Control of the consistency of imports from interfaces to publishing. - and Management of executable configuration (constitution of configurations, minimal automatic re-compilations). We also present a documentary query system on the built application helping to prevent certain maintenance problems but above all to provide the user with the information sought with a minimum of effort. The set of Pléiade tools is coordinated by the system of commands which manages the sequence of development phases, in particular the transitions from the syntactic editor to the verify or the interpreter or the code generator.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (212 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr.

Où se trouve cette thèse ?

  • Bibliothèque : Institut national des sciences appliquées (Villeurbanne, Rhône). Service Commun de la Documentation Doc'INSA.
  • Disponible pour le PEB
  • Cote : C.83(1192)
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.