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

  • Maribel Fernández
  • Hélène Kirchner
  • Ian Mackie
  • Bruno Pinaud
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8493)


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.


port graph graph rewriting strategies operational semantics abstract machine 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Andrei, O.: A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems. PhD thesis, Institut National Polytechnique de Lorraine (2008)Google Scholar
  2. 2.
    Andrei, O., Fernández, M., Kirchner, H., Melanc̨on, G., Namet, O., Pinaud, B.: PORGY: Strategy-Driven Interactive Transformation of Graphs. In: 6th Int. Workshop on Computing with Terms and Graphs, vol. 48, pp. 54–68. EPTCS (2011)Google Scholar
  3. 3.
    Auber, D., Archambault, D., Bourqui, R., Lambert, A., Mathiaut, M., Mary, P., Delest, M., Dubois, J., Mélançon, G.: The Tulip 3 Framework: A Scalable Software Library for Information Visualization Applications Based on Relational Data. Technical Report RR-7860. Inria (January 2012)Google Scholar
  4. 4.
    Bourdier, T., Cirstea, H., Dougherty, D.J., Kirchner, H.: Extensional and intensional strategies. In: Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, vol. 15, pp. 1–19. EPTCS (2009)Google Scholar
  5. 5.
    Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic approaches to graph transformation - part i: Basic concepts and double pushout approach. In: Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, vol. 1, pp. 163–246. World Scientific (1997)Google Scholar
  6. 6.
    Courcelle, B.: Graph Rewriting: An Algebraic and Logic Approach. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol. B, pp. 193–242. Elsevier and MIT Press (1990)Google Scholar
  7. 7.
    Ermel, C., Rudolf, M., Taentzer, G.: The AGG approach: Language and environment. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformations. Applications, Languages, and Tools, vol. 2, pp. 551–603. World Scientific (1997)Google Scholar
  8. 8.
    Fernández, M., Mackie, I.: A calculus for interaction nets. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol. 1702, pp. 170–187. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  9. 9.
    Fernández, M., Kirchner, H., Namet, O.: A Strategy Language for Graph Rewriting. In: Vidal, G. (ed.) LOPSTR 2011. LNCS, vol. 7225, pp. 173–188. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  10. 10.
    Lafont, Y.: Interaction nets. In: Proceedings of the 17th ACM Symposium on Principles of Programming Languages (POPL 1990), pp. 95–108. ACM Press (1990)Google Scholar
  11. 11.
    Martí-Oliet, N., Meseguer, J., Verdejo, A.: Towards a strategy language for Maude. Electr. Notes Theor. Comput. Sci. 117, 417–441 (2005)CrossRefGoogle Scholar
  12. 12.
    Nickel, U., Niere, J., Zündorf, A.: The FUJABA environment. In: ICSE, pp. 742–745 (2000)Google Scholar
  13. 13.
    Pinaud, B., Melançon, G., Dubois, J.: PORGY: A Visual Graph Rewriting Environment for Complex Systems. Computer Graphics Forum 31(3), 1265–1274 (2012)Google Scholar
  14. 14.
    Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program. 60-61, 17–139 (2004)Google Scholar
  15. 15.
    Plump, D.: The Graph Programming Language GP. In: Bozapalidis, S., Rahonis, G. (eds.) CAI 2009. LNCS, vol. 5725, pp. 99–122. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  16. 16.
    Schürr, A., Winter, A.J., Zündorf, A.: The PROGRES Approach: Language and Environment. In: Handbook of Graph Grammars and Computing by Graph Transformations. Applications, Languages, and Tools, vol. 2, pp. 479–546. World Scientific (1997)Google Scholar
  17. 17.
    Visser, E.: Stratego: A Language for Program Transformation Based on Rewriting Strategies System Description of Stratego 0.5. In: Middeldorp, A. (ed.) RTA 2001. LNCS, vol. 2051, pp. 357–361. Springer, Heidelberg (2001)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Maribel Fernández
    • 1
  • Hélène Kirchner
    • 2
  • Ian Mackie
    • 3
  • Bruno Pinaud
    • 4
  1. 1.King’s CollegeLondonUK
  2. 2.InriaParis-RocquencourtFrance
  3. 3.École PolytechniqueFrance
  4. 4.University of BordeauxFrance

Personalised recommendations