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.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00984284
Contributor : Bruno Pinaud <>
Submitted on : Monday, April 28, 2014 - 10:24:45 AM
Last modification on : Tuesday, April 2, 2019 - 1:45:26 AM

Identifiers

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. Computability In Europe, Jun 2014, Budapest, Hungary. pp.183-193, ⟨10.1007/978-3-319-08019-2_19⟩. ⟨hal-00984284⟩

Share

Metrics

Record views

426