Vlad Rusu. Embedding domain-specific modelling languages in maude specifications. ACM SIGSOFT Software Engineering Notes, 36(1):1-8, January 2011. [doi]
We propose an approach for embedding Domain-Specific Modelling Languages (DSML) into Maude, based on representing models and metamodels as Maude specifications, and on representing operational semantics and model transformations as computable functions/relations between such specifications. This provides us, on the one hand, with abstract definitions of essential concepts of domain-specific modelling languages: model-to-metamodel conformance, operational semantics, and (operational-semanticspreserving) model transformations; and, on the other hand, with equivalent executable definitions for those concepts, which can be directly used in Maude for formal verification purposes.
PDF of extended version (accepted with minor changes in the Software and Systems modelling journal): http://chercheurs.lille.inria.fr/~rusu/SoSym/paper.pdf