A K-Based Formal Framework for Domain-Specific Modelling Languages

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.