Kontrolliertes Englisch für Anforderungsspezifikationen

ii Inhaltsverzeichnis
Inhaltsverzeichnis i
4.2.2 AECMA Simplified English . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.2.3 Perkins Approved Clear English (PACE) . . . . . . . . . . . . . . . . . . . . . . . 69
Inhaltsverzeichnis
4.3 Subsprachen als Spezifikationssprachen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
4.3.1 SAFE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1. Einleitung
4.3.2 TELL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
4.3.3 Ishihara . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
1.1 Problembeschreibung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Aufgabenstellung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
4.3.4 Kitss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
4.3.5 GATOR . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
1.3 Resultate . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.4 Struktur der Arbeit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
4.3.6 SAREL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
4.3.7 SpecTran . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
2. Anforderungen und Spezifikationen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
4.3.8 Schwachstellen von Subsprachen als Spezifikationssprachen . . . . . . 82
2.1 Anforderungen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2 Spezifikationen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
4.4 Kontrollierte natŸrliche Sprachen als Spezifikationssprachen . . . . . . . . . . . 84
4.4.1 CLARE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
2.3 Eigenschaften von natŸrlichen Sprachen als Spezifikationssprachen . . . . . 15
2.3.1 †bersicht . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
4.4.2 Schwachstellen von kontrollierten natŸrlichen Sprachen Spezifikationssprachen
als
88
2.3.2 Vorteile von natŸrlichen Sprachen als Spezifikationssprachen . . . . . 21
2.3.3 Nachteile von natŸrlichen Sprachen als Spezifikationssprachen . . . . 22
. . . . . . . . . . . . . . . . . . . . . . . . . 91
5. Die Sprache Attempto Controlled English (ACE)
5.1 Die Philosophie von ACE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
5.2 Linguistische Grundlagen fŸr ACE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
2.4 Eigenschaften von formalen Sprachen als Spezifikationssprachen . . . . . . . 24
2.4.1 †bersicht . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
5.2.1 Terminologische Vorbemerkungen . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
5.2.2 DiskursreprŠsentationstheorie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
2.4.2 Vorteile von formalen Sprachen als Spezifikationssprachen . . . . . . . 28
2.4.3 Nachteile von formalen Sprachen als Spezifikationssprachen . . . . . . 28
5.3 Die Sprache ACE im †berblick . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
5.4 Das Vokabular von ACE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
2.5 Ein Spezifikationsbeispiel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.5.1 Das Bibliotheksproblem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
5.4.1 Inhaltswšrter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
5.4.1.1 Nomen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
2.5.2 LšsungsvorschlŠge . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.5.3 NachprŸfung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.5.4 Anforderungen an eine Spezifikationssprache . . . . . . . . . . . . . . . . . . . 43
5.4.1.2 Verb . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
5.4.1.3 Adjektiv . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3. InformalitŠt und FormalitŠt im Einklang
5.4.1.4 Adverb . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146
3.1 Textuelle Sichten auf formale Spezifikationen . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.2 Skizze einer eingeschrŠnkten natŸrlichen Sprache . . . . . . . . . . . . . . . . . . . . . 48
5.4.2 Funktionswšrter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
5.4.2.1 PrŠposition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150
5.4.2.2 Spezifikator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
5.4.2.3 Pronomen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 168
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4. Kontrollierte natŸrliche Sprachen
5.4.2.4 Koordinator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 170
5.4.2.5 Subordinator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 174
4.1 Subsprachen und kontrollierte natŸrliche Sprachen . . . . . . . . . . . . . . . . . . . . 53
4.2 Kontrollierte natŸrliche Sprachen fŸr die Dokumentation und
fŸr die †bersetzung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
4.2.1 KANT Controlled English (KCE) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61