Labelled Port Graph – A Formal Structure for Models and Computations

Abstract : We present a general definition of labelled port graph that serves as a basis for the design of graph-based programming and modelling frameworks (syntax and semantics). We show that this structure provides the syntax for programs, which are composed of an initial graph, a set of rules and a strategy. Rules, represented as labelled port graphs, apply to states, also represented as labelled port graphs, and compute their successors according to the given strategy. The description of states, rules, and computations controlled by strategies, using labelled port graphs, is detailed and illustrated with examples from Porgy, a strategic port graph rewriting environment for the design of executable specifications of complex systems.
Type de document :
Article dans une revue
Electronic Notes in Theoretical Computer Science, Elsevier, 2018, The 12th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2017), 338, pp.3 - 21. 〈10.1016/j.entcs.2018.10.002〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01910220
Contributeur : Bruno Pinaud <>
Soumis le : mercredi 31 octobre 2018 - 16:40:42
Dernière modification le : vendredi 9 novembre 2018 - 01:15:26
Document(s) archivé(s) le : vendredi 1 février 2019 - 16:55:47

Fichier

1-s2.0-S1571066118300689-main....
Fichiers éditeurs autorisés sur une archive ouverte

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Pas de modification 4.0 International License

Identifiants

Collections

Citation

Maribel Fernández, Hélène Kirchner, Bruno Pinaud. Labelled Port Graph – A Formal Structure for Models and Computations. Electronic Notes in Theoretical Computer Science, Elsevier, 2018, The 12th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2017), 338, pp.3 - 21. 〈10.1016/j.entcs.2018.10.002〉. 〈hal-01910220〉

Partager

Métriques

Consultations de la notice

19

Téléchargements de fichiers

19