Difference between revisions of "WG211/M16Laemmel"
(Created page with "Ralf Lämmel: Compiling megamodels TBA") |
|||
| Line 1: | Line 1: | ||
| − | Ralf Lämmel: | + | 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. | ||
Revision as of 01:35, 5 August 2016
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.
