Textdokument
Constraint Generierung für domänenspezifische Modellierungssprachen
Lade...
Volltext URI
Dokumententyp
Dateien
Zusatzinformation
Datum
2013
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Gesellschaft für Informatik
Zusammenfassung
Anflugplanungssysteme dienen der Unterstützung von Fluglotsen bei der Planung und Koordinierung des anfliegenden Luftverkehrs innerhalb eines Flughafennahbereichs. In dieser Arbeit wurde die domänenspezifische Modellierungssprache AMAN-ML (Arrival Management Modeling Language) entwickelt, mit der ein Anflugplanungssystem mit geringem Aufwand an veränderte Anforderungen angepasst werden kann. Auf der Grundlage von AMAN-ML wurde ein Ansatz verfasst, um das erfahrungsbasierte Wissen von Fluglotsen in den Modellierungsprozess einer Software zu integrieren. Eine im Rahmen dieser Arbeit formulierte Grammatik für natürliche Sprache dient als Basis für eine Transformation in die Constraint-Beschreibungssprache OCL (Object Constraint Language). Aspekte der Vagheit und Unbestimmtheit der natürlichen Sprache werden bei der Transformation erkannt und entsprechend bei der Generierung von Constraints an die Modellierungssprache berücksichtigt. Zur Abbildung von linguistischen Variablen und unscharfen Ausdrücken wurde das Konzept der Fuzzy Mengen herangezogen und in die Syntax der OCL integriert. Das Constraint System von AMAN-ML wird für die Verifikation (Model Verification) und die Vervollständigung (Model Completion) von Modellen eingesetzt.