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
Type de document :
Article dans une revue
ACM SIGSOFT Software Engineering Notes, ACM, 2011, 36 (1), 〈10.1145/1921532.1921557〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00527859
Contributeur : Mister Dart <>
Soumis le : mercredi 20 octobre 2010 - 14:55:58
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13
Document(s) archivé(s) le : vendredi 21 janvier 2011 - 02:44:08

Fichier

paper-final-rusu.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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〉

Partager

Métriques

Consultations de la notice

273

Téléchargements de fichiers

302