Buscar
Mostrando ítems 1-10 de 19
Ponencia
TractsTool: Testing Model Transformations based on Contracts
(CEUR-WS, 2013)
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 work, ...
Ponencia
Concurrent Model Transformations with Linda
(Sociedad de Ingeniería del Software y Tecnologías de Desarrollo del Software (SISTEDES), 2013)
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 ...
Artículo
Spectrum-Based Fault Localization in Model Transformations
(ACM, 2018)
Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they provide the essential mechanisms for manipulating and transforming models. The correctness of software built using MDE techniques ...
Artículo
Evaluation of Model Transformation Approaches for Model Refactoring
(Elsevier, 2014)
This paper provides a systematic evaluation framework for comparing model transformation approaches, based upon the ISO/IEC 9126-1 quality characteristics for software systems. We apply this framework to compare five ...
Ponencia
Towards Approximate Model Transformations
(CEUR-WS, 2014)
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 ...
Ponencia
On the Modular Specification of NFPs: A Case Study
(Sociedad de Ingeniería del Software y Tecnologías de Desarrollo del Software (SISTEDES), 2013)
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 ...
Ponencia
On the Concurrent Execution of Model Transformations with Linda
(ACM Digital Library, 2013)
Nowadays there exists a wide variety of model transforma-tion languages. However, all of them present limitations, mainly performance issues, when the complexity and size of model transformations and models grow. The ...
Ponencia
Fully Verifying Transformation Contracts for Declarative ATL
(IEEE Computer Society, 2015)
The Atlas Transformation Language (ATL) is today a de-facto standard in model-driven development. It is understood by the community that methods for exhaustively verifying such transformations provide an important pillar ...
Ponencia
An Approach for Debugging Model Transformations Applying Spectrum-Based Fault Localization
(Universidad de la Laguna, 2017)
Model transformations play a cornerstone role in Model-Driven Engineering as they provide the essential mechanisms for manipulating and transforming models. The use of assertions for checking their correctness has ...
Artículo
Model Transformation Modularization as a Many-Objective Optimization Problem
(IEEE Computer Society, 2017)
Model transformation programs are iteratively refined, restructured, and evolved due to many reasons such as fixing bugs and adapting existing transformation rules to new metamodels version. Thus, modular design is a ...