Article

Benchmarking for Graph Transformation

Authors:

Gergely Varro,

Andy Schurr,

Daniel VarroAuthors Info & Claims

VLHCC '05: Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing

Pages 79 - 88

https://doi.org/10.1109/VLHCC.2005.23

Published: 20 September 2005 Publication History

Publisher Site

Abstract

Model transformation (MT) is a key technology in the model-driven development approach of software engineering that provides automated means to capture the evolution of models and mappings between modeling languages. The pattern and rule-based paradigm of graph transformation is considered a very popular approach for specifying such model transformations. While the expressiveness of different MT specification techniques is frequently compared on well-known transformation problems (e.g. UML-to-XMI,or UML-to-EJB mappings), no such benchmarks exist currently for comparing the performance of different model transformation tools. In the paper, we propose a systematic method for quantitative benchmarking in order to assess the performance of graph transformation tools. Typical features of the graph transformation paradigm and various optimization strategies exploited in different tools are identified and categorized. Moreover, the performance of several popular graph transformation tools is measured and compared on a well-known distributed mutual exclusion problem.

Cited By

View all

Fernandez MMackie I(2024)Hierarchical Higher-Order Port-Graphs: A Rewriting-Based Modelling LanguageProceedings of the 26th International Symposium on Principles and Practice of Declarative Programming10.1145/3678232.3678238(1-14)Online publication date: 9-Sep-2024
https://dl.acm.org/doi/10.1145/3678232.3678238
Strüber DMukelabai MKrüger JFischer SLinsbauer LMartinez JBerger T(2019)Facing the TruthProceedings of the 23rd International Systems and Software Product Line Conference - Volume A10.1145/3336294.3336302(177-188)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1145/3336294.3336302
Szárnyas GIzsó BRáth IVarró D(2018)The Train BenchmarkSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0571-817:4(1365-1393)Online publication date: 1-Oct-2018
https://dl.acm.org/doi/10.1007/s10270-016-0571-8
Show More Cited By

Index Terms

Benchmarking for Graph Transformation
1. Mathematics of computing
  1. Discrete mathematics
    1. Graph theory
2. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management
  2. Software notations and tools
    1. Context specific languages
      1. Visual languages
    2. General programming languages
      1. Language types

Recommendations

Lazy Graph Transformation
Recent Developments in the Theory of Graph Transformation, 2010

Applying an attributed graph transformation rule to a given object graph always implies some kind of constraint solving. In many cases, the given constraints are almost trivial to solve. For instance, this is the case when a rule describes a ...
Shapely Hierarchical Graph Transformation
HCC '01: Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)

Diagrams can be represented by graphs, and the animationand transformation of diagrams can be modeledby graph transformation. This paper studies extensionsof graphs and graph transformation that are important forprogramming with graphs:\bullet We extend ...
Transformation graph G-+-

The transformation graph G^-^+^- of a graph G is the graph with vertex set V(G)@?E(G), in which two vertices u and v are joined by an edge if one of the following conditions holds: (i) u,v@?V(G) and they are not adjacent in G, (ii) u,v@?E(G) and they ...

Comments

Information & Contributors

Information

Published In

VLHCC '05: Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing

September 2005

304 pages

ISBN:0769524435

Publisher

IEEE Computer Society

United States

Publication History

Published: 20 September 2005

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

23
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 22 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Fernandez MMackie I(2024)Hierarchical Higher-Order Port-Graphs: A Rewriting-Based Modelling LanguageProceedings of the 26th International Symposium on Principles and Practice of Declarative Programming10.1145/3678232.3678238(1-14)Online publication date: 9-Sep-2024
https://dl.acm.org/doi/10.1145/3678232.3678238
Strüber DMukelabai MKrüger JFischer SLinsbauer LMartinez JBerger T(2019)Facing the TruthProceedings of the 23rd International Systems and Software Product Line Conference - Volume A10.1145/3336294.3336302(177-188)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1145/3336294.3336302
Szárnyas GIzsó BRáth IVarró D(2018)The Train BenchmarkSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0571-817:4(1365-1393)Online publication date: 1-Oct-2018
https://dl.acm.org/doi/10.1007/s10270-016-0571-8
Strüber DRubin JArendt TChechik MTaentzer GPlöger J(2016)RuleMergerProceedings of the 19th International Conference on Fundamental Approaches to Software Engineering - Volume 963310.1007/978-3-662-49665-7_8(122-140)Online publication date: 2-Apr-2016
https://dl.acm.org/doi/10.1007/978-3-662-49665-7_8
Ko JChung KHan J(2015)Model transformation verification using similarity and graph comparison algorithmMultimedia Tools and Applications10.1007/s11042-013-1581-y74:20(8907-8920)Online publication date: 1-Oct-2015
https://dl.acm.org/doi/10.1007/s11042-013-1581-y
Izsó BSzatmári ZBergmann GHorváth ARáth IDenney EBultan TZeller A(2013)Towards precise metrics for predicting graph query performanceProceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE.2013.6693100(421-431)Online publication date: 11-Nov-2013
https://dl.acm.org/doi/10.1109/ASE.2013.6693100
Varró GAnjorin ASchürr A(2012)Unification of compiled and interpreter-based pattern matching techniquesProceedings of the 8th European conference on Modelling Foundations and Applications10.1007/978-3-642-31491-9_28(368-383)Online publication date: 2-Jul-2012
https://dl.acm.org/doi/10.1007/978-3-642-31491-9_28
Mazanek SRutetzki C(2011)On the importance of model comparison tools for the automatic evaluation of the correctness of model transformationsProceedings of the 2nd International Workshop on Model Comparison in Practice10.1145/2000410.2000413(12-15)Online publication date: 30-Jun-2011
https://dl.acm.org/doi/10.1145/2000410.2000413
Tolosa JSanjuán-Martínez OGarcía-Díaz VG-Bustelo BLovelle J(2011)Towards the systematic measurement of ATL transformation modelsSoftware—Practice & Experience10.1002/spe.103341:7(789-815)Online publication date: 1-Jun-2011
https://dl.acm.org/doi/10.1002/spe.1033
Jakumeit EBuchwald SKroll M(2010)GrGen.NETInternational Journal on Software Tools for Technology Transfer (STTT)10.5555/3220879.322096112:3-4(263-271)Online publication date: 1-Jul-2010
https://dl.acm.org/doi/10.5555/3220879.3220961
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

Lazy Graph Transformation

Shapely Hierarchical Graph Transformation

Transformation graph G-+-

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations