Représentation de programmes SMALA grâce à la théorie des bigraphes - ENAC - École nationale de l'aviation civile Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Représentation de programmes SMALA grâce à la théorie des bigraphes

Résumé

Dans le but de certifier le compilateur du langage réactif-interactif SMALA, nous cherchons à représenter sa sémantique en instanciant la théorie des bigraphes. En nous limitant dans un premier temps à un sous-ensemble de ce langage, nous avons pu représenter ses différents acteurs comme des entités distribuées dans l'espace. Des règles de réaction sur les bigraphes permettent de mettre ces entités en mouvement et en relation les unes avec les autres afin de représenter l'exécution du programme en plus de sa structure.
Fichier principal
Vignette du fichier
afadl2021_paper_2.pdf (1.11 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03457039 , version 1 (30-11-2021)

Identifiants

  • HAL Id : hal-03457039 , version 1

Citer

Cécile Marcon, Nicolas Nalpon, Cyril Allignol, Célia Picard. Représentation de programmes SMALA grâce à la théorie des bigraphes. AFADL, Jun 2021, En ligne, France. ⟨hal-03457039⟩

Collections

ENAC LII
123 Consultations
75 Téléchargements

Partager

Gmail Facebook X LinkedIn More