SLE 2013 paper:
Mapping-Aware Megamodeling: Design Patterns and Laws

Zinovy Diskin, Sahar Kokaly, Tom Maibaum

DOI: 10.1007/978-3-319-02654-1_18
T3A: Meta-languages
- Megamodels act as meta-level descriptions of models and mappings; the paper proposes richer, mapping-aware megamodeling constructs and principles.
T4B: Horizontal Transformation
- The work centers on explicit mappings between models (transformations/conversions) and how they are represented and reasoned about.
T5D: Formal Methods
- It formulates “laws” and design patterns for megamodels, emphasising principled (often formal) constraints on mapping structures and operations.

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