On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M16Laemmel: Difference between revisions
From WG 2.11
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| Line 7: | Line 7: | ||
* et al. | * et al. | ||
Megamodels reside at different abstraction levels: | Megamodels may reside at different abstraction levels: | ||
* Scripting (in the scope of model repositories) | * Scripting (in the scope of model repositories) | ||
* Modeling (in the scope of linguistic architecture) | * Modeling (in the scope of linguistic architecture) | ||
| Line 13: | Line 13: | ||
* et al. | * et al. | ||
We | 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 or interest. The lower level is concerned with testing-related properties around individual artifacts. | ||
Revision as of 01:40, 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 may 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 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 or interest. The lower level is concerned with testing-related properties around individual artifacts.
