Résumé: Dans cette thèse, nous proposons une sémantique formelle de Basic LOTOS (Language of Temporal Ordering Specification). C'est un sous-ensemble de LOTOS ou les processus interagissent entre eux par synchronisation pure, sans échanges de valeurs. Dans basic LOTOS on peut apprécier l'expressivité de tous les opérateurs de contrôle sans être distraits par les échanges de valeurs inter-processus. C'est un langage FDT généralement applicable au traitement des systèmes distribués et/ou concurrents. Durant la dernière décennie, un grand nombre de travaux ont été consacrés à la compilation et à la vérification de spécifications LOTOS. Parmi ces travaux, l'utilisation des réseaux de Petri comme outil intermédiaire pour la réalisation d'un compilateur d'un sous-ensemble de LOTOS. Dans notre approche nous proposons une large utilisation d'une classe de réseaux de Petri de haut niveau : les M-nets. Ce modèle autorise une modélisation compositionnelle et apparaît donc particulièrement adapté à la sémantique de basic LOTOS vu la structuration modulaire des spécifications.

Oran:
Langue: Français
Collation: 116 p. ill. ;30 cm.
Diplôme: Magister
Etablissement de soutenance: Oran, Université des Sciences et de la Technologie. Faculté des Sciences
Spécialité: Informatique
Index décimal 005.12 .Génie logiciel (analyse des besoins d'un utilisateur préliminaire à l'élaboration d'un système logiciel répondant à ces besoins, analyse et conception de logiciels, analyse et conception des systèmes de logiciels, conception de programmes, préparation des
Thème Informatique

Mots clés:
Pétri, réseaux de
LOTOS (Language Of Temporal Ordering Specification)

Note: Bibliogr. pp.113-116