From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case

Diskin, Zinovy; Xiong, Yingfei; Czarnecki, Krzysztof; Ehrig, Hartmut; Hermann, Frank; Orejas, Fernando

doi:10.1007/978-3-642-24485-8_22

Download

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case

Diskin, Zinovy; Xiong, Yingfei; Czarnecki, Krzysztof et al.

2011 • In Model Driven Engineering Languages and Systems

Peer reviewed

Permalink
https://hdl.handle.net/10993/3920

DOI
10.1007/978-3-642-24485-8_22

Files Send to Details Statistics Bibliography Similar publications

Files

Full Text

MODELS11 - final.pdf

Author postprint (513.96 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink Twitter Linkedin

Details

Disciplines :

Computer science

Identifiers :

UNILU:UL-CONFERENCE-2011-430

Author, co-author :

Diskin, Zinovy; University of Waterloo, Canada

Xiong, Yingfei; University of Waterloo, Canada

Czarnecki, Krzysztof; University of Waterloo, Canada

Ehrig, Hartmut; Technische Universität Berlin, Germany

Hermann, Frank ; Technische Universität Berlin, Germany

Orejas, Fernando; Universitat Politècnica de Catalunya, Barcelona, Spain

Language :

English

Title :

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case

Publication date :

2011

Event name :

14th International Conference on Model Driven Engineering Languages and Systems (MODELS 2011)

Event place :

Wellington, New Zealand

Event date :

October 16-21, 2011

Main work title :

Model Driven Engineering Languages and Systems

Publisher :

Springer

ISBN/EAN :

978-3-642-24484-1

Pages :

304-318

Peer reviewed :

Peer reviewed

Commentary :

6981 Lecture Notes in Computer Science Lect Notes Comput Sci 1611-3349 0302-9743

Available on ORBilu :

since 17 July 2013

Statistics

Number of views

50 (3 by Unilu)

Number of downloads

450 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations

Bibliography

Alanen, M., Porres, I.: Difference and union of models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 2-17. Springer, Heidelberg (2003)
Barbosa, D.M.J., Cretin, J., Foster, N., Greenberg, M., Pierce, B.C.: Matching lenses: alignment and view update. In: ICFP, pp. 193-204 (2010)
Czarnecki, K., Foster, J.N., Hu, Z., Lämmel, R., Schürr, A., Terwilliger, J.F.: Bidirectional transformations: A cross-discipline perspective. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 260-283. Springer, Heidelberg (2009)
Diskin, Z.: Model synchronization: Mappings, tiles, and categories. In: Fernandes, J.M., Lämmel, R., Visser, J., Saraiva, J. (eds.) Generative and Transformational Techniques in Software Engineering III. LNCS, vol. 6491, pp. 92-165. Springer, Heidelberg (2011)
Diskin, Z., Xiong, Y., Czarnecki, K.: From State-to Delta-Based Bidirectional Model Transformations: the Asymmetric Case. Journal of Object technology 10, 6:1-6:25 (2011)
Diskin, Z.: Algebraic models for bidirectional model synchronization. In: Busch, C., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 21-36. Springer, Heidelberg (2008)
Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F., Orejas, F.: From state-to delta-based bidirectional model transformations: the symmetric case. Tech. Rep. GSDLAB-TR 2011-05-03, GSD Lab, University of Waterloo (2011), http://gsd.uwaterloo.ca/node/338
Foster, J.N., Greenwald, M., Moore, J., Pierce, B., Schmitt, A.: Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst. 29(3) (2007)
Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Software and System Modeling 8(1), 21-43 (2009)
Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y.: Correctness of Model Synchronization Based on TGG. In:Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 662-676. Springer, Heidelberg (2011)
Hofmann, M., Pierce, B.C., Wagner, D.: Symmetric lenses. In: POPL (2011)
Hu, Z., Mu, S.C., Takeichi, M.: A programmable editor for developing structured documents based on bidirectional transformations. Higher-Order and Symbolic Computation 21(1-2), 89-118 (2008)
Meertens, L.: Designing constraint maintainers for user interaction (1998), http://www.kestrel.edu/home/people/meertens/
Song, H., Huang, G., Chauvel, F., Zhang, W., Sun, Y., Mei, H.: Instant and incremental QVT transformation for runtime models. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 273-288. Springer, Heidelberg (2011)
Stevens, P.: Bidirectional model transformations in QVT: semantic issues and open questions. Software and System Modeling 9(1), 7-20 (2010)
Xing, Z., Stroulia, E.: UMLDiff: an algorithm for object-oriented design differencing. In: ASE, pp. 54-65 (2005)
Xiong, Y., Liu, D., Hu, Z., Zhao, H., Takeichi, M., Mei, H.: Towards automatic model synchronization from model transformations. In: ASE, pp. 164-173 (2007)
Xiong, Y., Hu, Z., Zhao, H., Song, H., Takeichi, M., Mei, H.: Supporting automatic model inconsistency fixing. In: ESEC/SIGSOFT FSE, pp. 315-324 (2009)
Xiong, Y., Song, H., Hu, Z., Takeichi, M.: Synchronizing concurrent model updates based on bidirectional transformation. Software and Systems Modeling (to appear)