| Year | 2011 |
|---|---|
| Type | Talk |
| Status | Published |
| Authors | Dorel Lucanu, Vlad Rusu |
Links
Abstract
- 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)
BibTeX
@Talk{kept2011,
author = {D. Lucanu and V. Rusu},
title = {K Semantics for Domain Specific Modelling
Languages},
year = {2011},
month = {07},
url = {http://www.cs.ubbcluj.ro/kept2011/[KEPT 2011]}
}