Efficient model synchronization with precedence triple graph grammars

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7562 LNCS, Issue , 2012, Pages 401-415

  Lauder, Marius ^a   Anjorin, Anthony ^a   Varró, Gergely ^a   Schürr, Andy ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

control algorithm of incremental transformations; model synchronization; node precedence analysis; triple graph grammars

Indexed keywords

BACKWARD TRANSFORMATIONS; FORMAL PROPERTIES; INCREMENTAL MODELS; INCREMENTAL TRANSFORMATION; MODEL CHANGE; MODEL SYNCHRONIZATION; NODE PRECEDENCE ANALYSIS; RULE-BASED TECHNIQUES; RUN TIME COMPLEXITY; TRANSFORMATION PROCESS; TRIPLE GRAPH GRAMMARS;

ALGORITHMS; CONTEXT SENSITIVE GRAMMARS; FORMAL LANGUAGES; GRAPH THEORY; SPECIFICATIONS; SYNCHRONIZATION;

MATHEMATICAL MODELS;

EID: 84867627537     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-33654-6_27     Document Type: Conference Paper

References (15)

1. Anjorin, A., Lauder, M., Patzina, S., Schürr, A.: eMoflon: Leveraging EMF and Professional CASE Tools. In: Heiß, H.U., Pepper, P., Schlingloff, H., Schneider, J. (eds.) Informatik 2011. LNI, vol. 192, p. 281. GI, Bonn (2011)
2. Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F., Orejas, F.: From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 304-318. Springer, Heidelberg (2011)
3. Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information Preserving Bidirectional Model Transformations. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 72-86. Springer, Heidelberg (2007)
4. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Berlin (2006)
5. Giese, H., Hildebrandt, S.: Efficient Model Synchronization of Large-Scale Models. Tech. Rep. 28, Universitätsverlag Potsdam (2009)
6. Giese, H., Hildebrandt, S., Lambers, L.: Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars. In: MoDeVVA 2010, pp. 19-24. IEEE, New York (2010)
7. Greenyer, J., Pook, S., Rieke, J.: Preventing Information Loss in Incremental Model Synchronization by Reusing Elements. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol. 6698, pp. 144-159. Springer, Heidelberg (2011)
8. Hermann, F., Ehrig, H., Ermel, C., Orejas, F.: Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 178-193. Springer, Heidelberg (2012)
9. Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y.: Correctness of Model Synchronization Based on Triple Graph Grammars. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 668-682. Springer, Heidelberg (2011)
10. Kindler, E., Rubin, V., Wagner, R.: An Adaptable TGG Interpreter for In-Memory Model Transformations. In: Schürr, A., Zündorf, A. (eds.) Fujaba Days 2004, pp. 35-38. Paderborn (2004)
11. Klar, F., Lauder, M., Königs, A., Schürr, A.: Extended Triple Graph Grammars with Efficient and Compatible Graph Translators. In: Engels, G., Lewerentz, C., Schäfer, W., Schürr, A., Westfechtel, B. (eds.) Nagl Festschrift. LNCS, vol. 5765, pp. 141-174. Springer, Heidelberg (2010)
12. Lauder, M., Anjorin, A., Varró, G., Schürr, A.: Bidirectional Model Transformation with Precedence Triple Graph Grammars. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., Störrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol. 7349, pp. 287-302. Springer, Heidelberg (2012)
13. Schürr, A., Klar, F.: 15 Years of Triple Graph Grammars. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 411-425. Springer, Heidelberg (2008)
14. Stevens, P.: Towards an Algebraic Theory of Bidirectional Transformations. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 1-17. Springer, Heidelberg (2008)
15. Xiong, Y., Song, H., Hu, Z., Takeichi, M.: Synchronizing Concurrent Model Updates Based on Bidirectional Transformation. SoSyM, 1-16 (2011) (Online First™, January 4, 2011)