Writing bidirectional model transformations as intentional updates

• Type: Article in International Conference Proceedings Book
• Date: 2014

Authors

Zan, T (Author) Other; Pacheco, H (Author) Other; Hu, Z (Author) Other

Conference proceedings International

Title: 36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014

Pages: 488-491

36th International Conference on Software Engineering, ICSE 2014

Hyderabad, 31 May 2014 through 7 June 2014

Indexing

Scopus - 9 Citations

Other information

Authenticus ID: P-00K-HQF

DOI: 10.1145/2591062.2591102

Abstract (EN): Model synchronization plays an important role in modeldriven software development. Bidirectional model transformation approaches provide techniques for developers to specify the bidirectional relationship between source and target models, while keeping related models synchronized for free. Since models of interest are usually not in a one-to-one correspondence, this synchronization process is inherently ambiguous. Nevertheless, existing bidirectional model transformation tools focus mainly on enforcing consistency and provide developers only limited control over how models are synchronized, solving the latent ambiguity via default strategies whose behavior is unclear to developers. In this paper, we propose a novel approach in which developers write update programs that succinctly describe how a target model can be used to update a source model, such that the bidirectional behavior is fully determined. The new approach mitigates the unpredictability of existing solutions, by enabling a finer and more transparent control of what a bidirectional transformation does, and suggests a research direction for building more robust bidirectional model transformation tools. Copyright © 2014 ACM.

Language: English

Type (Professor's evaluation): Scientific