Bidirectional Transformations

International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

  • Jeremy Gibbons
  • Perdita Stevens
Book

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9715)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9715)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
    Pages 1-28
  3. Martin Hofmann
    Pages 73-99
  4. Zhenjiang Hu, Hsiang-Shang Ko
    Pages 100-150
  5. Richard F. Paige
    Pages 151-187
  6. Back Matter
    Pages 189-189

About this book

Introduction

Bidirectional transformations (BX) are means of maintaining consistency between multiple information sources: when one source is edited, the others may need updating to restore consistency. BX have applications in databases, user interface design, model-driven development, and many other domains.

This volume represents the lecture notes from the Summer School on Bidirectional Transformations, held in Oxford, UK, in July 2016. The school was one of the final activities on the project "A Theory of Least Change for Bidirectional Transformations", running at the University of Oxford and the University of Edinburgh from 2013 to 2017 and funded by the UK Engineering and Physical Sciences Research Council. The five chapters included in this volume are a record of most of the material presented at the summer school. After a comprehensive introduction to bidirectional transformations, they deal with triple graph grammars, modular edit lenses, putback-based bidirectional programming, and engineering of bidirectional transformations.


Keywords

computational grammars computer architecture computer programming computer software selection and evaluation context sensitive grammars databases domain-specific languages formal languages graph grammar graph transformation incremental computation model transformation model-driven engineering programming language project management semantics software engineering triple graph grammars verification

Editors and affiliations

  1. 1.University of OxfordOxfordUnited Kingdom
  2. 2.University of EdinburghEdinburghUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-79108-1
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-79107-4
  • Online ISBN 978-3-319-79108-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book