Incremental Updates for Efficient Bidirectional Transformations
A bidirectional transformation is a system that consists of two mappings between a source and a view data object, one in each direction. When a the view is modified, the source is updated accordingly. The key to handling large data objects that are subject to relatively small modifications is to pro...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
2011
|
| _version_ | 1826265542507364352 |
|---|---|
| author | Wang, M Gibbons, J Wu, N |
| author_facet | Wang, M Gibbons, J Wu, N |
| author_sort | Wang, M |
| collection | OXFORD |
| description | A bidirectional transformation is a system that consists of two mappings between a source and a view data object, one in each direction. When a the view is modified, the source is updated accordingly. The key to handling large data objects that are subject to relatively small modifications is to process the updates incrementally. Incrementality has been explored in the settings of relational databases and graph transformations, where the data is typically not typed (in the sense of not being restricted to a particular shape). This flexibility in structure makes it relatively easy to divide the data into separate parts that can be transformed and updated independently. The same is not true if the data is to be encoded with more general purpose algebraic datatypes, with transformations defined as functions: dividing data into well-typed separate parts is tricky, and recursions typically create interdependencies. In this paper, we look at the identification of transformations that support incremental updates, and devise a constructive process to achieve such transformations. |
| first_indexed | 2024-03-06T20:25:19Z |
| format | Conference item |
| id | oxford-uuid:2f317f6a-4ae3-4201-8e5e-178e3499e50e |
| institution | University of Oxford |
| last_indexed | 2024-03-06T20:25:19Z |
| publishDate | 2011 |
| record_format | dspace |
| spelling | oxford-uuid:2f317f6a-4ae3-4201-8e5e-178e3499e50e2022-03-26T12:53:51ZIncremental Updates for Efficient Bidirectional TransformationsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:2f317f6a-4ae3-4201-8e5e-178e3499e50eDepartment of Computer Science2011Wang, MGibbons, JWu, NA bidirectional transformation is a system that consists of two mappings between a source and a view data object, one in each direction. When a the view is modified, the source is updated accordingly. The key to handling large data objects that are subject to relatively small modifications is to process the updates incrementally. Incrementality has been explored in the settings of relational databases and graph transformations, where the data is typically not typed (in the sense of not being restricted to a particular shape). This flexibility in structure makes it relatively easy to divide the data into separate parts that can be transformed and updated independently. The same is not true if the data is to be encoded with more general purpose algebraic datatypes, with transformations defined as functions: dividing data into well-typed separate parts is tricky, and recursions typically create interdependencies. In this paper, we look at the identification of transformations that support incremental updates, and devise a constructive process to achieve such transformations. |
| spellingShingle | Wang, M Gibbons, J Wu, N Incremental Updates for Efficient Bidirectional Transformations |
| title | Incremental Updates for Efficient Bidirectional Transformations |
| title_full | Incremental Updates for Efficient Bidirectional Transformations |
| title_fullStr | Incremental Updates for Efficient Bidirectional Transformations |
| title_full_unstemmed | Incremental Updates for Efficient Bidirectional Transformations |
| title_short | Incremental Updates for Efficient Bidirectional Transformations |
| title_sort | incremental updates for efficient bidirectional transformations |
| work_keys_str_mv | AT wangm incrementalupdatesforefficientbidirectionaltransformations AT gibbonsj incrementalupdatesforefficientbidirectionaltransformations AT wun incrementalupdatesforefficientbidirectionaltransformations |