Benchmarking for Graph Transformation

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. UMLto-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.

[1]  Ewa Grabska,et al.  On Graph-Based Knowledge Representation in Design , 2002 .

[2]  S.J.J. Smith,et al.  Empirical Methods for Artificial Intelligence , 1995 .

[3]  Hans Eriksson,et al.  Business Modeling With UML: Business Patterns at Work , 2000 .

[4]  Jean Bézivin,et al.  First experiments with the ATL model transformation language: Transforming XSLT into XQuery , 2003 .

[5]  Reiko Heckel,et al.  Compositional Verification of Reactive Systems Specified by Graph Transformation , 1998, FASE.

[6]  Arend Rensink.  The GROOVE Simulator: A Tool for State Space Generation , 2003, AGTIVE.

[7]  Bernhard Beckert,et al.  The KeY System: Integrating Object-Oriented Design and Formal Methods , 2002, FASE.

[8]  Piero Mussio,et al.  On the specification of dynamic visual languages , 1998, Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254).

[9]  Annegret Habel,et al.  Graph Transformation for Specification and Programming , 1999, Sci. Comput. Program..

[10]  Dániel Varró,et al.  Graph Transformation in Relational Databases , 2005, GraBaTs.

[11]  David Carlson,et al.  Modeling XML Applications with UML: Practical e-Business Applications , 2001 .

[12]  Dániel Varró,et al.  Designing the automatic transformation of visual languages , 2002, Sci. Comput. Program..

[13]  John C. Grundy,et al.  Pounamu: A Meta-Yool for Multi-View Visual Language Environment Construction , 2004, 2004 IEEE Symposium on Visual Languages - Human Centric Computing.

[14]  Anneke Kleppe,et al.  MDA explained - the Model Driven Architecture: practice and promise , 2003, Addison Wesley object technology series.

[15]  Krzysztof Czarnecki,et al.  Classification of Model Transformation Approaches , 2003 .

[16]  Genny Tortora,et al.  A Parsing Methodology for the Implementation of Visual Systems , 1997, IEEE Trans. Software Eng..

[17]  Mark Minas,et al.  Concepts and realization of a diagram editor generator based on hypergraph transformation , 2002, Sci. Comput. Program..

[18]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution , 1999 .

[19]  Daniel P. Miranker,et al.  Effects of Database Size on Rule System Performance: Five Case Studies , 1991, VLDB.