Article: CDL: an extensible constraints framework for model-based development Journal: International Journal of Metadata, Semantics and Ontologies (IJMSO) 2014 Vol.9 No.3 pp.263 - 274 Abstract: The model-based paradigm has progressed from scientific research to industrial use. Great effort has gone into providing elaborate meta-models for different application domains, such as aviation or automotive. Instance models have to fulfil certain criteria originating from different areas, such as the development process or legal requirements, and more. These criteria are usually defined in the beginning of the development process, and often statically implemented in the tool editor. In the constraint definition framework and language (CDL) presented here, the Tool Smith can provide reusable constraints for a domain expert, who creates a custom constraints set in turn. The modeller uses these domain-specific custom constraints and applies them to the instance model he develops. Furthermore, in CDL, constraints can be augmented with actions supporting the modeller to repair defects on the model. The contribution of this work is an extensible constraint framework and language, supporting the model-based development process. A case study from the automotive domain is described, showing the feasibility of the approach. Inderscience Publishers - linking academia, business and industry through research

Title: CDL: an extensible constraints framework for model-based development

Authors: Christian Kreiner; Markus Krallinger

Addresses: Institute for Technical Informatics, Graz University of Technology, Inffeldgasse 16/1, 8010 Graz, Austria ' Institute for Technical Informatics, Graz University of Technology, Inffeldgasse 16/1, 8010 Graz, Austria

Abstract: The model-based paradigm has progressed from scientific research to industrial use. Great effort has gone into providing elaborate meta-models for different application domains, such as aviation or automotive. Instance models have to fulfil certain criteria originating from different areas, such as the development process or legal requirements, and more. These criteria are usually defined in the beginning of the development process, and often statically implemented in the tool editor. In the constraint definition framework and language (CDL) presented here, the Tool Smith can provide reusable constraints for a domain expert, who creates a custom constraints set in turn. The modeller uses these domain-specific custom constraints and applies them to the instance model he develops. Furthermore, in CDL, constraints can be augmented with actions supporting the modeller to repair defects on the model. The contribution of this work is an extensible constraint framework and language, supporting the model-based development process. A case study from the automotive domain is described, showing the feasibility of the approach.

Keywords: model-based development; OCL; object constraint language; EOL; Epsilon object language; Eclipse; consistency; extensible constraints framework; metadata; semantics; automobile industry; functional safety modelling; automotive safety; vehicle safety.

DOI: 10.1504/IJMSO.2014.063131

International Journal of Metadata, Semantics and Ontologies, 2014 Vol.9 No.3, pp.263 - 274

Received: 04 Apr 2013
Accepted: 03 Jan 2014
Published online: 03 Jul 2014 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article

Title: CDL: an extensible constraints framework for model-based development

Keep up-to-date