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

Vlad Rusu 1 Dorel Lucanu 2
1 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : We propose a formal approach for the definition of domain-specific modelling languages (DSMLs). The approach uses basic Model-Driven Engineering artifacts for defining 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. The mapping is implemented in the Rascal metaprogramming language. Since the resulting K definitions are executable, one obtains an execution engine for DSMLs and gains acces to K's formal analysis tools. We illustrate the approach on xSPEM, a language for describing the execution of tasks constrained by time, precedence, and resources.
Type de document :
Communication dans un congrès
Formal Verification of Object-Oriented Systems, Oct 2011, Torino, Italy. Springer Verlag, 7421, pp.214-231, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-31762-0〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00637099
Contributeur : Mister Dart <>
Soumis le : mardi 23 octobre 2012 - 06:33:19
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13
Document(s) archivé(s) le : samedi 17 décembre 2016 - 03:31:14

Fichier

rusu-lucanu-2012-foveoos.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Vlad Rusu, Dorel Lucanu. A K-Based Formal Framework for Domain-Specific Modelling Languages. Formal Verification of Object-Oriented Systems, Oct 2011, Torino, Italy. Springer Verlag, 7421, pp.214-231, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-31762-0〉. 〈inria-00637099v2〉

Partager

Métriques

Consultations de la notice

262

Téléchargements de fichiers

191