elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Contact | Deutsch
Fontsize: [-] Text [+]

Combination of fuzzy sets with the Object Constraint Language (OCL)

Troegner, Dagi (2010) Combination of fuzzy sets with the Object Constraint Language (OCL). Informatik 2010 Service Science - Neue Perspektiven für die Informatik, 27.09.-02.10.2010, Leipzig, Deutschland.

Full text not available from this repository.

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.

Document Type:Conference or Workshop Item (Speech)
Title:Combination of fuzzy sets with the Object Constraint Language (OCL)
Authors:
AuthorsInstitution or Email of Authors
Troegner, DagiDagi.Troegner@dlr.de
Date:September 2010
Page Range:pp. 1-6
Keywords:fuzzy sets; Objekt Constraints Language; OCL
Event Title:Informatik 2010 Service Science - Neue Perspektiven für die Informatik
Event Location:Leipzig, Deutschland
Event Type:Conference
Event Dates:27.09.-02.10.2010
Organizer:Gesellschaft für Informatik e.V. (GI), Bonn
HGF - Research field:Aeronautics, Space and Transport (old)
HGF - Program:Aeronautics
HGF - Program Themes:L SF - Safe and Efficient Air Traffic Guidance (old)
DLR - Research area:Aeronautics
DLR - Program:L SF - Safe and Efficient Air Traffic Guidance
DLR - Research theme (Project):L - Effiziente Flugführung und Flugbetrieb (old)
Location: Braunschweig
Institutes and Institutions:Institute of Flight Control > Controller Assistance
Deposited By: Kerstin Diederich
Deposited On:08 Oct 2010 16:22
Last Modified:08 Oct 2010 16:22

Repository Staff Only: item control page

Browse
Search
Help & Contact
Informationen
electronic library is running on EPrints 3.3.12
Copyright © 2008-2012 German Aerospace Center (DLR). All rights reserved.