Búsqueda avanzada

El autor Manuel Wimmer ha publicado 6 artículo(s):

1 - Towards a Language Server Protocol Infrastructure for Graphical Modeling

Este trabajo se presenta a JISBD como artículo relevante.Título: Towards a Language Server Protocol Infrastructure for Graphical ModelingAutores: Rodriguez-Echeverria, Roberto; Izquierdo, Javier Luis Cánovas; Wimmer, Manuel; Cabot, JordiConferencia: 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems – MODELS ’18 Año: 2018 Páginas: 370-380 DOI: 10.1145/3239372.3239383Indicios de calidad: clase 2 del ranking SCIE de congresos relevantes.

Autores: Roberto Rodriguez-Echeverria / Javier Luis Canovas Izquierdo / Manuel Wimmer / Jordi Cabot / 
Palabras Clave: Domain Specific Languages - Language Server Protocol - Modeling Editor

2 - Prueba de Transformaciones de Modelos con TractsTool

Las tranformaciones de modelos son un elemento esencial en la Ingeniería Dirigida por Modelos (Model-driven Engineering, MDE) y por ello una tarea que está cobrando relevancia es probar su corrección. Los Tracts ofrecen un enfoque modular y extensible para la especificación y verificación de transformaciones de modelos. Este trabajo presenta TractsTool, una herramienta desarrollada en Eclipse que implementa los mecanismos que proporcionan los Tracts.

Autores: Manuel Wimmer / Loli Burgueño / Antonio Vallecillo / 
Palabras Clave: MDE - Tracts - Transformaciones de Modelos

3 - 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 of model transformations, and thus, detecting and locating bugs in model transformations have been popular research topics in recent years. This surge of work has led to a vast literature on model transformation testing and debugging, which makes it challenging to gain a comprehensive view of the current state of the art. This is an obstacle for newcomers to this topic and MDE practitioners to apply these approaches. This paper presents a survey on testing and debugging model transformations based on the analysis of 140 papers on the topics. We explore the trends, advances, and evolution over the years, bringing together previously disparate streams of work and providing a comprehensive view of these thriving areas. In addition, we present a conceptual framework to understand and categorise the different proposals. Finally, we identify several open research challenges and propose specific action points for the model transformation community.

Autores: Javier Troya / Sergio Segura / Lola Burgueño / Manuel Wimmer / 
Palabras Clave: Debugging - Model Transformation - survey - Testing

4 - Primitive Operators for the Concurrent Execution of Model Transformations Based on LinTra

Performance 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. LinTra is based on the Linda coordination language for archiving concurrency and distribution and is intended to be used as a middleware where high-level model transformation languages (such as ATL and QVT) are compiled. To define modularly the compilation, this paper presents a minimal, yet sufficient, collection of primitive operators that can be composed to (re-)construct any out-place, unidirectional model transformation language (MTL). These primitives enable any MTL to be executed in parallel in a transparent way, without altering the original transformation.

Autores: Loli Burgueño / Antonio Vallecillo / Eugene Syriani / Jeff Gray / Manuel Wimmer / 
Palabras Clave: LinTra - Model Transformation - Primitives

5 - 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 transformation engines are mostly based on sequential and in-memory execution strategies, and thus their capabilities to transform large models in parallel and distributed environments are limited. Objective: This paper presents a solution that provides concurrency and distribution to model transformations. Method: Inspired by the concepts and principles of the Linda coordination language, and the use of data parallelism to achieve parallelization, a novel Java-based execution platform is introduced. It offers a set of core features for the parallel execution of out-place transformations that can be used as a target for high-level transformation language compilers. Results: Significant gains in performance and scalability of this platform are reported with regard to existing model transformation solutions. These results are demonstrated by running a model transformation test suite, and by its comparison against several state-of-the-art model transformation engines. Conclusion: Our Linda-based approach to the concurrent execution of model transformations can serve as a platform for their scalable and efficient implementation in parallel and distributed environments.

Autores: Loli Burgueño / Manuel Wimmer / Antonio Vallecillo / 
Palabras Clave: Model Transformation - Parallelization - Performance - Scalability