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)