Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

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.
Liste complète des métadonnées

https://hal-enac.archives-ouvertes.fr/hal-03457039
Contributeur : Celia Picard Connectez-vous pour contacter le contributeur
Soumis le : mardi 30 novembre 2021 - 12:58:19
Dernière modification le : mercredi 6 avril 2022 - 16:36:01
Archivage à long terme le : : mardi 1 mars 2022 - 19:02:01

Fichier

afadl2021_paper_2.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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⟩

Partager

Métriques

Consultations de la notice

33

Téléchargements de fichiers

14