Sciweavers

MODELS
2015
Springer

Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs

8 years 7 months ago
Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs
Domain Specific Modeling Languages (dsmls) plays a key role in the development of Safety Critical Systems to model system requirements and implementation. They often need to integrate property and query sub-languages. As a standardized modeling language, ocl can play a key role in their definition as they can rely both on its concepts and textual syntax which are well known in the Model Driven Engineering community. For example, most dsmls are defined using mof for their abstract syntax and ocl for their static semantics as a metamodeling dsml. OCLinEcore in the Eclipse platform is an example of such a metamodeling dsml integrating ocl as a language component in order to benefit from its property and query facilities. dsmls for Safety Critical Systems usually provide formal model verification activities for checking models completeness or consistency, and implementation correctness with respect to requirements. This contribution describes a framework to ease the definition of suc...
Arnaud Dieumegard, Marc Pantel, Guillaume Babin, M
Added 15 Apr 2016
Updated 15 Apr 2016
Type Journal
Year 2015
Where MODELS
Authors Arnaud Dieumegard, Marc Pantel, Guillaume Babin, Martin Carton
Comments (0)