Communication Dans Un Congrès Année : 2014

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

Résumé

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.

Domaines

Fichier non déposé

Dates et versions

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

Identifiants

Citer

Maribel Fernandez, Hélène Kirchner, Ian Mackie, Bruno Pinaud. Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY. Computability In Europe, Jun 2014, Budapest, Hungary. pp.183-193, ⟨10.1007/978-3-319-08019-2_19⟩. ⟨hal-00984284⟩
371 Consultations
0 Téléchargements

Altmetric

Partager

  • More