A Theory of Least Change for Bidirectional Transformations
This is a EPSRC-funded project
(number EP/K020218/1)
running from March 2013 to December 2016.
The project is led at Edinburgh by
Perdita Stevens (PI),
working with
James Cheney (co-I)
and
James McKinna
(research co-I and full time Senior Research Fellow).
The project is joint with Oxford University,
with
Jeremy Gibbons (PI)
and
Faris Abou-Saleh (RA).
They maintain a separate project web page here:
Oxford TLCBX page
Summer School
We organised a
Summer School,
held 25th to 29th July 2016 at Lady Margaret Hall, Oxford, UK. A volume of lecture notes from the School, to be published in Springer LNCS, is in preparation.
Lecturers
Anthony Anjorin, University of Paderborn, DE
Bx with Triple Graph Grammars
Martin Hofmann, Ludwig-Maximilians-Universitaet Muenchen, DE
Modular Edit Lenses
Zhenjiang Hu, National Institute of Informatics, JP
Principles and Practice of Putback-based Bidirectional Programming in BiGUL
Mike Johnson, Macquarie University, AU
Mathematical Foundations of Bidirectional Transformations
Richard Paige, University of York, UK
Engineering Bidirectional Transformations
Research Outputs
Bx Examples Repository
One of the things we are doing on this project is developing a Bx Example Repository.
Papers
We list here the papers most directly relevant to this project; others are
listed on our own home pages.
- James McKinna. Bidirectional Transformations are Proof-relevant Bisimulations. Extended abstract presented at TyDe 2016, Nara, Japan (ICFP video).
- James McKinna and Perdita Stevens. How to Regain Equilibrium Without Losing Your Balance, Bx Workshop at ETAPS 2016, Eindhoven.
- James McKinna. Complements Witness Consistency, Bx Workshop at ETAPS 2016, Eindhoven.
- James McKinna. Bidrectional transformations with deltas: A Dependently-Typed Approach, Bx Workshop at ETAPS 2016, Eindhoven.
- Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna,
Perdita Stevens. Reflections on Monadic Lenses. In: Wadler Festschrift, Springer LNCS 9600, 2016. Publisher's link
- Faris Abou-Saleh, James McKinna, Jeremy Gibbons. Coalgebraic
Aspects of Bidirectional Computation. BX 2015: 16-30. Journal version to appear in the Journal of Object Technology (authors' final version here).
(extended version including proofs)
- James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens. Towards a Principle of Least Surprise for Bidirectional Transformations. BX 2015: 66-80. Journal version to appear in the Journal of Object Technology (authors' final version here).
- Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna and
Perdita Stevens.
Notions of Bidirectional Computation and
Entangled State Monads, MPC 2015.
(100pp. technical report including proofs;
full Haskell code with additional definitions and examples to accompany the paper.)
- Faris Abou−Saleh‚ James Cheney‚ Jeremy Gibbons‚ James McKinna and
Perdita Stevens. Bidirectional
Transformation is Effectful . Abstract presented at SNAPL 2015.
- Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna and
Perdita Stevens. Entangled State Monads (Extended
Abstract). BX 2014. (Extended version with proofs)
- James Cheney, Jeremy Gibbons, James McKinna and Perdita Stevens.
Towards a BX example repository. BX 2014.
- Perdita Stevens. Bidirectionally tolerating inconsistency: partial
transformations. FASE'14. Nominated for Best Paper Award.