A Landscape of Bidirectional Model Transformations

Authors:
Perdita Stevens
Affiliations:
Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh,
Venue:
Generative and Transformational Techniques in Software Engineering II
Year:
2007

Citing 19
Cited 16

Inconsistency Handling in Multiperspective Specifications

IEEE Transactions on Software Engineering
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
biXid: a bidirectional transformation language for XML

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Feature-based survey of model transformation approaches

IBM Systems Journal - Model-driven software development
Towards Propagation of Changes by Model Approximations

EDOCW '06 Proceedings of the 10th IEEE on International Enterprise Distributed Object Computing Conference Workshops
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
Model transformation in the large

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Boomerang: resourceful lenses for string data

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Taxonomy of Model Transformation

Electronic Notes in Theoretical Computer Science (ENTCS)
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
Framework-Specific modeling languages with round-trip engineering

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Transforming models with ATL

MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
XRound: bidirectional transformations and unifications via a reversible template language

ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
A graphical specification of model transformations with triple graph grammars

ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
MOFLON: a standard-compliant metamodeling framework with graph transformations

ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Bidirectional model transformations in QVT: semantic issues and open questions

MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Reconciling TGGs with QVT

MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Forensic debugging of model transformations

MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems

A Simple Game-Theoretic Approach to Checkonly QVT Relations

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
An Incremental Algorithm for High-Performance Runtime Model Consistency

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
JTL: a bidirectional and change propagating transformation language

SLE'10 Proceedings of the Third international conference on Software language engineering
Synchronizing model and program refactoring

SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
Tractable model transformation testing

ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
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
Towards evolution of generic variability models

MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Bidirectional model transformation with precedence triple graph grammars

ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Constraint-Driven modeling through transformation

ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Model transformations

SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Formal specification and testing of model transformations

SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Integrating a formal development for DSLs into meta-modeling

MEDI'12 Proceedings of the 2nd international conference on Model and Data Engineering
A simple game-theoretic approach to checkonly QVT Relations

Software and Systems Modeling (SoSyM)
Generating attribute grammar-based bidirectional transformations from rewrite rules

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation

Quantified Score

Hi-index	0.01

Visualization

Abstract

Model transformations are a key element in the OMG's Model Driven Development agenda. They did not begin here: the fundamental idea of transforming, automatically, one model into another is at least as old as the computer, provided that we take a sufficiently broad view of what a model is. In many contexts, people have encountered the need for bidirectionaltransformations. In this survey paper we discuss the various notions of bidirectional transformation, and their motivation from the needs of software engineering. We discuss the state of the art in work targeted specifically at the OMG's MDD initiative, and also, briefly, related work from other communities. We point out some areas which are so far relatively under-researched, and propose research topics for the future.