CDL: an extensible constraints framework for model–based development. (7th July 2014)

• Record Type: Journal Article
• Authors: Kreiner, Christian; Krallinger, Markus
• Is Part Of: International journal of metadata, semantics and ontologies. Volume 9:Number 3(2014)
• Page Start: 263
• Page End: 274
• Publication Date: 2014-07-07
• Subjects: 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; Metadata -- Periodicals; Semantic Web -- Periodicals; Ontologies (Information retrieval) -- Periodicals; Data structures (Computer science) -- Periodicals; Information theory -- Periodicals; 005.74
• Languages: English
• ISSNs: 1744-2621

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.