Skip to main content
SpringerLink
Log in

Extending Model to Model Transformation Results from Triple Graph Grammars to Multiple Models

  • Conference paper
  • First Online:
Theory and Practice of Model Transformations (ICMT 2015)

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

Abstract

Triple graph grammars are a formally well-founded and widely used technique for model transformation. Due to their formal foundation several transformation approaches and analysis methods exists. However, triple graphs are restricted to represent two models at a time. In this paper we describe how the formalism of triple graphs can be generalised to enable a representation of multiple models and relations. We show that basic results from triple graph grammars can also be extended. The results in this paper provide a foundation for the generalisation of other results in model transformation, integration and synchronisation to multiple models.

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., Maibaum, T., Czarnecki, K.: Intermodeling, queries, and kleisli categories. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol. 7212, pp. 163–177. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  2. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)

    Google Scholar 

  3. Ehrig, H., Orejas, F., Prange, U.: Categorical foundations of distributed graph transformation. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 215–229. Springer, Heidelberg (2006)

    Chapter  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. Ehrig, H., Ehrig, K., Hermann, F.: From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. In: Electronic Communications of the EASST 10 (2008)

    Google Scholar 

  6. Ehrig, H., Ermel, C., Hermann, F., Prange, U.: On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 241–255. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

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

  8. 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 

  9. Kindler, E., Wagner, R.: Triple graph grammars: concepts, extensions, implementations, and application scenarios. In: Technical report, no. tr-ri-07-284. Software Engineering Group, Department of Computer Science, University of Paderborn (2007)

    Google Scholar 

  10. Königs, A., Schürr, A.: MDI a rule-based multi-document and tool integration approach. Softw. Syst. Model. 5(4), 349–368 (2006)

    Article  Google Scholar 

  11. Königs, A., Schürr, A.: Tool integration with triple graph grammars - a survey. Electric Notes in Theoret. Comput Sci. 148(1), 113–150 (2006)

    Article  Google Scholar 

  12. 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 

  13. 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 

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

    Google Scholar 

  15. Miller, J., Mukerji, J.: Model driven architecture (MDA). Draft Technical report ormsc/2001-07-01, Architecture Board ORMSC (2001)

    Google Scholar 

  16. Schürr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) International Workshop on Graph-Theoretic Concepts in Computer Science, LNCS, vol. 903, pp. 151–163. Springer, Heidelberg (1994)

    Chapter  Google Scholar 

  17. Schürr, A., Klar, F.: 15 years of triple graph grammars. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) Graph Transformations, vol. 5214, pp. 411–425. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  18. Trollmann, F., Albayrak, S.: Expressing model relations as basis for structural consistency analysis in models@run.time. In: Proceedings of the 7th Workshop on Models@run.time, pp. 74-75. ACM (2012)

    Google Scholar 

  19. Vanderdonckt, J.: A MDA-compliant environment for developing user interfaces of information systems. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 16–31. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  20. Lambers, L., Hildebrandt, S., Giese, H., Orejas, F.: Attribute handling for bidirectional model transformations: the triple graph grammar case. In: Electron. Commun. EASST 49 (2012)

    Google Scholar 

Download references

Acknowledgements

Das diesem Bericht zugrundeliegende Vorhaben wurde mit Mitteln des Bundesministeriums für Bildung, und Forschung unter dem Förderkennzeichen 16SBB011B gefördert. Die Verantwortung für den Inhalt dieser Veröffentlichung liegt beim Autor.

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. University of York, York, United Kingdom

    Dimitris Kolovos

  2. Vienna University of Technology, Vienna, Austria

    Manuel Wimmer

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Trollmann, F., Albayrak, S. (2015). Extending Model to Model Transformation Results from Triple Graph Grammars to Multiple Models. In: Kolovos, D., Wimmer, M. (eds) Theory and Practice of Model Transformations. ICMT 2015. Lecture Notes in Computer Science(), vol 9152. Springer, Cham. https://doi.org/10.1007/978-3-319-21155-8_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-21155-8_16

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-21154-1

  • Online ISBN: 978-3-319-21155-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation