Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

https://hal-enac.archives-ouvertes.fr/hal-03457039
Contributor : Celia Picard Connect in order to contact the contributor
Submitted on : Tuesday, November 30, 2021 - 12:58:19 PM
Last modification on : Friday, January 7, 2022 - 9:02:46 AM

File

afadl2021_paper_2.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03457039, version 1

Collections

ENAC | LII

Citation

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⟩

Share

Metrics

Les métriques sont temporairement indisponibles