Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download
Contributor : Mister Dart Connect in order to contact the contributor
Submitted on : Tuesday, October 23, 2012 - 6:33:19 AM
Last modification on : Friday, February 4, 2022 - 3:16:32 AM
Long-term archiving on: : Saturday, December 17, 2016 - 3:31:14 AM


Files produced by the author(s)




Vlad Rusu, Dorel Lucanu. A K-Based Formal Framework for Domain-Specific Modelling Languages. Formal Verification of Object-Oriented Systems, Oct 2011, Torino, Italy. pp.214-231, ⟨10.1007/978-3-642-31762-0⟩. ⟨inria-00637099v2⟩



Record views


Files downloads