Bidirectional model transformations in QVT: semantic issues and open questions

Authors:
Perdita Stevens
Affiliations:
School of Informatics, University of Edinburgh
Venue:
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Year:
2007

Citing 6
Cited 47

A programmable editor for developing structured documents based on bidirectional transformations

Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Relational lenses: a language for updatable views

Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
biXid: a bidirectional transformation language for XML

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem

ACM Transactions on Programming Languages and Systems (TOPLAS) - Special issue on POPL 2005
Tool Integration with Triple Graph Grammars - A Survey

Electronic Notes in Theoretical Computer Science (ENTCS)
Information preserving bidirectional model transformations

FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering

Boomerang: resourceful lenses for string data

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Report on the Principles of Provenance Workshop

ACM SIGMOD Record
Opportunities and challenges for traceable graph rewriting systems

Proceedings of the third international workshop on Graph and model transformations
Quotient lenses

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Model Synchronisation: Definitions for Round-Trip Engineering

ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Extracting Object Interactions Out of Software Contracts Using Model Transformations

ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Towards an Algebraic Theory of Bidirectional Transformations

ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Pattern-Based Model-to-Model Transformation

ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Algebraic Models for Bidirectional Model Synchronization

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Design Space of Heterogeneous Synchronization

Generative and Transformational Techniques in Software Engineering II
A Landscape of Bidirectional Model Transformations

Generative and Transformational Techniques in Software Engineering II
An Introduction to Grammar Convergence

IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Compositionality of Model Transformations

Electronic Notes in Theoretical Computer Science (ENTCS)
Foundations for Bidirectional Programming

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Solving Constraints in Model Transformations

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Supporting Parallel Updates with Bidirectional Model Transformations

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Bidirectional Transformations: A Cross-Discipline Perspective

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Supporting automatic model inconsistency fixing

Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A diagrammatic approach to model transformations

Proceedings of the 2008 Euro American Conference on Telematics and Information Systems
SM@RT: towards architecture-based runtime management of Internetware systems

Proceedings of the First Asia-Pacific Symposium on Internetware
From UML to Alloy and back again

Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Verification and validation of declarative model-to-model transformations through invariants

Journal of Systems and Software
Realizing correspondences in multi-viewpoint specifications

EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Adventures in bidirectional programming

FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
Correctness, completeness and termination of pattern-based model-to-model transformation

CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Matching lenses: alignment and view update

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Bidirectionalizing graph transformations

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Towards a rewriting logic semantics for ATL

ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Generic point-free lenses

MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Symmetric lenses

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Calculating with lenses: optimising bidirectional transformations

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
Model synchronization: mappings, tiles, and categories

GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Supporting runtime software architecture: A bidirectional-transformation-based approach

Journal of Systems and Software
Controlling reuse in pattern-based model-to-model transformations

Graph transformations and model-driven engineering
Leveraging model-based tool integration by conceptual modeling techniques

The evolution of conceptual modeling
Toward bidirectionalization of ATL with GRoundTram

ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Instant and incremental QVT transformation for runtime models

Proceedings of the 14th international conference on Model driven engineering languages and systems
Edit lenses

POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
From UML to alloy and back again

MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations

ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Linguistic foundations for bidirectional transformations: invited tutorial

PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
Marker-Directed optimization of UnCAL graph transformations

LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Bidirectional transformation of model-driven spreadsheets

ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Constraint-Driven modeling through transformation

ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Three complementary approaches to bidirectional programming

SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
Inter-modelling with patterns

Software and Systems Modeling (SoSyM)
Towards Security Assurance in Round-Trip Engineering: A Type-Based Approach

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We consider the OMG's Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss what is meant by bidirectional transformations, and the model-driven development scenarios in which they are needed. We analyse the fundamental requirements on tools which support such transformations, and discuss some semantic issues which arise. We argue that a considerable amount of basic research is needed before suitable tools will be fully realisable, and suggest directions for this future research.