An Algebraic Semantics for QVT-Relations Check-only Transformations

Authors:
Esther Guerra;Juan de Lara
Affiliations:
(Correspd.) Computer Science Department, Universidad Autónoma de Madrid, Spain. {Esther.Guerra, Juan.deLara}@uam.es;Computer Science Department, Universidad Autónoma de Madrid, Spain. {Esther.Guerra, Juan.deLara}@uam.es
Venue:
Fundamenta Informaticae
Year:
2012

Citing 16
Cited 1

Specification of Graph Translators with Triple Graph Grammars

WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
On the architectural alignment of ATL and QVT

Proceedings of the 2006 ACM symposium on Applied computing
Model-Driven Software Development: Technology, Engineering, Management

Model-Driven Software Development: Technology, Engineering, Management
Attributed graph transformation with node type inheritance

Theoretical Computer Science
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Translation of QVT Relations into QVT Operational Mappings

ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Attributed Graph Constraints

ICGT '08 Proceedings of the 4th international conference on Graph Transformations
A Simple Game-Theoretic Approach to Checkonly QVT Relations

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Verification and validation of declarative model-to-model transformations through invariants

Journal of Systems and Software
Formal Support for QVT-Relations with Coloured Petri Nets

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
A Petri Net Based Debugging Environment for QVT Relations

ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
On the specification and verification of model transformations

Semantics and algebraic specification
Symbolic graphs for attributed graph constraints

Journal of Symbolic Computation
Algebraic specification of a model transformation engine

FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures

Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004

Implementing QVT-R bidirectional model transformations using alloy

FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

QVT is the standard for model transformation defined by the OMG in the context of the Model-Driven Architecture. It is made of several transformation languages. Among them, QVT-Relations is the one with the highest level of abstraction, as it permits developing bidirectional transformations in a declarative, relational style. Unfortunately, the standard only provides a semiformal description of its semantics, which hinders analysis and has given rise to ambiguities in existing tool implementations. In order to improve this situation, we propose a formal, algebraic semantics for QVT-Relations check-only transformations, defining a notion of satisfaction of QVT-Relations specifications by models.