Pil : outil de pre-implementation de lotos

par Ahmed Serhrouchni

Thèse de doctorat en Sciences appliquées

Sous la direction de Guy Pujolle.

Soutenue en 1990

à Paris 6 .

    mots clés mots clés


  • Résumé

    Lotos (language of temporal ordering specification) et estelle (extended state transition language) sont les deux techniques de description formelles normalisees a l'iso et au ccitt. Cette these propose une methodologie pour aller d'une specification lotos vers des implementations. Pour cela nous avons introduit le concept de pre-implementation comme etape intermediaire entre le monde formel represente par lotos et les mondes informels representes par les differents types d'implementations que nous pouvons envisager pour lotos. La pre-implementation se base sur un modele/langage nomme primol que nous avons defini pour coller au mieux a lotos. Primol est une hierarchie d'automates a etats finis et etendues, chaque automate controle et synchronise ses sous-automates. La semantique de lotos et primol est representee par des systemes de transitions etiquetees par le meme ensemble d'actions. Le controle etant fini en primol, seul un sous-ensemble de lotos est considere. Des transformations syntaxiques qui conservent la semantique initiale sont definies sur primol. Ces transformations se basent sur un mecanisme elementaire: la fusion d'un automate avec un de ses sous-automates. Par transformations successives d'une pre-implementation primol nous obtenons l'automate global. Ces transformations permettent egalement de faire des preuves de theoremes, d'orienter vers differents types d'implementation et de faire de la verification. L'outil pil est une mise en uvre de la methodologie proposee


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 90 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.
  • Accessible pour le PEB
  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : T Paris 6 1990 686
  • 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 1990
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.