RT Conference Proceedings
T1 On the Realization of TractsTool
A1 Burgueño-Caballero, Lola
A1 Wimmer, Manuel
A1 Troya-Castilla, Javier
A1 Vallecillo-Moreno, Antonio Jesús
K1 Ingeniería del software
AB Model transformations play an important role in Model-Driven Engineering (MDE), and as their size and complexity grow, there is an increasing need to count on tool support for testing their correctness. In this presentation, we introduce TractsTool, a tool for specifying and testing several different kinds of model transformations, e.g., model-to-model, model-to-text, and text-to-model transformations, based on contracts. We explain the main principles behind the tool, demonstrate some of its capabilities by a running example, and show how it is internally realized by using MDE techniques. In particular, we describe the transformation chain that is used to compute the test results. TractsTool with accompanying information is available at:http://atenea.lcc.uma.es/index.php/Main_Page/Resources/Tracts
LK http://hdl.handle.net/10630/5680
UL http://hdl.handle.net/10630/5680
LA eng
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 19 ene 2026