Constraint Generierung für domänenspezifische Modellierungssprachen

Abstract

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.