Projects per year
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.
|Title of host publication||11th International Workshop on Theory and Practice of Provenance|
|Number of pages||5|
|Publication status||Published - 3 Jun 2019|
|Event||11th International Workshop on Theory and Practice of Provenance - Philadelphia, United States|
Duration: 3 Jun 2019 → 3 Jun 2019
|Workshop||11th International Workshop on Theory and Practice of Provenance|
|Abbreviated title||TaPP 2019|
|Period||3/06/19 → 3/06/19|
FingerprintDive into the research topics of 'Provenance meets bidirectional transformations'. Together they form a unique fingerprint.
- 1 Finished
15/03/13 → 1/12/16