Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY

Maribel Fernandez
  • Function : Author
  • PersonId : 891587
Hélène Kirchner

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.

Domains

Other [cs.OH]
No file

Dates and versions

hal-00984284 , version 1 (28-04-2014)

Identifiers

Cite

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⟩
258 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More