Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY: 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings

Abstract : PORGY is a visual modelling tool, where a system is defined by a strategic graph program. In this paper, we provide an operational semantics for strategic graph programs by means of an abstract machine. The semantics specifies the valid transformation steps, providing a link between the model and its implementation in PORGY.
Type de document :
Communication dans un congrès
Arnold Beckmann; Erzsébet Csuhaj-Varjú; Klaus Meer. Computability In Europe, Jun 2014, Budapest, Hungary. Springer International Publishing, Lecture Notes in Computer Science, 8493, pp.183-193, 2014, Language, Life, Limits. 〈10.1007/978-3-319-08019-2_19〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00984284
Contributeur : Bruno Pinaud <>
Soumis le : lundi 28 avril 2014 - 10:24:45
Dernière modification le : jeudi 10 mai 2018 - 02:06:52

Identifiants

Citation

Maribel Fernandez, Hélène Kirchner, Ian Mackie, Bruno Pinaud. Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY: 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings. Arnold Beckmann; Erzsébet Csuhaj-Varjú; Klaus Meer. Computability In Europe, Jun 2014, Budapest, Hungary. Springer International Publishing, Lecture Notes in Computer Science, 8493, pp.183-193, 2014, Language, Life, Limits. 〈10.1007/978-3-319-08019-2_19〉. 〈hal-00984284〉

Partager

Métriques

Consultations de la notice

388