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.