skip to main content
10.1145/2000410.2000413acmotherconferencesArticle/Chapter ViewAbstractPublication PagesiwmcpConference Proceedingsconference-collections
research-article

On the importance of model comparison tools for the automatic evaluation of the correctness of model transformations

Published: 30 June 2011 Publication History

Abstract

The transformation judge is a novel system for the automatic evaluation and comparison of model transformations that have been submitted as solutions for common model transformation tasks. Its most important feature is the correctness check that is done by black-box-testing.
This paper discusses why model comparison tools are crucial for the judge and which of their features are most important in this scenario. We also describe how a first model comparison tool has been integrated into our system and how the judge could be used to compare comparison tools.

References

[1]
K. Altmanninger, M. Seidl, and M. Wimmer. A survey on model versioning approaches. IJWIS, 5(3):271--304, 2009.
[2]
G. Csertán, G. Huszerl, I. Majzik, Z. Pap, A. Pataricza, and D. Varró. VIATRA - visual automated transformations for formal verification and validation of UML models. In 17th IEEE International Conference on Automated Software Engineering (ASE 2002), pages 267--270. IEEE Computer Society, 2002.
[3]
J. Ebert. Metamodels taken seriously: The TGraph approach. In 12th European Conference on Software Maintenance and Reengineering, CSMR 2008, April 1--4, 2008, Athens, Greece, page 2. IEEE, 2008.
[4]
K. Garcés, F. Jouault, P. Cointe, and J. Bézivin. Managing model adaptation by precise detection of metamodel changes. In Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications, ECMDA-FA '09, pages 34--49. Springer, 2009.
[5]
E. Guerra, J. de Lara, D. Kolovos, and R. Paige. Visual specification language for model-to-model transformations. In IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2010), pages 119--126, 2010.
[6]
T. Horn. TTC 2011: Hello World! A GReTL Solution, 2011. Accepted solution for {10}, available at http://is.ieis.tue.nl/staff/pvgorp/events/TTC2011/solutions/online/ttc2011_submission_7.pdf.
[7]
F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev. ATL: A model transformation tool. Sci. Comput. Program., 72(1--2):31--39, 2008.
[8]
D. S. Kolovos, R. F. Paige, and F. A. Polack. The epsilon transformation language. In Proceedings of the 1st international conference on Theory and Practice of Model Transformations, ICMT '08, pages 46--60. Springer, 2008.
[9]
A. Kosowski, M. Malafiejski, and T. Noinski. Application of an online judge & contester system in academic tuition. In Advances in Web Based Learning - ICWL 2007, volume 4823 of Lecture Notes in Computer Science, pages 343--354. Springer, 2008.
[10]
S. Mazanek. Hello World! An instructive case for TTC, 2011. Available at http://sites.google.com/site/helloworldcase/.
[11]
A. Mülder, H. Schill, and L. Wendehals. Modellvergleich mit EMF Compare - Teil 1: Funktionsweise des Frameworks. Eclipse Magazin, 4:43--47, 2009.
[12]
B. Schätz. Formalization and rule-based transformation of EMF Ecore-based models. In Software Language Engineering (SLE 2008), pages 227--244. Springer, 2009.
[13]
M. Schmidt and T. Gloetzner. Constructing difference tools for models using the SiDiff framework. In Companion of the 30th international conference on Software engineering, ICSE Companion '08, pages 947--948, New York, NY, USA, 2008. ACM.
[14]
G. Varro, A. Schürr, and D. Varro. Benchmarking for Graph Transformation. In Proc. IEEE Symposium on Visual Languages, pages 79--100, Los Alamitos, 9 2005. IEEE Computer Society Press.

Cited By

View all
  • (2011)Tool demonstration of the transformation judgeProceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance10.1007/978-3-642-34176-2_10(97-104)Online publication date: 4-Oct-2011

Index Terms

  1. On the importance of model comparison tools for the automatic evaluation of the correctness of model transformations

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Other conferences
    IWMCP '11: Proceedings of the 2nd International Workshop on Model Comparison in Practice
    June 2011
    43 pages
    ISBN:9781450306683
    DOI:10.1145/2000410
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 30 June 2011

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. black-box test
    2. model comparison
    3. model transformation
    4. online judge
    5. web services

    Qualifiers

    • Research-article

    Conference

    IWMCP '11

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)1
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 19 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2011)Tool demonstration of the transformation judgeProceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance10.1007/978-3-642-34176-2_10(97-104)Online publication date: 4-Oct-2011

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media