elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Kontakt | English
Schriftgröße: [-] 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.

Dieses Archiv kann nicht den gesamten Text zur Verfügung stellen.

Kurzfassung

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.

Dokumentart:Konferenzbeitrag (Vortrag)
Titel:Combination of fuzzy sets with the Object Constraint Language (OCL)
Autoren:
AutorenInstitution oder E-Mail-Adresse der Autoren
Troegner, DagiDagi.Troegner@dlr.de
Datum:September 2010
Seitenbereich:Seiten 1-6
Stichwörter:fuzzy sets; Objekt Constraints Language; OCL
Veranstaltungstitel:Informatik 2010 Service Science - Neue Perspektiven für die Informatik
Veranstaltungsort:Leipzig, Deutschland
Veranstaltungsart:Konferenz
Veranstaltungsdatum:27.09.-02.10.2010
Veranstalter :Gesellschaft für Informatik e.V. (GI), Bonn
HGF - Forschungsbereich:Verkehr und Weltraum (alt)
HGF - Programm:Luftfahrt
HGF - Programmthema:L SF - Sichere und effiziente Luftverkehrsführung (alt)
DLR - Schwerpunkt:Luftfahrt
DLR - Forschungsgebiet:L SF - Sichere und effiziente Luftverkehrsführung
DLR - Teilgebiet (Projekt, Vorhaben):L - Effiziente Flugführung und Flugbetrieb (alt)
Standort: Braunschweig
Institute & Einrichtungen:Institut für Flugführung > Lotsenassistenz
Hinterlegt von: Kerstin Diederich
Hinterlegt am:08 Okt 2010 16:22
Letzte Änderung:08 Okt 2010 16:22

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Copyright © 2008-2013 Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.