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

https://hal.inria.fr/inria-00637099
Contributor : Mister Dart <>
Submitted on : Tuesday, October 23, 2012 - 6:33:19 AM
Last modification on : Thursday, February 21, 2019 - 10:52:49 AM
Long-term archiving on: : Saturday, December 17, 2016 - 3:31:14 AM

File

rusu-lucanu-2012-foveoos.pdf
Files produced by the author(s)

Identifiers

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. pp.214-231, ⟨10.1007/978-3-642-31762-0⟩. ⟨inria-00637099v2⟩

Share

Metrics

Record views

399

Files downloads

391