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 metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/inria-00527859
Contributor : Mister Dart <>
Submitted on : Wednesday, October 20, 2010 - 2:55:58 PM
Last modification on : Thursday, February 21, 2019 - 10:52:48 AM
Long-term archiving on : Friday, January 21, 2011 - 2:44:08 AM

File

paper-final-rusu.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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

Share

Metrics

Record views

365

Files downloads

476