Skip to main content

EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment

  • Conference paper
Graph Transformations (ICGT 2010)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 6372))

Included in the following conference series:

Introduction

Model-driven software development is considered as a promising paradigm in software engineering [10].

Models are the central artifacts in model-driven development. Hence, inspecting and modifying models to reduce their complexity and improve their readability, maintainability and extensibility (i.e. by performing model refactoring [8]) are important issues of model development. Thus model transformation can be considered as one of the key activities in model-driven software development.

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

Access this chapter

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 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. Biermann, E., Ermel, C., Taentzer, G.: Precise semantics of EMF model transformations by graph transformation. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 53–67. Springer, Heidelberg (2008), http://tfs.cs.tu-berlin.de/publikationen/Papers08/BET08.pdf

    Chapter  Google Scholar 

  2. Biermann, E., Ermel, C., Taentzer, G.: Formal foundation of consistent EMF model transformations by algebraic graph transformation. In: Software and Systems Modeling, SoSyM (to appear 2010)

    Google Scholar 

  3. Biermann, E., Ermel, C., Taentzer, G.: Lifting parallel graph transformation concepts to model transformation based on the Eclipse modeling framework. ECEASST 26 (2010), http://journal.ub.tu-berlin.de/index.php/eceasst/issue/view/36

  4. Böhm, P., Fonio, H.R., Habel, A.: Amalgamation of graph transformations: a synchronization mechanism. Computer and System Sciences (JCSS) 34, 377–408 (1987)

    Article  MATH  Google Scholar 

  5. Eclipse Consortium: Eclipse Modeling Framework (EMF) – Version 2.4 (2008), http://www.eclipse.org/emf

  6. Ehrig, H., Kreowski, H.J.: Parallel graph grammars. In: Lindenmayer, A., Rozenberg, G. (eds.) Automata, Languages, Development, pp. 425–447. North Holland, Amsterdam (1976)

    Google Scholar 

  7. Lambers, L., Ehrig, H., Habel, A., Orejas, F., Golas, U.: Local confluence for rules with nested application conditions based on a new critical pair notion. Tech. rep., Technische Universität Berlin (2010), http://www.eecs.tu-berlin.de/menue/forschung/forschungsberichte/2010

  8. Mens, T., Tourwé, T.: A survey of software refactoring. Transactions on Software Engineering 30(2), 126–139 (2004)

    Article  Google Scholar 

  9. Object Management Group: Meta Object Facility (MOF) Core Specification Version 2.0 (2008), http://www.omg.org/technology/documents/modeling_spec_catalog.htm#MOF

  10. Schmidt, D.C.: Model-driven engineering. IEEE Computer 39(2), 25–31 (2006)

    Google Scholar 

  11. Taentzer, G.: Parallel and Distributed Graph Transformation: Formal Description and Application to Communication-Based Systems. Ph.D. thesis, TU Berlin, Shaker Verlag (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Biermann, E. (2010). EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment. In: Ehrig, H., Rensink, A., Rozenberg, G., Schürr, A. (eds) Graph Transformations. ICGT 2010. Lecture Notes in Computer Science, vol 6372. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15928-2_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15928-2_26

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15927-5

  • Online ISBN: 978-3-642-15928-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics