- RIUMA Principal
- Listar por autor
Listar por autor "Wimmer, Manuel"
Mostrando ítems 1-15 de 15
-
A Linda-based Platform for the Parallel Execution of Out-place Model Transformations
Context: The performance and scalability of model transformations is gaining interest as industry is progressively adopting model-driven techniques and multicore computers are becoming commonplace. However, existing model ... -
Efficient execution of ATL model transformations using static analysis and parallelism
Sánchez Cuadrado, Jesús; Burgueño-Caballero, Lola; Wimmer, Manuel; Vallecillo-Moreno, Antonio Jesús (2020)Although model transformations are considered to be the heart and soul of Model Driven Engineering (MDE), there are still several challenges that need to be addressed to unleash their full potential in industrial settings. ... -
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis
Oakes, Bentley James; Troya-Castilla, Javier; Galasso, Jessie; Wimmer, Manuel (Springer Nature, 2023-09-29)The verification of model transformations is important for realizing robust model-driven engineering technologies and quality-assured automation. Many approaches for checking properties of model transformations have been ... -
LinTraP: Primitive Operators for the Execution of Model Transformations with LinTra
Burgueño-Caballero, Lola; Syriani, Eugene; Wimmer, Manuel; Gray, Jeff; Vallecillo-Moreno, Antonio Jesús (2014-07-31)The problems addressed by Model-Driven Engineering (MDE) approaches are increasingly complex, hence performance and scalability of model transformations are gaining importance. In previous work, we introduced LinTra, which ... -
Model Transformation Testing and Debugging: A Survey
Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a consequence, the correctness of software systems built with MDE approaches relies mainly on the correctness ... -
On the Realization of TractsTool
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 ... -
Parallel In-place Model Transformations with LinTra
As software systems have grown large and complex in the last few years, the problems with which Model-Driven Development has to cope have increased at the same pace. In particular, the need to improve the performance and ... -
Primitive Operators for the Concurrent Execution of Model Transformations Based on LinTra
Burgueño-Caballero, Lola; Syriani, Eugene; Wimmer, Manuel; Gray, Jeff; Vallecillo-Moreno, Antonio JesúsPerformance and scalability of model transformations are becoming prominent topics in Model-Driven Engineering. In previous work, we introduced LinTra, a platform for executing out-place model transformations in parallel. ... -
Revisiting Fault Localization Techniques for Model Transformations: Towards A Hybrid Approach
Muñoz, Paula; Troya-Castilla, Javier; Wimmer, Manuel; Kappel, Gerti (AITO, 2022-10-01)The correctness of software built through model transformations highly depends on the correctness of these transformations. Different approaches have been proposed to ensure the correctness of model transformations by ... -
Search-Based Model Transformations
Wimmer, Manuel (2016-04-18)Huge efforts have been invested in the last decade concerning the establishment of dedicated analysis methods and techniques for model transformations. The analysis of general properties such as termination and confluence ... -
Specifying Quantities in Software Models
Burgueño-Caballero, Lola; Mayerhofer, Tanja; Wimmer, Manuel; Vallecillo-Moreno, Antonio Jesús (2020-06-08)Context: An essential requirement for the design and development of any engineering application that deals with real-world physical systems is the formal representation and processing of physical quantities, comprising ... -
Testing M2T/T2M Transformations
Wimmer, Manuel; Burgueño-Caballero, Lola (2013-10-09)Testing model-to-model (M2M) transformations is becoming a prominent topic in the current Model-driven Engineering landscape. Current approaches for transformation testing, however, assume having explicit model representations ... -
Towards Approximate Model Transformations
As the size and complexity of models grow, there is a need to count on novel mechanisms and tools for transforming them. This is required, e.g., when model transformations need to provide target models without having access ... -
Towards Distributed Model Transformations with LinTra
Performance and scalability of model transformations are becoming prominent topics in Model-Driven Engineering. In previous works we introduced LinTra, a platform for executing model transformations in parallel. LinTra ... -
Using Physical Quantities in Robot Software Models
Burgueño-Caballero, Lola; Mayerhofer, Tanja; Wimmer, Manuel; Vallecillo-Moreno, Antonio Jesús (2018-05-31)One of the challenges of modeling any software application that deals with real-world physical systems resides in the correct representation of numerical values and their units. This paper shows how both measurement ...