Geister D. Constraint Generierung für domänenspezifische Modellierungssprachen: Diss. … Dr. rer. nat. / Deutsches Zentrum für Luft- und Raumfahrt, Institut für Flugführung, Braunschweig. - Köln: DLR, Bibliotheks- und Informationswesen, 2012. - X, 251 S. - (Forschungsbericht; 2012-15). - Bibliogr.: S.239-348. - ISSN 1434-8454  Место хранения:   061 | Институт оптики атмосферы CO РАН | Томск | Библиотека

Оглавление / Contents

Tabellenverzeichnis ............................................ iv Abbildungsverzeichnis ........................................... v Kurzzusammenfassung ........................................... vii Abstract ....................................................... ix 1 Einleitung ................................................... 1 1.1 Motivation .............................................. 2 1.2 Konzept ................................................. 4 1.3 Aufbau .................................................. 7 2 Zielsetzung und Komponenten der Arbeit ...................... 10 2.1 Zielsetzung ............................................ 10 2.2 Komponenten und Gesamtsystem ........................... 15 3 Die Modellierungssprache AMAN-ML ............................ 19 3.1 Komponenten ............................................ 21 3.1.1 Airport Family .................................. 22 3.1.2 Runway Configuration ............................ 25 3.1.3 Assignment Strategy ............................. 29 3.1.4 Heuristic Procedure ............................. 36 3.1.5 Airspace Structure .............................. 38 3.2 Konzepttransformation .................................. 45 3.2.1 Transformation der DSL Konzepte ................. 46 3.2.2 Codegenerierung ................................. 54 3.3 Bedeutung von Erfahrungswissen ......................... 59 4 Constraint Generierung ...................................... 69 4.1 Natürliche Sprache ..................................... 70 4.1.1 Grammatik Speech2OCL ............................ 72 4.1.2 Integration von Vagheit......................... 104 4.1.3 Transformation in OCL .......................... 114 4.2 Object Constraint Language (OCL) ...................... 121 4.2.1 Grammatik OCL2CPP .............................. 123 4.2.2 Integration von Vagheit ........................ 134 4.2.3 Transformation in С++ .......................... 145 5 Constraint Reasoning ....................................... 155 5.1 Constraint System ..................................... 156 5.2 Model Verification .................................... 157 5.2.1 Problemstellung ................................ 159 5.2.2 Lösungsfindung ................................. 161 5.3 Model Completion ...................................... 171 5.3.1 Problemstellung ................................ 174 5.3.2 Fuzzy Constraint Satisfaction Problem (FCSP) ... 176 5.3.3 Lösungsfindung ................................. 180 6 Verifikation und Validierung ............................... 186 6.1 Modellierungssprache AMAN-ML .......................... 192 6.2 Constraint Generierung und Reasoning .................. 199 7 Zusammenfassung und Ausblick ............................... 204 7.1 Schlussfolgerungen und Ergebnisse ..................... 208 7.2 Ausblick .............................................. 209 A Abgeleitete Grammatik der englischen Sprache ............... 211 B Natürlichsprachige Formulierungen .......................... 213 C Abgeleitete Grammatik für die Generierung von Constraints ................................................ 215 D Grammatik für die Object Constraint Language ............... 218 E Definition eines Fuzzy-Modells in OCL ...................... 222 F Abbildung der Datentypen der OCL ........................... 224 G Abbildung von OCL-Operationen .............................. 225 H Definition eines Fuzzy-Modells in С++ ...................... 229 I Abbildung von OCL-Ausdrücken ............................... 232 Abkürzungsverzeichnis ......................................... 234 Symbolverzeichnis ............................................. 236 Literaturverzeichnis .......................................... 239 Lebenslauf .................................................... 249