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. 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 toots 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]  Reiko Heckel,et al.  Compositional Verification of Reactive Systems Specified by Graph Transformation , 1998, FASE.

[2]  Albert Zündorf,et al.  Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java , 1998, TAGT.

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

[4]  Gabor Karsai,et al.  The design of a simple language for graph transformations , 2005 .

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

[6]  Steven Kelly,et al.  Defining Domain-Specific Modeling Languages: Collected Experiences , 2004 .

[7]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools , 1999 .

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

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

[10]  Andy Sch.  Benchmarking for Graph Transformation , 2005 .

[11]  David J. DeWitt,et al.  Benchmarking Database Systems A Systematic Approach , 1983, VLDB.

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

[13]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

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

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

[16]  Tony Clark,et al.  Revised submission for MOF 2.0 query / views /transformations RFP. , 2003 .

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

[18]  Jim Gray,et al.  The Benchmark Handbook for Database and Transaction Systems , 1993 .

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

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

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

[22]  Jean Bézivin,et al.  MTRANS : A general framework , based on XSLT , for model transformations , 2001 .

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

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

[25]  Andy Schürr,et al.  Specification of Graph Translators with Triple Graph Grammars , 1994, WG.

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

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

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

[29]  Gabor Karsai,et al.  A UML-based Graph Transformation Approach for Implementing Domain-Specific Model Transformations , 2003 .

[30]  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.

[31]  Jennifer Widom,et al.  Database Systems: The Complete Book , 2001 .