Difference between revisions of "WG211/M16Laemmel"
From WG 2.11
| Line 2: | Line 2: | ||
Megamodels have been used in diverse contexts: | Megamodels have been used in diverse contexts: | ||
| − | + | * model management | |
| − | + | * software architecture | |
| − | + | * technology documentation | |
| − | + | * et al. | |
Megamodels reside at different abstraction levels: | 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. | 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.
