- RIUMA Principal
- Investigación
- Lenguajes y Ciencias de la Computación - (LCC)
- LCC - Contribuciones a congresos científicos
- Listar LCC - Contribuciones a congresos científicos por autor
Listar LCC - Contribuciones a congresos científicos por autor "Vallecillo-Moreno, Antonio Jesús"
Mostrando ítems 1-20 de 21
-
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 ... -
Analysis of the Scientific Production of the Spanish Software Engineering Community
Our group has been working on a report for the Spanish Society of Software Engineering and Software Development Technologies (SISTEDES) to provide a general overview of the Spanish scientific production and its contributions ... -
Analysis of the scientific production of the Spanish Software Engineering Community
Our group has been working on a report for the Spanish Society of Software Engineering and Software Development Technologies (SISTEDES) to provide a general overview of the Spanish scientific production and its contributions ... -
Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams
Muñoz Ariza, Paula; Burgueño-Caballero, Lola; Vallecillo-Moreno, Antonio Jesús; Gogolla, Martin (2019-09-20)This paper presents the extension of a UML and OCL tool that enables the textual specification of UML sequence diagrams, and the automated generation of all valid behaviors according to these sequence diagrams. Message ... -
Concurrent Model Transformations with Linda
Nowadays, model transformations languages and engines use a sequential execution model. This is, only one execution thread deals with the whole transformation. However, model transformations dealing with very large models, ... -
Employing Classifying Terms for Testing Model Transformations
Gogolla, Martin; Vallecillo-Moreno, Antonio Jesús; Burgueño-Caballero, Lola; Hilken, Frank (2015-07-29)This contribution proposes a new technique for developing test cases for UML and OCL models. The technique is based on an approach that automatically constructs object models for class models enriched by OCL constraints. ... -
Expressing Measurement Uncertainty in OCL/UML Datatypes
Fernández-Bertoa, Manuel; Moreno, Nathalie; Barquero Moreno, Gala; Burgueño-Caballero, Lola; Troya-Castilla, Javier; Vallecillo-Moreno, Antonio Jesús[et al.] (2018-05-31)Uncertainty is an inherent property of any measure or estimation performed in any physical setting, and therefore it needs to be considered when modeling systems that manage real data. Although several modeling languages ... -
Generating Effective Test Suites for Model Transformations Using Classifying Terms
Vallecillo-Moreno, Antonio Jesús; Hilken, Frank; Burgueño-Caballero, Lola; Gogolla, Martin (2016-09-27)Generating sample models for testing a model transformation is no easy task. This paper explores the use of classifying terms and stratified sampling for developing richer test cases for model transformations. Classifying ... -
Introducing Approximate Model Transformations
Troya-Castilla, Javier; Vallecillo-Moreno, Antonio Jesús (2014-09-22)Model transformations dealing with very large models need to count on mechanisms and tools to be able to manage them. The usual approach to improve performance in these cases has focused on the use of concurrency and ... -
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 ... -
Managing Uncertain Complex Events in Web of Things Applications
Moreno, Nathalie; Fernández-Bertoa, Manuel; Barquero Moreno, Gala; Burgueño-Caballero, Lola; Troya-Castilla, Javier; García-López, Adrián; Vallecillo-Moreno, Antonio Jesús[et al.] (2018-05-31)A critical issue in the Web of Things (WoT) is the need to process and analyze the interactions of Web-interconnected real-world objects. Complex Event Processing (CEP) is a powerful technology for analyzing streams of ... -
On Softening OCL Invariants
Gogolla, Martin; Vallecillo-Moreno, Antonio Jesús (Association Internationale pour les Technologies Objets (AITO), 2019-09-23)Invariants play a crucial role in system development. This contribution focuses on invariants in systems with so-called occurrence uncertainty, where we are interested in deciding whether a certain population (a set of ... -
On the Modular Specification of NFPs: A Case Study
Moreno-Delgado, Antonio; Troya-Castilla, Javier; Durán-Muñoz, Francisco Javier; Vallecillo-Moreno, Antonio Jesús (Jornadas de Ingeniería del Software y Bases de Datos, 2013-09)The modular specification of non-functional properties of systems is a current challenge of Software Engineering, for which no clear solution exists. However, in the case of Domain-Specific Languages some successful proposals ... -
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 ... -
Preprocesado de flujos de datos para aprendizaje automático mediante reglas CEP
Ramirez, Aurora; Moreno, Nathalie; Fernández-Bertoa, Manuel; Vallecillo-Moreno, Antonio Jesús (2019-09-20)El procesamiento de flujos de información constituye un área de gran relevancia dentro de la gestión de datos, pues sus métodos deben ser ágiles y eficientes para soportar el volumen y la velocidad con la que los datos se ... -
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. ... -
Teaching Model Views with UML and OCL
The specification of any non-trivial system is normally composed of a set of models. Each model describes a different view of the system, focuses on a particular set of concerns, and uses its own notation. For example, UML ... -
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 ...