sle2008/paper11

SLE 2008 paper:
Formalization and Rule-Based Transformation of EMF Ecore-Based Models

Bernhard Schätz

• DOI: 10.1007/978-3-642-00434-6_15
• T4B: Horizontal Transformation
  • It formalises and applies rule-based transformations over EMF Ecore-based models, i.e., model-to-model rewriting.
• T5D: Formal Methods
  • The paper emphasises a formalisation of the transformation framework and rules for rigor.
• T3B: Transformation Languages
  • The rule-based transformation approach effectively defines a transformation language/notation for Ecore models.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.