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

Authors:
Steffen Mazanek;Christian Rutetzki
Affiliations:
Munich, Germany;Munich, Germany
Venue:
Proceedings of the 2nd International Workshop on Model Comparison in Practice
Year:
2011

Citing 9
Cited 1

VIATRA " Visual Automated Transformations for Formal Verification and Validation of UML Models

Proceedings of the 17th IEEE international conference on Automated software engineering
Benchmarking for Graph Transformation

VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
Constructing difference tools for models using the SiDiff framework

Companion of the 30th international conference on Software engineering
ATL: A model transformation tool

Science of Computer Programming
The Epsilon Transformation Language

ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Metamodels Taken Seriously: The TGraph Approach

CSMR '08 Proceedings of the 2008 12th European Conference on Software Maintenance and Reengineering
Managing Model Adaptation by Precise Detection of Metamodel Changes

ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
A Visual Specification Language for Model-to-Model Transformations

VLHCC '10 Proceedings of the 2010 IEEE Symposium on Visual Languages and Human-Centric Computing
Application of an online judge & contester system in academic tuition

ICWL'07 Proceedings of the 6th international conference on Advances in web based learning

Tool demonstration of the transformation judge

AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance

Quantified Score

Hi-index	0.00

Visualization

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.