Sémantique des systèmes réactifs : raffinement, bisimulations et sémantique opérationnelle structurée dans les systèmes de transitions asynchrones

• Auteur / Autrice : Juan Vicente Echagüe Zappettini
• Direction : Philippe Jorrand
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1993
• Etablissement(s) : Grenoble INPG
• Partenaire(s) de recherche : Laboratoire : Institut d'informatique et mathématiques appliquées (Grenoble1989-2006)
• Jury : Examinateurs / Examinatrices : Joseph Sifakis

Mots clés

Mots clés libres

Systèmes réactifs

Sta

Sémantique

Transition

Abstraction

Résumé

Dans cette thèse, nous étudions les systèmes de transitions asynchrones en tant que modèles pour la sémantique des systèmes réactifs. Les systèmes de transitions asynchrones (STA) de Shields et Bednarczyk, sont une généralisation des systèmes de transitions (ST) et des structures d'événements stables (SE). Tout d'abord nous définissons l'opération de raffinement d'actions sur les STA, qui permet de relier entre elles les descriptions d'un système a différents niveaux d'abstraction. Ensuite, nous proposons des équivalences sémantiques sur les STA et nous étudions leur compatibilité avec l'opération de raffinement. Enfin, nous relions notre cadre avec celui de la théorie des sémantiques opérationnelles structurées (SOS) de Plotkin