WG211/M16Laemmel

Ralf Lämmel: Compilation of megamodels

Megamodels have been used in diverse contexts: - model management - software architecture - technology documentation - et al.

Megamodels reside at different abstraction levels: - Scripting (in the scope of model repositories) - Modeling (in the scope of linguistic architecture) - Verification (in the scope of testing) - et al.

We present a use case for compiling higher level megamodels to lower level megamodels. The domain of interest is concerned with software transformation---with bidirectional transformations specifically. The higher level is concerned with logic properties of transformations such as universal consistency properties between artifacts or interest. The lower level is concerned with testing-related properties around individual artifacts.