Implementing QVT-R Bidirectional Model Transformations Using Alloy

  title={Implementing QVT-R Bidirectional Model Transformations Using Alloy},
  author={Nuno Macedo and Alcino Cunha},
QVT Relations (QVT-R) is the standard language proposed by the OMG to specify bidirectional model transformations. Unfortunately, in part due to ambiguities and omissions in the original semantics, acceptance and development of effective tool support has been slow. Recently, the checking semantics of QVT-R has been clarified and formalized. In this paper we propose a QVT-R tool that complies to such semantics. Unlike any other existing tool, it also supports meta-models enriched with OCL… CONTINUE READING
Highly Cited
This paper has 63 citations. REVIEW CITATIONS
Related Discussions
This paper has been referenced on Twitter 1 time. VIEW TWEETS


Publications citing this paper.
Showing 1-10 of 42 extracted citations

Graph Transformation

View 5 Excerpts
Highly Influenced

A Feature-Based Classification of Model Repair Approaches

IEEE Transactions on Software Engineering • 2017
View 1 Excerpt

64 Citations

Citations per Year
Semantic Scholar estimates that this publication has 64 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 15 references

Structural graph-based metamodel matching

View 4 Excerpts
Highly Influenced

Designing constraint maintainers for user interaction

L. Meertens
View 3 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…