ATEM 2006 SI paper:
Formalising Model Transformation Rules for UML/MOF 2

Carsten Amelunxen, Andy Schürr

DOI: 10.1049/iet-sen:20070076
T3B: Transformation Languages
- The paper formalises transformation rules (graph transformations) operating over UML/MOF models, directly addressing transformation-language foundations.
T5D: Formal Methods
- Its contribution is a set-theoretic formalisation of transformation semantics for MOF/UML association concepts, i.e., a formal-methods treatment.
T3A: Meta-languages
- It builds on meta-modelling standards (MOF/OCL) as meta-languages and discusses their integration with transformation formalisms.
T4A: Workbenches
- The work is situated in (and motivated by) tool-supported metamodelling frameworks (e.g., MOFLON) that generate executable repositories.

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