Skip to main content
SpringerLink
Log in

Extending Model Synchronization Results from Triple Graph Grammars to Multiple Models

    We’re sorry, something doesn't seem to be working properly.

    Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

  • First Online:

We’re sorry, something doesn't seem to be working properly.

Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

Theory and Practice of Model Transformations (ICMT 2016)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 9765))

Abstract

Triple graph grammars are a formally well-founded and widely used technique for model transformation and model synchronization. In previous work we have shown that basic model transformation results from triple graph grammars can be extended to multiple models and relations on the basis of a formalism called graph diagrams. In this paper we extend this theory to model synchronization by generalizing results from model synchronization for triple graphs to graph diagrams. This extension is the basis for the implementation and analysis of model synchronization in future work.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Diskin, Z., Xiong, Y., Czarnecki, K.: From state- to delta-based bidirectional model transformations: the asymmetric case. J. Object Technol. 10(6), 1–25 (2011)

    Google Scholar 

  2. Diskin, Z., Maibaum, T., Czarnecki, K.: Intermodeling, queries, and kleisli categories. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 163–177. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  3. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (2006)

    MATH  Google Scholar 

  4. 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)

    Chapter  Google Scholar 

  5. Giese, H., Wagner, R.: Incremental model synchronization with triple graph grammars. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 543–557. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  6. 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)

    Chapter  Google Scholar 

  7. 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.) Fundamental Approaches to Software Engineering. LNCS, vol. 7212, pp. 178–193. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  8. 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. Softw. Syst. Model. 14, 241–269 (2015)

    Article  Google Scholar 

  9. Lauder, M., Anjorin, A., Varró, G., Schürr, A.: Efficient model synchronization with precedence triple graph grammars. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol. 7562, pp. 401–415. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  10. Limbourg, Q., Vanderdonckt, J., Michotte, B., Bouillon, L., López-Jaquero, V.: USIXML: a language supporting multi-path development of user interfaces. In: Feige, U., Roth, J. (eds.) DSV-IS 2004 and EHCI 2004. LNCS, vol. 3425, pp. 200–220. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  11. Macedo, N., Cunha A., Pacheco H.: Towards a framework for multi-directional model transformations. In: 3rd International Workshop on Bidirectional Transformations - BX 1133 (2014)

    Google Scholar 

  12. Mens, T.: A taxonomy of model transformation and its application to graph transformation technology. In: International Workshop on Graph and Model Transformation (GraMoT 2005) (2005)

    Google Scholar 

  13. Orejas, F., Pino, E.: Correctness of incremental model synchronization with triple graph grammars. In: Di Ruscio, D., Varró, D. (eds.) ICMT 2014. LNCS, vol. 8568, pp. 74–90. Springer, Heidelberg (2014)

    Google Scholar 

  14. Schürr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG ’94. LNCS, vol. 903, pp. 151–163. Springer, Heidelberg (1994)

    Chapter  Google Scholar 

  15. 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. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  16. Trollmann, F., Albayrak, S.: Extending model to model transformation results from triple graph grammars to multiple models. In: Kolovos, D., Wimmer, M. (eds.) ICMT 2015. LNCS, vol. 9152, pp. 214–229. Springer, Heidelberg (2015)

    Chapter  Google Scholar 

  17. Vogel, T., Neumann, S., Hildebrandt, S., Giese, H., Becker, B.: Incremental model synchronization for efficient run-time monitoring. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol. 6002, pp. 124–139. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  18. Vogel, T., Giese, H.: Adaptation and abstract runtime models. In: Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-managing Systems, pp. 39–48. ACM (2010)

    Google Scholar 

  19. Lambers, L., Hildebrandt, S., Giese, H., Orejas, F.: Attribute handling for bidirectional model transformations: the triple graph grammar case. In: Electronic Communications of the EASST, vol. 49 (2012)

    Google Scholar 

  20. Orejas, F., Boronat, A., Ehrig, H., Hermann, F., Schölzel, H.: On propagation-based concurrent model synchronization. In: Electronic Communications of the EASST, vol. 57 (2013)

    Google Scholar 

  21. Weidmann, M., Alvi, M., Koetter, F., Leymann, F., Renner, T., Schumm, D.: Business process change management based on process model synchronization of multiple abstraction levels. In: Proceedings of SOCA, pp. 1–4. IEEE Computer Society (2011)

    Google Scholar 

  22. Xiong, Y., Song, H., Hu, Z., Takeichi, M.: Synchronizing concurrent model updates based on bidirectional transformation. Int. J. Softw. Syst. Model. (SoSyM) 12(1), 89–104 (2013). Springer

    Article  Google Scholar 

  23. Trollmann, F., Albayrak, S.: Extending model synchronization results from triple graph grammars to multiple models – long version. Technical report, TU Berlin (2016, to appear)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Electrical Engineering and Computer Science, DAI-Labor, TU-Berlin, Berlin, Germany

    Frank Trollmann & Sahin Albayrak

Authors
  1. Frank Trollmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sahin Albayrak
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Frank Trollmann .

Editor information

Editors and Affiliations

  1. Eindhoven University of Technology, Eindhoven, The Netherlands

    Pieter Van Gorp

  2. University of Paderborn, Paderborn, Germany

    Gregor Engels

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Trollmann, F., Albayrak, S. (2016). Extending Model Synchronization Results from Triple Graph Grammars to Multiple Models. In: Van Gorp, P., Engels, G. (eds) Theory and Practice of Model Transformations. ICMT 2016. Lecture Notes in Computer Science(), vol 9765. Springer, Cham. https://doi.org/10.1007/978-3-319-42064-6_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-42064-6_7

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-42063-9

  • Online ISBN: 978-3-319-42064-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation