Difference between revisions of "WG211/M16Laemmel"
From WG 2.11
| Line 1: | Line 1: | ||
Ralf Lämmel: Compilation of megamodels | Ralf Lämmel: Compilation of megamodels | ||
| − | Megamodels | + | Megamodels can be used in diverse contexts: |
* model management | * model management | ||
* software architecture | * software architecture | ||
| Line 8: | Line 8: | ||
Megamodels may reside at different abstraction levels: | Megamodels may reside at different abstraction levels: | ||
| − | * Scripting (in the scope of | + | * Scripting (in the scope of software repositories) |
| − | * Modeling (in the scope of | + | * Modeling (in the scope of software architecture) |
| − | * Verification (in the scope of | + | * Verification (in the scope of formal specification) |
* et al. | * 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 | + | 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. |
Revision as of 14:31, 5 August 2016
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.
