Tool demonstration of the transformation judge

Authors:
Steffen Mazanek;Christian Rutetzki;Mark Minas
Affiliations:
Universität der Bundeswehr, München, Germany;Universität der Bundeswehr, München, Germany;Universität der Bundeswehr, München, Germany
Venue:
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Year:
2011

Citing 8
Cited 2

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
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
Formalization and Rule-Based Transformation of EMF Ecore-Based Models

Software Language Engineering
Metamodels Taken Seriously: The TGraph Approach

CSMR '08 Proceedings of the 2008 12th European Conference on Software Maintenance and Reengineering
On the importance of model comparison tools for the automatic evaluation of the correctness of model transformations

Proceedings of the 2nd International Workshop on Model Comparison in Practice
Application of an online judge & contester system in academic tuition

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

Graph and model transformation tools for model migration

Software and Systems Modeling (SoSyM)
A survey and comparison of transformation tools based on the transformation tool contest

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

The transformation judge is a novel system for the automatic evaluation and comparison of graph and model transformations that have been submitted as solutions for common transformation tasks such as those accepted as case studies for the transformation tool contest. The most important feature of this system is the correctness check that is done by black-box-testing. But also performance data and other information about the solutions are collected. So, for academic as well as industrial users of transformation tools, the judge could be a good starting point for choosing a particular transformation tool for their respective task, since they can easily explore and compare different solutions for similar tasks. In this demonstration we show the most important use cases of the judge, i.e., uploading of cases and corresponding solutions as well as the automatic evaluation and comparison of solutions.