Bidirectional Transformations: A Cross-Discipline Perspective

Authors:
Krzysztof Czarnecki;J. Nathan Foster;Zhenjiang Hu;Ralf Lämmel;Andy Schürr;James F. Terwilliger
Affiliations:
University of Waterloo, Canada;University of Pennsylvania, USA;National Institute of Informatics, Japan;Universität Koblenz-Landau, Germany;Technische Universität Darmstadt, Germany;Microsoft Research, USA
Venue:
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Year:
2009

Citing 89
Cited 43

Views: a way for pattern matching to cohabit with data abstraction

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Theorems for free!

FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Persistence software: bridging object-oriented programming and relational databases

SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Update semantics of relational views

ACM Transactions on Database Systems (TODS)
On the correct translation of update operations on relational views

ACM Transactions on Database Systems (TODS)
EXPRESS: a data EXtraction, Processing, and Restructuring System

ACM Transactions on Database Systems (TODS)
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools

Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
The Clio project: managing heterogeneity

ACM SIGMOD Record
On propagation of deletions and annotations through views

Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A Constraint-Based Approach for Visualization and Animation

Constraints
Expressing Structural Properties as Language Constructs

ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Schema Transformation Techniques for Database Reverse Engineering

ER '93 Proceedings of the 12th International Conference on the Entity-Relationship Approach: Entity-Relationship Approach
Grammar Adaptation

FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Specification of Graph Translators with Triple Graph Grammars

WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
UnQL: a query language and algebra for semistructured data based on structural recursion

The VLDB Journal — The International Journal on Very Large Data Bases
Embedding an interpreted language using higher-order functions and types

Proceedings of the 2003 workshop on Interpreters, virtual machines and emulators
The XML benchmark project

The XML benchmark project
Towards Automatical Migration of Transformation Rules after Grammar Extension

CSMR '03 Proceedings of the Seventh European Conference on Software Maintenance and Reengineering
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
XJ: facilitating XML processing in Java

WWW '05 Proceedings of the 14th international conference on World Wide Web
PADS: a domain-specific language for processing ad hoc data

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Embedded interpreters

Journal of Functional Programming
Data exchange: semantics and query answering

Theoretical Computer Science - Database theory
Benchmarking for Graph Transformation

VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
Runtime recovery and manipulation of software architecture of component-based systems

Automated Software Engineering
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)
Relational lenses: a language for updatable views

Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
LINQ: reconciling object, relations and XML in the .NET framework

Proceedings of the 2006 ACM SIGMOD international conference on Management of data
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
Peer data exchange

ACM Transactions on Database Systems (TODS)
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
Exploiting schemas in data synchronization

Journal of Computer and System Sciences
Style normalization for canonical X-to-O mappings

Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Compiling mappings to bridge applications and databases

Proceedings of the 2007 ACM SIGMOD international conference on Management of data
ADO.NET entity framework: raising the level of abstraction in data programming

Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Automatic inversion generates divide-and-conquer parallel programs

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Debugging macros

GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Bidirectionalization transformation based on automatic derivation of view complement functions

ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Inverting schema mappings

ACM Transactions on Database Systems (TODS)
Querying through a user interface

Data & Knowledge Engineering
The Role of Semantics in Translating View Updates

Computer
Towards automatic model synchronization from model transformations

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Automatic extraction of framework-specific models from framework-based application code

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Update exchange with mappings and provenance

VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Boomerang: resourceful lenses for string data

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
From dirt to shovels: fully automatic tool generation from ad hoc data

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
XML data exchange: Consistency and query answering

Journal of the ACM (JACM)
Principles of a reversible programming language

Proceedings of the 5th conference on Computing frontiers
Dual syntax for XML languages

Information Systems
Coupled Transformation of Schemas, Documents, Queries, and Constraints

Electronic Notes in Theoretical Computer Science (ENTCS)
The recovery of a schema mapping: bringing exchanged data back

Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A programmable editor for developing structured documents based on bidirectional transformations

Higher-Order and Symbolic Computation
Quotient lenses

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Comparing libraries for generic programming in haskell

Proceedings of the first ACM SIGPLAN symposium on Haskell
Model Synchronisation: Definitions for Round-Trip Engineering

ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Reversible Flowchart Languages and the Structured Reversible Program Theorem

ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Towards an Algebraic Theory of Bidirectional Transformations

ICGT '08 Proceedings of the 4th international conference on Graph Transformations
15 Years of Triple Graph Grammars

ICGT '08 Proceedings of the 4th international conference on Graph Transformations
The Objects and Arrows of Computational Design

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Algebraic Models for Bidirectional Model Synchronization

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Heterogeneous Coupled Evolution of Software Languages

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Automating Co-evolution in Model-Driven Engineering

EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
STBenchmark: towards a benchmark for mapping systems

Proceedings of the VLDB Endowment
Language-integrated querying of XML data in SQL server

Proceedings of the VLDB Endowment
Design Space of Heterogeneous Synchronization

Generative and Transformational Techniques in Software Engineering II
Transforming Data by Calculation

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

Generative and Transformational Techniques in Software Engineering II
Bidirectionalization for free! (Pearl)

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
From spreadsheets to relational databases and back

Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
An Introduction to Grammar Convergence

IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Reconcilable differences

Proceedings of the 12th International Conference on Database Theory
Towards a compositional approach to model transformation for software development

Proceedings of the 2009 ACM symposium on Applied Computing
Change Management in Multi-Viewpoint System Using ASP

EDOCW '08 Proceedings of the 2008 12th Enterprise Distributed Object Computing Conference Workshops
Model-versioning-in-the-large: Algebraic foundations and the tile notation

CVSM '09 Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models
Framework-specific modeling languages

Framework-specific modeling languages
Logical reversibility of computation

IBM Journal of Research and Development
Engineering of Framework-Specific Modeling Languages

IEEE Transactions on Software Engineering
Graphical user interfaces as updatable views

Graphical user interfaces as updatable views
Pair grammars, graph languages and string-to-graph translations

Journal of Computer and System Sciences
Revealing the X/O impedance mismatch: changing lead into gold

SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Framework-Specific modeling languages with round-trip engineering

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Mappings make data processing go 'round

GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Co-transformations in database applications evolution

GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Coupled schema transformation and data conversion for XML and SQL

PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Low noise reversible MDCT (RMDCT) and its application in progressive-to-lossless embedded audio coding

IEEE Transactions on Signal Processing
Reversible machine code and its abstract processor architecture

CSR'07 Proceedings of the Second international conference on Computer Science: theory 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
Metamodel adaptation and model co-adaptation

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming

Combining syntactic and semantic bidirectionalization

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
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
Patching product line programs

FOSD '10 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development
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
JTL: a bidirectional and change propagating transformation language

SLE'10 Proceedings of the Third international conference on Software language engineering
Extended triple graph grammars with efficient and compatible graph translators

Graph transformations and model-driven engineering
Dagstuhl seminar on bidirectional transformations (BX)

ACM SIGMOD Record
Fine-tuning model transformation: change propagation in context of consistency, completeness, and human guidance

ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Toward bidirectionalization of ATL with GRoundTram

ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Incremental updates for efficient bidirectional transformations

Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Instant and incremental QVT transformation for runtime models

Proceedings of the 14th international conference on Model driven engineering languages and systems
From state- to delta-based bidirectional model transformations: the symmetric case

Proceedings of the 14th international conference on Model driven engineering languages and systems
Correctness of model synchronization based on triple graph grammars

Proceedings of the 14th international conference on Model driven engineering languages and systems
Ideas for connecting inductive program synthesis and bidirectionalization

PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
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
A framework for model-driven development of information systems: Technical decisions and lessons learned

Journal of Systems and Software
Maintaining invariant traceability through bidirectional transformations

Proceedings of the 34th International Conference on Software Engineering
Coupled evolution of model-driven spreadsheets

Proceedings of the 34th International Conference on Software Engineering
Bidirectional model transformation with precedence triple graph grammars

ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
On model subtyping

ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
How clean is your sandbox?

ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Multifocal: a strategic bidirectional transformation language for XML schemas

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
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
Three complementary approaches to bidirectional programming

SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
Practical aspects of bidirectional graph transformations

PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
Programming language approaches to bidirectional transformation

Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications
A simple game-theoretic approach to checkonly QVT Relations

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

Electronic Notes in Theoretical Computer Science (ENTCS)
Retainment policies - A formal framework for change retainment for trace-based model transformations

Information and Software Technology
Report on the international symposium on high confidence software (ISHCS 2011/2012)

ACM SIGSOFT Software Engineering Notes
Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
A declarative and bidirectional model transformation approach based on graph co-spans

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Supporting feature model refinement with updatable view

Frontiers of Computer Science: Selected Publications from Chinese Universities
Transformation as search

ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Semantic bidirectionalization revisited

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
Monadic combinators for "Putback" style bidirectional programming

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
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.00

Visualization

Abstract

The GRACE International Meeting on Bidirectional Transformations was held in December 2008 near Tokyo, Japan. The meeting brought together researchers and practitioners from a variety of sub-disciplines of computer science to share research efforts and help create a new community. In this report, we survey the state of the art and summarize the technical presentations delivered at the meeting. We also describe some insights gathered from our discussions and introduce a new effort to establish a benchmark for bidirectional transformations.