Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

INFORMATIK 2010. Service Science - Neue Perspektiven für die Informatik. Band 2 P-176, 705-710 (2010).

Gesellschaft für Informatik, Bonn

Copyright © Gesellschaft für Informatik, Bonn


Combination of fuzzy sets with the object constraint language (OCL)

Dagi Troegner


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.

Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-270-3

Last changed 04.10.2013 18:34:31