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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Csertán, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varró, D.: VIATRA – Visual automated transformations for formal verification and validation of UML models. In: 17th IEEE International Conference on Automated Software Engineering (ASE 2002), pp. 267–270. IEEE Computer Society (2002)
Ebert, J.: Metamodels taken seriously: The TGraph approach. In: Proc. of the 12th European Conference on Software Maintenance and Reengineering, CSMR 2008, p. 2. IEEE (April 2008)
Horn, T.: Saying Hello World with GReTL – A solution to the TTC 2011, instructive case. In: Van Gorp et al. [11]
Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming 72(1-2), 31–39 (2008)
Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The Epsilon Transformation Language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46–60. Springer, Heidelberg (2008)
Kosowski, A., Małafiejski, M., Noiński, T.: Application of an Online Judge & Contester System in Academic Tuition. In: Leung, H., Li, F., Lau, R., Li, Q. (eds.) ICWL 2007. LNCS, vol. 4823, pp. 343–354. Springer, Heidelberg (2008)
Mazanek, S.: Hello world! An instructive case for the Transformation Tool Contest. In: Van Gorp et al. [11], http://sites.google.com/site/helloworldcase/
Mazanek, S., Rutetzki, C.: On the importance of model comparison tools for the automatic evaluation of the correctness of model transformations. In: Proceedings of the 2nd International Workshop on Model Comparison in Practice, pp. 12–15. ACM (2011)
Mülder, A., Schill, H., Wendehals, L.: Modellvergleich mit EMF Compare – Teil 1: Funktionsweise des Frameworks. Eclipse Magazin 4, 43–47 (2009)
Schätz, B.: Formalization and Rule-Based Transformation of EMF Ecore-Based Models. In: Gašević, D., Lämmel, R., Van Wyk, E. (eds.) SLE 2008. LNCS, vol. 5452, pp. 227–244. Springer, Heidelberg (2009)
Van Gorp, P., Mazanek, S., Rose, L. (eds.): Proc. of the Fifth Transformation Tool Contest, Zürich, Switzerland. Electronic Proceedings in Theoretical Computer Science, vol. 74 (2011)
Varró, G., Schürr, A., Varró, D.: Benchmarking for Graph Transformation. In: Erwig, M., Schürr, A. (eds.) Proc. IEEE Symposium on Visual Languages, pp. 79–100. IEEE Computer Society Press (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mazanek, S., Rutetzki, C., Minas, M. (2012). Tool Demonstration of the Transformation Judge. In: Schürr, A., Varró, D., Varró, G. (eds) Applications of Graph Transformations with Industrial Relevance. AGTIVE 2011. Lecture Notes in Computer Science, vol 7233. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34176-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-34176-2_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34175-5
Online ISBN: 978-3-642-34176-2
eBook Packages: Computer ScienceComputer Science (R0)