Quick fix generation for DSMLs

Esta es la versión de autor de la comunicación de congreso publicada en: This is an author produced version of a paper published in: Abstract-The correctness of model transformations is key to obtain reliable MDE solutions. However, current transformation tools provide limited support to statically detect and correct errors. This way, the identification of errors and their correction are mostly manual activities. Our aim is to improve this situation.Based on a static analyser for ATL model transformations which we have previously built, we present a method and a system to propose quick fixes for transformation errors. The analyser is based on a combination of program analysis and constraint solving, and our quick fix generation technique makes use of the analyser features to provide a range of fixes, notably some nontrivial, transformation-specific ones. Our approach integrates seamlessly with the ATL editor. We provide an evaluation based on an existing faulty transformation, and automatically generated transformation mutants, showing overall good results.

show abstract

“…The full catalogue is available at http://miso.es/qfx. 4 In practice, it is more natural to consider lazy/called rules as operations. Table I.…”

Section: Generating Quick Fixesmentioning

confidence: 99%

“…For example, [4] uses design-space exploration to propose quick fixes for DSMLs. A quick fix is defined as a set of model operations that reduces the number of errors.…”

Section: Related Workmentioning

confidence: 99%

Quick fixing ATL model transformations

Cuadrado

Guerra

Lara

2015

2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)

View full text Add to dashboard Cite

show abstract

“…We defined the generation of quick fixes that correct inconsistencies in domain specific models as a design space exploration problem in a previous paper Hegedüs et al (2011a). In this scenario, the initial state of the exploration is an instance model containing a number of inconsistencies.…”

Section: Test Sets Used For the Evaluationmentioning

confidence: 99%

“…In Hegedüs et al (2011a) we presented a guided exploration strategy that uses the inconsistencies in the model as hints for the selection criteria. In each iteration of the search process, each model element included in the inconsistencies that also include the selected model element e are collected into a set V .…”

Section: Test Sets Used For the Evaluationmentioning

confidence: 99%

A model-driven framework for guided design space exploration

2014

View full text Add to dashboard Cite

Design space exploration (DSE) aims at searching through various models representing different design candidates to support activities like configuration design of critical systems or automated maintenance of IT systems. In model-driven engineering, DSE is applied to find instance models that are (i) reachable from an initial model with a sequence of transformation rules and (ii) satisfy a set of structural and numerical constraints. Since exhaustive exploration of the design space is infeasible for large models, the traversal is often guided by hints, derived by system analysis, to prioritize the next states to traverse (selection criteria) and to avoid searching unpromising states (cut-off criteria). In this paper, we define an exploration approach where selection and cut-off criteria are defined using dependency analysis and algebraic abstraction of transformation rules. Additionally, we apply different state encoding techniques to identify recurring states and reduce the number of visited states. Finally, we illustrate our approach on a cloud infrastructure configuration problem and provide detailed evaluation on both synthetic and real applications. This evaluation includes (i) the comparison of several exploration techniques, (ii) performance measurements on multiple state encoding techniques and (iii) comparing two implementation architectures of our design space exploration framework.

show abstract

“…Unlike Echo, none of these tools allow control over repairs via parametrized edit operations. [15] describes a technique for generating quick fixes for DSMLs using the CSP(M) solver. The technique guarantees that the number of inconsistencies on the model decreases, even if sideeffects occur.…”

Section: Related Workmentioning

confidence: 99%

Model repair and transformation with Echo

Macedo

Guimarães

Cunha

2013

2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)

View full text Add to dashboard Cite

Abstract-Models are paramount in model-driven engineering. In a software project many models may coexist, capturing different views of the system or different levels of abstraction. A key and arduous task in this development method is to keep all such models consistent, both with their meta-models (and the respective constraints) and among themselves. This paper describes Echo, a tool that aims at simplifying this task by automating inconsistency detection and repair using a solver based engine. Consistency between different models can be specified by bidirectional model transformations, and is guaranteed to be recovered by minimal updates on the inconsistent models. The tool is freely available as an Eclipse plugin, developed on top of the popular EMF framework, and supports constraints and transformations specified in the OMG standard languages OCL and QVT-R, respectively.

show abstract

Quick fix generation for DSMLs

Cited by 40 publications

References 13 publications

Quick fixing ATL model transformations

Quick fixing ATL model transformations

A model-driven framework for guided design space exploration

Model repair and transformation with Echo

Contact Info

Product

Resources

About