Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars

GOTTMANN, Susann; HERMANN, Frank; NACHTIGALL, Nico; Benjamin, Braatz; Ermel, Claudia; Ehrig, Hartmut; ENGEL, Thomas

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

GOTTMANN, Susann; HERMANN, Frank; NACHTIGALL, Nico et al.

2013 • In Baudry, Benoit; Dingel, Juergen; Lucio, Levi et al. (Eds.) Proc. Int. Workshop on Analysis of Model Transformations 2013 (AMT'13)

Peer reviewed

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

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

article.pdf

Author preprint (535.24 kB)

Request a copy

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Disciplines :

Computer science

Author, co-author :

GOTTMANN, Susann ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

HERMANN, Frank ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

NACHTIGALL, Nico ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Benjamin, Braatz

Ermel, Claudia

Ehrig, Hartmut

ENGEL, Thomas ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)

Language :

English

Title :

Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars

Publication date :

2013

Event name :

Int. Workshop on Analysis of Model Transformations 2013 (AMT'13)

Event date :

29-09-2013

Main work title :

Proc. Int. Workshop on Analysis of Model Transformations 2013 (AMT'13)

Editor :

Baudry, Benoit

Dingel, Juergen

Lucio, Levi

Vangheluwe, Hans

Publisher :

CEUR-WS.org

Collection name :

CEUR Workshop Proceedings

Peer reviewed :

Peer reviewed

Commentary :

To appear

Available on ORBilu :

since 05 September 2013

Statistics

Number of views

146 (20 by Unilu)

Number of downloads

0 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

Bibliography

Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations. In: Proc. MoDELS'10. LNCS, vol. 6394, pp. 121-135. Springer (2010)
Diskin, Z., Xiong, Y., Czarnecki, K.: From State- to Delta-Based Bidirectional Model Transformations. In: Proc. ICMT'12, LNCS, vol. 6142, pp. 61-76. Springer (2010)
Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information Preserving Bidirectional Model Transformations. In: Proc. FASE'07. LNCS, vol. 4422, pp. 72-86. Springer (2007)
Ehrig, H., Ermel, C., Taentzer, G.: A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications. In: Proc. FASE'11. LNCS, vol. 6603, pp. 202-216. Springer (2011)
Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. SoSyM 8, 21-43 (2009)
Gottmann, S., Hermann, F., Nachtigall, N., Braatz, B., Ermel, C., Ehrig, H., Engel, T.: Correctness of Generalisation and Customisation of Concurrent Model Synchronisation Based on Triple Graph Grammars. Tech. Rep. 2013-08, Technische Universität Berlin, Fak. IV (2013), http://www.eecs.tu-berlin.de/menue/research/technical-reports/parameter/en/
Greenyer, J., Kindler, E.: Comparing relational model transformation technologies: Implementing Query/View/Transformation with Triple Graph Grammars. SoSyM 9, 21-46 (2010)
EMF Henshin - Version 0.9.6 (2013), http://www.eclipse.org/henshin/
Hermann, F., Ehrig, H., Ermel, C., Orejas, F.: Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. In: Proc. FASE'12. LNCS, vol. 7212, pp. 178-193. Springer (2012)
Hermann, F., Ehrig, H., Golas, U., Orejas, F.: Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars. In: Proc. MDI'10. pp. 22-31. MDI '10, ACM (2010)
Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y.: Correctness of Model Synchronization Based on Triple Graph Grammars. In: Proc. MoDELS'11. LNCS, vol. 6981, pp. 668-682. Springer (2011)
Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y., Gottmann, S., Engel, T.: Model synchronization based on triple graph grammars: Correctness, completeness and invertibility. SoSyM pp. 1-29 (2013)
Hermann, F., Gottmann, S., Nachtigall, N., Braatz, B., Morelli, G., Pierre, A., Engel, T.: On an Automated Translation of Satellite Procedures Using Triple Graph Grammars. In: Proc. ICMT'13, LNCS, vol. 7909, pp. 50-51. Springer (2013)
Kindler, E., Wagner, R.: Triple Graph Grammars: Concepts, Extensions, Implementations, and Application Scenarios. Tech. Rep. TR-ri-07-284, Department of Computer Science, University of Paderborn, Germany (2007)
Lauder, M., Anjorin, A., Varró, G., Schürr, A.: Bidirectional Model Transformation with Precedence Triple Graph Grammars. In: Proc. ECMFA'12. LNCS, vol. 7349, pp. 287-302. Springer (2012)
Lauder, M., Anjorin, A., Varró, G., Schürr, A.: Efficient Model Synchronization with Precedence Triple Graph Grammars. In: Proc. ICGT'12. LNCS, vol. 7562, pp. 401-415. Springer (2012)
Schürr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Proc. WG'94. LNCS, vol. 903, pp. 151-163. Springer (1994)
Schürr, A., Klar, F.: 15 Years of Triple Graph Grammars. In: Proc. ICGT'08. pp. 411-425. No. 5214 in LNCS, Springer (2008)
Xiong, Y., Song, H., Hu, Z., Takeichi, M.: Synchronizing concurrent model updates based on bidirectional transformation. SoSyM 12, 89-104 (2013)