Les transformations lotomaton : une contribution a la pre-implementation des systemes lotos

par ABDERRAHMANE LAKAS

Thèse de doctorat en Sciences appliquées

Sous la direction de C. GIRAULT.

Soutenue en 1996

à Paris 6 .

    mots clés mots clés


  • Résumé

    Cette these propose une methode de pre-implementation de systemes ecrits en lotos. Cette methode offre un ensemble de transformations qui consiste a traduire une specification lotos vers un modele de pre-implementation represente par une hierarchie d'automates transducteurs. La pre-implementation peut servir a produire du code executable et aussi a generer des automates pour la verification formelle. Cette approche differe des techniques usuelles par l'utilisation des contextes dans lotos. La semantique des contextes est exprimee en termes de transducteurs. La traduction des expressions de comportements se fait par transformation des contextes dans des expressions d'automates que l'on peut composer ou fusionner selon la configuration de pre-implementation que l'on souhaite obtenir. Les modeles de pre-implementation sont definis dans le langage lotomaton qui est une extension de lotos aux automates transducteurs. Les transformations lotomaton ont ete entierement implementees dans l'outil graphique et interactif: alto. Cet outil accepte en entree des specifications en format cr de lotosphere (common representation)


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 193 P.
  • Annexes : 156 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1996 223
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1996
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.