Provenance meets bidirectional transformations

Anthony Anjorin, James Cheney

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


Bidirectional transformations (bx) manage consistency between different independently-changing data structures, such as software engineering models. Many bx tools construct, exploit, and maintain various auxiliary structures required for correct and efficient consistency management. These data structures seem analogous to provenance in other settings, but their design is often ad hoc and implementation-dependent. However, it is increasingly urgent to rationalize their design and use as first-class explanations, to help users understand complex system behavior. In this paper we explore whether and how these auxiliary structures can already be viewed as forms of provenance, and outline open questions and possible future directions for provenance in bidirectional transformations, and vice versa.
Original languageEnglish
Title of host publication11th International Workshop on Theory and Practice of Provenance
PublisherUSENIX Association
Number of pages5
Publication statusPublished - 3 Jun 2019
Event11th International Workshop on Theory and Practice of Provenance - Philadelphia, United States
Duration: 3 Jun 20193 Jun 2019


Workshop11th International Workshop on Theory and Practice of Provenance
Abbreviated titleTaPP 2019
Country/TerritoryUnited States
Internet address


Dive into the research topics of 'Provenance meets bidirectional transformations'. Together they form a unique fingerprint.

Cite this