Towards a Principle of Least Surprise for bidirectional transformations

Cheney James, Jeremy Gibbons, James McKinna, Perdita Stevens

Research output: Contribution to journalConference article

10 Citations (Scopus)

Abstract

In software engineering and elsewhere, it is common for different people to work intensively with different, but related, artefacts, e.g. models, documents, or code. They may use bidirectional transformations (bx) to maintain consistency between them. Naturally, they do not want their deliberate decisions disrupted, or their comprehension of their artefact interfered with, by a bx that makes changes to their artefact beyond the strictly necessary. This gives rise to a desire for a principle of Least Change, which has been often alluded to in the field, but seldom addressed head on. In this paper we present examples, briefly survey what has been said about least change in the context of bx, and identify relevant notions from elsewhere that may be applicable. We identify that what is actually needed is a Principle of Least Surprise, to limit a bx to reasonable behaviour. We present candidate formalisations of this, but none is obviously right for all circumstances. We point out areas where further work might be fruitful, and invite discussion.

Original languageEnglish
Pages (from-to)66-80
Number of pages15
JournalCEUR Workshop Proceedings
Volume1396
Publication statusPublished - 6 Jul 2015
Event4th International Workshop on Bidirectional Transformations 2015 - L'Aquila, Italy
Duration: 24 Jul 201524 Jul 2015

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Towards a Principle of Least Surprise for bidirectional transformations'. Together they form a unique fingerprint.

  • Cite this