WG211/M16Laemmel

Ralf Lämmel: Compilation of megamodels

Megamodels can be used in diverse contexts:

• model management
• software architecture
• technology documentation
• et al.

Megamodels may reside at different abstraction levels:

• Scripting (in the scope of software repositories)
• Modeling (in the scope of software architecture)
• Verification (in the scope of formal specification)
• et al.

We study the compilation of 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 being transformed. The lower level is concerned with property-based testing of transformations.

Find papers and software here: http://professor-fish.blogspot.com/2016/08/megamodels-of-coupled-transformations.html