Abstract

Abstract: In domain-specific modeling languages a variety of constraints
originating from different resources have to be considered and integrated into a
verification process to ensure a model’s correctness. The basis of common model
checking methods are constraints derived from meta-model specifications. Besides
the meta-model, these constraints often derive from a domain’s knowledge. In
principle, the heuristic rules and data formulated by domain experts are not precise.
To cope with vagueness in the domain knowledge, the concept of fuzzy sets is
used. This work therefore describes an approach to integrate fuzzy sets and
constraints expressed in the Object Constraint Language (OCL) in a combined
constraint reasoning process. The approach is exemplified by introducing a
domain-specific modeling language (DSL) for the scope of arrival management.