Engineering bidirectional transformations

Richard F. Paige*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Bidirectional transformations, like software, need to be carefully engineered in order to provide guarantees about their correctness, completeness, acceptability and usability. This paper summarises a collection of lectures pertaining to engineering bidirectional transformations using Model-Driven Engineering techniques and technologies. It focuses on stages of a typical engineering lifecycle, starting with requirements and progressing to implementation and verification. It summarises Model-Driven Engineering approaches to capturing requirements, architectures and designs for bidirectional transformations, and suggests an approach for verification as well. It concludes by describing some challenges for future research into engineering bidirectional transformations.

Original languageEnglish
Title of host publicationBidirectional Transformations
Subtitle of host publicationInternational Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
EditorsJeremy Gibbons, Perdita Stevens
Number of pages37
Volume9715 LNCS
ISBN (Electronic)9783319791081
ISBN (Print)9783319791074
Publication statusE-pub ahead of print - 28 Mar 2018
EventInternational Summer School on Bidirectional Transformations, 2016 - Oxford, United Kingdom
Duration: 25 Jul 201629 Jul 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9715 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349


ConferenceInternational Summer School on Bidirectional Transformations, 2016
Country/TerritoryUnited Kingdom

Bibliographical note

This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

Cite this