K Semantics for Domain Specific Modelling Languages
- design a K conguration for models
- give K semantics of OCL over these congurations
- abstract the metamodel as a data structure
- use K rules to dene operational semantics in order to ease the use of the framework
- define DSLs for metamodels (e.g., KM3), models, and operational semantics (combining ATL and K)
Project(s): K
Grant(s): DAK