Skip to main content
SpringerLink
Log in

Modelling and analysis using GROOVE

  • Regular Paper
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

Abstract

In this paper we present case studies that describe how the graph transformation tool groove has been used to model problems from a wide variety of domains. These case studies highlight the wide applicability of groove in particular, and of graph transformation in general. They also give concrete templates for using groove in practice. Furthermore, we use the case studies to analyse the main strong and weak points of groove.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Aksit, M., Rensink, A., Staijen, T.: A graph-transformation-based simulation approach for analysing aspect interference on shared join points. In: AOSD ’09, Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development, pp 39–50. ACM, New York, NY, USA (2009)

  2. Arbab F.: Reo: A channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(03), 329–366 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  3. Balasubramanian, D., Narayanan, A., van Buskirk, C., Karsai, G.: The graph rewriting and transformation language: great. In: Proceedings of the Third International Workshop on Graph Based Tools (GraBaTs 2006). ECEASST., vol. 1. EASST (2006)

  4. Bergmann, G., Horváth, Á., Ráth, I., Varró, D.: A benchmark evaluation of incremental pattern matching in graph transformation. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G., (eds.) International Conference on Graph Transformations (ICGT). LNCS., vol. 5214. pp 396–410. Springer, Berlin (2008)

  5. Chang E., Roberts R.: An improved algorithm for decentralized extrema-finding in circular configurations of processes. Comm. ACM 22(5), 281–283 (1979)

    Article  MATH  Google Scholar 

  6. Ciraci, S., van den Broek, P., Aksit, M.: Framework for computer-aided evolution of object-oriented designs. In: 32nd Annual IEEE International Computer Software and Applications. COMPSAC ’08, pp 757–764 (2008)

  7. Crouzen P., van de Pol J.C., Rensink A.: Applying formal methods to gossiping networks with mCRL and groove. ACM SIGMETRICS Perform. Eval. Rev. 36(3), 7–16 (2008)

    Article  Google Scholar 

  8. de Lara, J., Vangheluwe, H.: atom3 : a tool for multi-formalism and meta-modeling. In: Fundamental Approaches to Software Engineering (FASE). LNCS., vol. 2306, pp 174–188 (2002)

  9. de Mol, M.J., Zimakova, M.V.: A groove solution for the bpmn to bpel model transformation. Technical Report TR-CTIT-09-31, Centre for Telematics and Information Technology, University of Twente, Enschede (2009)

  10. Dikmans, L.: Transforming bpmn into bpel: Why and How. Oracle Technology Network (2008). http://www.oracle.com/technology/pub/articles/dikmans-bpm.html

  11. Dimkov, T.: Portunes security framework. http://sourceforge.net/projects/portunes/

  12. Dimkov, T., Pieters, W. P. H.: Portunes: representing attack scenarios spanning through the physical, digital and social domain. In: ARSPA-WITS, Springer, Berlin (2010)

  13. Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic Meta-Modeling: a graphical approach to the operational semantics of behavioral diagrams in uml. In: Evans, A. Kent, S. B.S., ed.: Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK), pp 323–337. Springer, Berlin (2000)

  14. The FUJABA Toolsuite. (2006). http://www.fujaba.de

  15. Geiger, L., Zündorf, A.: FUJABA case studies for GraBaTs 2008—lessons learned. Software Tools for Technology Transfer. STTT 12(3–4), pp 287–304 (2010)

    Google Scholar 

  16. Geiß, R., Batz, G.V., Grund, D., Hack, S., Szalkowski, A.: GRGEN: a fast SPO-based graph rewriting tool. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds) International Conference on Graph Transformations (ICGT). LNCS, vol. 4178, pp 383–397. Springer, Berlin (2006)

  17. 5th International Workshop on Graph-Based Tools (the contest). (2009).http://is.ieis.tue.nl/staff/pvgorp/events/grabats2009/.

  18. Hausmann, J.H.: Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages. PhD thesis, University of Paderborn, Germany (2005)

  19. Heckel R.: Graph transformation in a nutshell. Electr. Notes Theor. Comput. Sci. 148(1), 187–198 (2006)

    Article  MathSciNet  Google Scholar 

  20. Horváth, Á., Bergmann, G., Ráth, I., Varró, D.: Experimental assessment of combining pattern matching strategies with VIATRA. Software Tools for Technology Transfer. STTT 12(3–4), pp 211–230 (2010)

    Google Scholar 

  21. Horváth, Á., Varró, G., Varró, D.: Generic search plans for matching advanced graph patterns. In: Ehrig, K., Giese, H. (eds) Graph Transformation and Visual Modelling Techniques (GT-VMT). Electronic Communications of the EASST, vol. 6 (2007)

  22. Kastenberg, H., Kleppe, A., Rensink, A.: Defining object-oriented execution semantics using graph transformations. In: Gorrieri R., Wehrheim H. (eds.) Formal Methods for Open Object-Based Distributed Systems (FMOODS). LNCS, vol. 4037, pp. 186–201. Springer, Berlin (2006)

  23. König, B., Kozioura, V. (2008) augur—a new version of a tool for the analysis of graph transformation systems. ENTCS 211 201–210

    Google Scholar 

  24. Krause C., Maraikar Z., Lazovik A., Arbab F.: Modeling dynamic reconfigurations in Reo using high-level replacement systems. Sci. Comput. Program. 76(1), 23–36 (2011)

    Article  MATH  Google Scholar 

  25. Mészáros, T., Mezei, G., Levendovszky, T., Asztalos, M.: Manual and automated performance optimization of model transformation systems. Software Tools for Technology Transfer. STTT 12(3–4), pp 231–243 (2010)

  26. Object Management Group: Business Process Model and Notation, V1.2 (2009). http://www.omg.org/spec/BPMN/1.2/

  27. Organization for the Advancement of Structured Information Standards: Web Services Business Process Execution Language, V2.0 (2007). http://docs.oasis-open.org/wsbpel/2.0/wsbpel-2.0.pdf

  28. Ouyang, C., Dumas, M., ter Hofstede, A., van der Aalst, W.: Pattern-based translation of bpmn process models to bpel web services. Int. J Web Serv. Res. (JWSR) 5(1), (2008)

  29. Ouyang, C., van der Aalst, W., Dumas, M., ter Hofstede, A.: Translating bpmn to bpel. Quensland University of Technology, Brisbase, Australia. E-Print, revised version (2006). http://eprints.qut.edu.au/5266/

  30. Rensink, A.: The groove simulator: A tool for state space generation. In: Pfaltz, J.L., Nagl, M., Böhlen, B., (eds.) Applications of Graph Transformations with Industrial Relevance, (AGTIVE). LNCS, vol. 3062, pp. 479–485, Springer, Berlin (2004). http://sourceforge.net/projects/groove.

  31. Rensink, A.: Representing first-order logic using graphs. In: Ehrig, H.,Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) International Conference on Graph Transformations (ICGT). LNCS, vol. 3256, pp. 319–335. Springer, Berlin (2004)

  32. Rensink, A., Distefano, D.S.: Abstract graph transformation. In: Mukhopadhyay, S., Roychoudhury, A., Yang, Z. (eds.) Software Verification and Validation, Manchester. Electronic Notes in Theoretical Computer Science, vol. 157, pp. 39–59. Elsevier (2006)

  33. Rensink, A., Kuperus, J.H.: Repotting the geraniums: on nested graph transformation rules. In: Boronat, A., Heckel, R. (eds.) Graph transformation and visual modelling techniques (GT-VMT). Electronic Communications of the EASST., EASST, vol. 18 (2009)

  34. Rensink A., Van Gorp P.: Graph transformation tool contest 2008. Software Tools for Technology Transfer. STTT 12(3–4), 171–181 (2010)

    Article  Google Scholar 

  35. Schürr, A., Winter, A.J., Zündorf, A.: The PROGRES approach: language and environment. In: Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.) Handbook of graph grammars and computing by graph transformation: applications, languages, and tools. vol. 2, pp. 487–550. World Scientific Publishing Co., Inc., (1999)

  36. Smelik, R., Rensink, A., Kastenberg, H.: Specification and construction of control flow semantics. In: Grundy, J., Howse, J., eds.: Visual Languages and Human-Centric Computing (VL/HCC), pp. 65–72. IEEE Computer Society Press, Brighton, UK, Los Alamitos (2006)

  37. Soltenborn, C.: Analysis of uml Workflow diagrams with dynamic Meta Modeling Techniques. Master’s thesis, University of Paderborn, Germany (2006)

  38. Taentzer, G.: AGG: A graph transformation environment for modeling and validation of software. In: Applications of Graph Transformations with Industrial Relevance, (AGTIVE). LNCS, vol. 3062, Springer (2004) 446–453

  39. Varró, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Sci. Comput. Progr. 68(3), 187–207 (2007). http://www.eclipse.org/gmt/VIATRA2/.

    Google Scholar 

  40. Visser W., Havelund K., Brat G.P., Park S.: Model checking programs. Autom. Softw. Eng. 10(2), 203–232 (2003)

    Article  Google Scholar 

  41. Visual Modeling and Transformation System (2008). http://www.aut.bme.hu/Portal/Vmts.aspx?lang=en.

  42. W3C: XSL Transformations (XSLT), V1.0, Recommendation. (1999). See http://www.w3.org/TR/xslt.

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Twente, Enschede, The Netherlands

    Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon & Maria Zimakova

Authors
  1. Amir Hossein Ghamarian
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Maarten de Mol
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Arend Rensink
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Eduardo Zambon
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Maria Zimakova
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Maarten de Mol.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ghamarian, A.H., de Mol, M., Rensink, A. et al. Modelling and analysis using GROOVE. Int J Softw Tools Technol Transfer 14, 15–40 (2012). https://doi.org/10.1007/s10009-011-0186-x

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-011-0186-x

Keywords

Search

Navigation