Gerti Kappel

Handle: 20.500.12708/161097; Year: 2012; Issued On: 2012-01-01; Type: Thesis; Subtype: Diploma Thesis;

Keywords: Refactoring, ATL, Model Transformations
Astract: The ATLAS Transformation Language (ATL) is a Language to describe rule-based mode-tomodel transformations. The more complex, different and interwoven the source and target model are, the more comprehensive the rules get. This results in detoriorated readability, maintainability and reusability and longer execution times of the transformations. At the moment transformations can only be modified by applying atomic operations. Combined operations have not yet been developed that would allow to improve transformations by restructuring.
The context of this thesis is the development of restructurings for ATL, so called refactorings, on the basis of existing work. These enable to transform ATL-transformations in a way that non-functional requirements and software quality attributes are improved.
A catalogue of refactorings was developed which separates into renaming, restructuring and optimizations for runtime speedup. There is a possibility to add domain-specific refactorings.
At the beginning existing transformations were analyzed and common 'bad smells' were derived by metrics and quality attributes like readability, maintainability and reusability. From this derivation the definition of the refactoring catalogue was created, which provides measures to eliminate bad smells. The catalogue is implemented using the ATL Refining Mode and is compared to an implementation in EMF Modeling Operations. The transformations of the ATLimplementation are metrically analyzed before and after each refactoring. Additionally the runtime of the transformations before and after the refactoring is timed and the number of executed bytecode statements is rated. The refactorings were evaluated regarding the application to other transformation languages (e.g. QVT-Relations).


  Gniesser, P. (2012). Refactoring support for ATL-based model transformations [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/161097

Automated verification of model transformations based on visual contracts

Esther Guerra

Juan de Lara

Angelika Kusel

Werner Retschitzegger

Johannes Schönböck

Wieland Schwinger

Handle: 20.500.12708/163458; Year: 2012; Issued On: 2012-01-01; Type: Publication; Subtype: Article; Peer Reviewed:

Keywords:
Astract: Model-Driven Engineering promotes the use of models to conduct the different phases of the software development. In this way, models are transformed between different languages and notations until code is generated for the final application. Hence, the construction of correct Model-to-Model (M2M) transformations becomes a crucial aspect in this approach. Even though many languages and tools have been proposed to build and execute M2M transformations, there is scarce support to specify correctness requirements for such transformations in an implementation-independent way, i.e., irrespective of the actual transformation language used. In this paper we fill this gap by proposing a declarative language for the specification of visual contracts, enabling the verification of transformations defined with any transformation language. The verification is performed by compiling the contracts into QVT to detect disconformities of transformation results with respect to the contracts. As a proof of concept, we also report on a graphical modeling environment for the specification of contracts, and on its use for the verification of transformations in several case studies.


  Guerra, E., de Lara, J., Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schönböck, J., & Schwinger, W. (2012). Automated verification of model transformations based on visual contracts. Automated Software Engineering, 20(1), 5–46. https://doi.org/10.1007/s10515-012-0102-y

Surveying Rule Inheritance in Model-to-Model Transformation Languages

Angelika Kusel

Werner Retschitzegger

Johannes Schönböck

Werner Schwinger

Dimitris Kolovos

Richard Paige

Marius Lauder

Andy Schürr

Dennis Wagelaar

Handle: 20.500.12708/163795; Year: 2012; Issued On: 2012-01-01; Type: Publication; Subtype: Article;

Keywords:


  Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schönböck, J., Schwinger, W., Kolovos, D., Paige, R., Lauder, M., Schürr, A., & Wagelaar, D. (2012). Surveying Rule Inheritance in Model-to-Model Transformation Languages. The Journal of Object Technology, 11(2), 3:1. https://doi.org/10.5381/jot.2012.11.2.a3

Language-Specific Model Versioning Based on Signifiers

Philip Langer

Jeff Gray

Antonio Vallecillo

Handle: 20.500.12708/163956; Year: 2012; Issued On: 2012-01-01; Type: Publication; Subtype: Article;

Keywords:


  Langer, P., Wimmer, M., Gray, J., Kappel, G., & Vallecillo, A. (2012). Language-Specific Model Versioning Based on Signifiers. The Journal of Object Technology, 11(3), 4:1. https://doi.org/10.5381/jot.2012.11.3.a4

Conflict Visualization for Evolving UML Models

Petra Kaufmann

Martina Seidl