2026-05-30T03:30:47Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/56802026-02-03T12:11:44Zcom_10630_2254col_10630_37959

On the Realization of TractsTool Burgueño-Caballero, Lola Wimmer, Manuel Troya-Castilla, Javier Vallecillo-Moreno, Antonio Jesús Ingeniería del software Software Engineering Model-driven development 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 2013-09-04T06:44:15Z 2013-09-04T06:44:15Z conference output http://hdl.handle.net/10630/5680 eng VOLT 2013 Budapest, Hungría Junio 2013 open access application/pdf