Projects per year
Abstract / Description of output
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 language | English |
---|---|
Title of host publication | 11th International Workshop on Theory and Practice of Provenance |
Publisher | USENIX Association |
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 https://sites.google.com/uncc.edu/tapp-2019/home |
Workshop
Workshop | 11th International Workshop on Theory and Practice of Provenance |
---|---|
Abbreviated title | TaPP 2019 |
Country/Territory | United States |
City | Philadelphia |
Period | 3/06/19 → 3/06/19 |
Internet address |
Fingerprint
Dive into the research topics of 'Provenance meets bidirectional transformations'. Together they form a unique fingerprint.Projects
- 1 Finished
-
A Theory of Least Change for Bidirectional Transformations
Stevens, P., Cheney, J. & Mckinna, J.
15/03/13 → 1/12/16
Project: Research