| Year | 2012 |
|---|---|
| Type | Conference |
| Status | Proceedings |
| Authors | Vlad Rusu, Dorel Lucanu |
Links
Abstract
We propose a formal approach for the de nition of domainspeci
c modelling languages (dsmls). The approach uses basic Model-
Driven Engineering artifacts for de ning a dsml's syntax (using metamodels)
and its operational semantics (using model transformations).We
give formal meanings to these artifacts by mapping them to the K semantic
framework. Since the K de nitions are executable, we get for free an
execution engine for DSML, which bridges the gap between DSML and
the target platform. We illustrate the approach on xspem, an executable
language for tasks constrained by time, precedences, and resources.
BibTeX
@Proceedings{RusuLFoVeOOS11,
author = {Vlad Rusu and Dorel Lucanu},
title = {A K-Based Formal Framework for
Domain-Specific Modelling Languages},
booktitle = {FoVeOOS},
year = {2011},
pages = {214-231},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7421},
year = {2012},
url_publisher = {http://link.springer.com/chapter/10.1007%2F978-3-642-31762-0_14},
note = {},
url = {http://foveoos2011.cost-ic0701.org/[FoVeOOS]}
}