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
← Older edit
VisualWikitext
Ralf (talk | contribs)
59 edits
No edit summary
Ralf (talk | contribs)
59 edits
No edit summary
 
(3 intermediate revisions by the same user not shown)
Line 1: Line 1:
Ralf Lämmel: Compilation of megamodels
Ralf Lämmel: Compilation of megamodels


Megamodels have been used in diverse contexts:
Megamodels can be used in diverse contexts:
- model management
* model management
- software architecture
* software architecture
- technology documentation
* technology documentation
- 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 software repositories)
- Modeling (in the scope of linguistic architecture)
* Modeling (in the scope of software architecture)
- Verification (in the scope of testing)
* Verification (in the scope of formal specification)
- et al.
* 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 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

Latest revision as of 21:00, 24 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.

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

Retrieved from "http://mw.hh.se/wg211/index.php?title=WG211/M16Laemmel&oldid=1543"