Skip to Main content Skip to Navigation
New interface
Journal articles

Embedding Domain-Specific Modelling Languages in Maude Specifications

Vlad Rusu 1 
1 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : 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-semantics-preserving) 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
Document type :
Journal articles
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Mister Dart Connect in order to contact the contributor
Submitted on : Wednesday, October 20, 2010 - 2:55:58 PM
Last modification on : Friday, February 4, 2022 - 3:15:44 AM
Long-term archiving on: : Friday, January 21, 2011 - 2:44:08 AM


Files produced by the author(s)




Vlad Rusu. Embedding Domain-Specific Modelling Languages in Maude Specifications. Software Engineering Notes, 2011, 36 (1), ⟨10.1145/1921532.1921557⟩. ⟨inria-00527859⟩



Record views


Files downloads