ملخص: 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:
لغة: فرنسية
الوصف المادي: 116 p. ill. ;30 cm.
الشهادة: Magister
مؤسسة مناقشة الرسالة: Oran, Université des Sciences et de la Technologie. Faculté des Sciences
تخصص: Informatique
الفهرس العشري 005.12 .هندسة البرمجيات (تحليل احتياجات المستخدم الأولية لتطوير نظام برمجيات الإجابة لهذه الاحتياجات ، وتحليل وتصميم البرمجيات ، وتحليل وتصميم نظم البرمجيات ، والتصميم البرامج ، وإعداد مواصفات تصميم البرنامج وأنواع أخرى من الوثائق الفنية لتصميم البرنامج)
الموضوع الإعلام الآلي

الكلمات الدالة:
Pétri, réseaux de
LOTOS (Language Of Temporal Ordering Specification)

ملاحظة: Bibliogr. pp.113-116