Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

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

Maribel Fernandez
  • Fonction : Auteur
  • PersonId : 891587
Hélène Kirchner

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

Autre [cs.OH]
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: 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⟩
259 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More