Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations | SpringerLink
Skip to main content
Springer Nature Link
Log in

Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations

  • Conference paper
Model Driven Engineering Languages and Systems (MODELS 2010)

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

Abstract

The Eclipse Modeling Framework (EMF) provides modeling and code generation facilities for Java applications based on structured data models. Henshin is a new language and associated tool set for in-place transformations of EMF models. The Henshin transformation language uses pattern-based rules on the lowest level, which can be structured into nested transformation units with well-defined operational semantics. So-called amalgamation units are a special type of transformation units that provide a forall-operator for pattern replacement. For all of these concepts, Henshin offers a visual syntax, sophisticated editing functionalities, execution and analysis tools. The Henshin transformation language has its roots in attributed graph transformations, which offer a formal foundation for validation of EMF model transformations. The transformation concepts are demonstrated using two case studies: EMF model refactoring and meta-model evolution.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 5719
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 7149
Price includes VAT (Japan)
  • 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. EMF: Eclipse Modeling Framework, http://www.eclipse.org/emf

  2. Steinberg, D., Budinsky, F., Patenostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison Wesley, Reading (2008)

    Google Scholar 

  3. MOF: Meta Object Facility (MOF) Core, http://www.omg.org/spec/MOF

  4. Kermeta: http://www.kermeta.org

  5. Kolovos, D.S., Paige, R.F., Polack, F., Rose, L.M.: Update transformations in the small with the Epsilon Wizard Language. Journal of Obj. Tech. 6(9), 53–69 (2007)

    Google Scholar 

  6. Biermann, E., Ehrig, K., Köhler, C., Kuhns, G., Taentzer, G., Weiss, E.: Graphical Definition of Rule-Based Transformation in the Eclipse Modeling Framework. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 425–439. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  7. Boronat, A.: MOMENT: A Formal Framework for Model Management. PhD thesis, Universitat Politècnica de València (2007)

    Google Scholar 

  8. AGG: Attributed Graph Grammar System, http://tfs.cs.tu-berlin.de/agg

  9. Biermann, E., Ehrig, K., Köhler, C., Kuhns, G., Taentzer, G., Weiss, E.: EMF Model Refactoring based on Graph Transformation Concepts. ECEASST 3 (2006), http://easst.org/eceasst

  10. Cicchetti, A., Ruscio, D.D., Eramo, R., Pierantonio, A.: Automating co-evolution in model-driven engineering. In: 12th International IEEE Enterprise Distributed Object Computing Conference, pp. 222–231. IEEE Computer Society, Los Alamitos (2008)

    Chapter  Google Scholar 

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

    MATH  Google Scholar 

  12. Biermann, E., Ermel, C., Taentzer, G.: Lifting Parallel Graph Transformation Concepts to Model Transformation based on the Eclipse Modeling Framework. ECEASST 26 (2010), http://easst.org/eceasst

  13. Kuske, S.: Transformation Units-A structuring Principle for Graph Transformation Systems. PhD thesis, University of Bremen (2000)

    Google Scholar 

  14. UML: Unified Modeling Language, http://www.uml.org

  15. EMF Refactor, http://www.mathematik.uni-marburg.de/~swt/modref

  16. Henshin, http://www.eclipse.org/modeling/emft/henshin

  17. EMFT: Eclipse Modeling Framework Technology, http://www.eclipse.org/modeling/emft

  18. Giese, H., Hildebrandt, S., Seibel, A.: Improved flexibility and scalability by interpreting story diagrams. ECEASST 18 (2009), http://easst.org/eceasst

  19. GReAT: Graph Rewriting and Transformation, http://www.isis.vanderbilt.edu/tools/GReAT

  20. Kastenberg, H., Rensink, A.: Model checking dynamic states in GROOVE. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol. 3925, pp. 299–305. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  21. Garavel, H., Mateescu, R., Lang, F., Serwe, W.: CADP 2006: A toolbox for the construction and analysis of distributed processes. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 158–163. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  22. OCL: The Object Constraint Language, http://www.omg.org/technology/ documents/formal/ocl.htm

  23. MOLA: MOdel transformation LAnguage, http://mola.mi.lu.lv

  24. Balogh, A., Varró, D.: Advanced model transformation language constructs in the VIATRA2 framework. In: SAC 2006: Proceedings of the 2006 ACM Symposium on Applied Computing, pp. 1280–1287. ACM, New York (2006), http://eclipse.org/gmt/VIATRA2

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Philipps-Universität Marburg, Germany

    Thorsten Arendt, Stefan Jurack & Gabriele Taentzer

  2. Technische Universität Berlin, Germany

    Enrico Biermann

  3. CWI Amsterdam, The Netherlands

    Christian Krause

Authors
  1. Thorsten Arendt
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Enrico Biermann
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Stefan Jurack
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Christian Krause
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Gabriele Taentzer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Systems and Computer Engineering, Carleton University, 1125 Colonel By Drive, K1S 5BG, Ottawa, Ontario, Canada

    Dorina C. Petriu

  2. Jet Propulsion Laboratory, Flight Software Systems Engineering and Srchitecture Group, 4800 Oak Grove Drive, 91109, Pasadena, CA, USA

    Nicolas Rouquette

  3. SINTEF IKT, Forskningsveien 1, 0373, Oslo, Norway

    Øystein Haugen

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G. (2010). Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds) Model Driven Engineering Languages and Systems. MODELS 2010. Lecture Notes in Computer Science, vol 6394. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16145-2_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-16145-2_9

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation