A K-Based Formal Framework for Domain-Specific Modelling Languages - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2012

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

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.
Fichier principal
Vignette du fichier
rusu-lucanu-2012-foveoos.pdf (427.03 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

inria-00637099 , version 1 (30-10-2011)
inria-00637099 , version 2 (23-10-2012)

Identifiers

Cite

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⟩
240 View
265 Download

Altmetric

Share

More