Kontrolliertes Englisch für Anforderungsspezifikationen

Weitere Magazine

Empfehlungen

Info

88 Kapitel 4 Kontrollierte natŸrliche Sprachen 87 Entweder wird das Nomen (process) oder das Verb (stop) durch die PrŠpositionalphrase modifiziert. CLARE bildet fŸr den Satz (66) zwei Paraphrasen und macht die Information fŸr den Autor in einer kontrollierten Sprache zugŠnglich, dem sogenannten LogicianÕs English [Macias & Pulman 95:315]: SŠtze in Listenform aufgefŸhrt werden, dann muss der Autor die SŠtze durch vorgegebene SchlŸsselwšrter (Konjunktionen) koordinieren. Die SchlŸsselwšrter sind Ÿber ein MenŸ verfŸgbar. Zum Beispiel wird das SchlŸsselwort AND THEN als sequentielle Konjunktion interpretiert, die die Reihenfolge der SŠtze in einer Liste determiniert (vgl. auch (64)). (67) There is some operator OP, some process PRO (such that there is a menu ME, and PRO is on ME), and a past event E, such that E is an event of OP stopping PRO. (68) There is some menu ME, some operator OP, some process PRO, and some past event E, such that E is an event of OP stopping PRO, and E is on ME. Pronomen und definite Nominalphrasen fŸhren oft zu Unsicherheiten bei der Referenzauflšsung. In CLARE wird dieses Problem dadurch gelšst, dass globale Namen im Deklarationsteil (63) der Spezifikation eingefŸhrt werden kšnnen. Der Autor definiert einen globalen Namen mit Hilfe des LET Statements und setzt den Namen mit einer Nominalphrase in Beziehung. Beim Schreiben des Spezifikationstextes (64) kšnnen die Namen anstelle der Nominalphrasen verwendet werden. Der Autor wŠhlt diejenige Paraphrase aus, die seiner intendierten Interpretation entspricht. Theoretisch ist es mšglich, SŠtze in voller natŸrlicher Sprache aus den logischen ReprŠsentationen zu generieren, da es sich bei CLARE um ein bidirektionales System handelt. Es gibt jedoch keine Garantie dafŸr, dass die Paraphrasen in voller natŸrlicher Sprache nicht wiederum mehrdeutige Strukturen einfŸhren. (63) LET V be the input valve. LET P be the pump attached to V. LET OP be the operator. 4.4.2 Schwachstellen von kontrollierten natŸrlichen Sprachen als Spezifikationssprachen (64) OP executes the starting procedure WHEN OP opens V AND THEN OP activates P. Die kontrollierte natŸrlich-sprachliche Schnittstelle zu CLARE/CLE bringt einige entscheidende Vorteile im Vergleich zu den subsprachlichen AnsŠtzen. Die Verwendung der menŸbasierten Metagrammatik mit den expliziten Satzschemata fŸhrt dazu, dass ¥ weniger strukturelle AmbiguitŠten und Unterspezifikationen entstehen, ¥ deutlich kŸrzere SŠtze gebildet werden, Obwohl diese Technik funktioniert, fŸhrt die Umsetzung zu einer nicht sehr natŸrlichen Darstellung. Die LET Statements gleichen Definitionen im Deklarationsteil einer prozeduralen Programmiersprache. Eine natŸrlichere Alternative fŸhrt die globalen Namen als Appositionen von nominalen AusdrŸcken ein. Die Namen kšnnen spŠter im Text (65) anstelle der Nominalphrasen gebraucht werden: ¥ die Anzahl der Satzzeichen minimiert wird. Ausserdem steht ein mŠchtiger Mechanismus zur VerfŸgung, der es erlaubt, gewisse Formen von anaphorischer Referenz durch eindeutige Rekurrenz von Namen aufzulšsen, die durch LET Statements oder Appositionen eingefŸhrt werden kšnnen. (65) An operator, OP, executes the starting procedure WHEN OP opens the input valve, V, AND THEN OP activates the pump, P. Trotzdem hat auch diese kontrollierte Schnittstelle zu CLARE/CLE einige Schwachstellen, die vor allem darauf zurŸckzufŸhren sind, dass die zugrundeliegende Sprache nicht auf eine konstruktive Art und Weise entworfen worden ist. Die Schnittstelle setzt auf einem Sprachprozessor auf, der fŸr die Analyse von voller natŸrlicher Sprache entwickelt worden ist. FŸr das Schreiben einfacher SŠtze und den Aufbau des zulŠssigen Vokabulars sind Ÿberhaupt keine EinschrŠnkungen getroffen worden. Streng Wir haben erwŠhnt, dass der Autor ambige SŠtze interaktiv disambiguieren muss. Wenn CLARE einen Satz verarbeitet, der zu mehr als einer logischen Analyse fŸhrt, dann wird fŸr jede Lesart des Satzes eine Paraphrase erzeugt. Der Satz (66) The operator has stopped the process on the menu. mit der PrŠpositionalphrase on the menu fŸhrt zu zwei mšglichen logischen Analysen.
Kontrollierte natŸrliche Sprachen 89 genommen bleibt das Konzept der kontrollierten natŸrlichen Sprache auf halbem Weg stecken. Offen bleiben eine Reihe von Fragen, die die linguistische AdŠquatheit des Ansatzes betreffen: ¥ Welche lexikalischen EinschrŠnkungen sind nštig? ¥ Welche phrasalen EinschrŠnkungen braucht es? ¥ Welche SatzbauplŠne fŸr einfache SŠtze sind festzulegen? ¥ Wie werden Modalverben interpretiert? ¥ Wie werden Ellipsen behandelt? ¥ Sind die Paraphrasen reversibel? Ausserdem stellen sich folgende Fragen, die die Entwicklung, Validierung und AusfŸhrung der Spezifikation betreffen: ¥ Wie baut der Anwendungsspezialist das fachspezifische Vokabular auf? ¥ Wie kann der Anwendungsspezialist die Spezifikation validieren? ¥ Ist die Spezifikation symbolisch ausfŸhrbar? Wir haben nun verschiedene AnsŠtze untersucht, wo Subsprachen und in einem Fall eine kontrollierte natŸrliche Sprache fŸr die Anforderungsspezifikation eingesetzt werden. Die aus diesen Untersuchungen gewonnenen Erkenntnisse und die dabei fixierten Schwachstellen bilden zusammen mit den bekannten kontrollierten natŸrlichen Sprachen aus der Industrie den Ausgangspunkt fŸr die Entwicklung einer eigenen universellen kontrollierten natŸrlichen Sprache fŸr die Spezifikation von fak- tischen Anforderungen.
Seite 1: Danksagung Kontrolliertes Englisch
Seite 4 und 5: Inhaltsverzeichnis iii 5.4.2.6 Frag
Seite 6 und 7: 4 Kapitel 1 Einleitung 3 1.4 Strukt
Seite 8 und 9: 8 Kapitel 2 Anforderungen und Spezi
Seite 10 und 11: 12 Kapitel 2 Anforderungen und Spez
Seite 26 und 27: Anforderungen und SpeziÞkationen 4
Seite 28 und 29: 48 Kapitel 3 InformalitŠt und Form
Seite 30 und 31: InformalitŠt und FormalitŠt im Ei
Seite 32 und 33: 56 Kapitel 4 Kontrollierte natŸrli
Seite 50 und 51: 92 Kapitel 5 Die Sprache Attempto C
Seite 52 und 53: 96 Kapitel 5 Die Sprache Attempto C
Seite 54 und 55: 100 Kapitel 5 Die Sprache Attempto
Seite 98 und 99:
188 Kapitel 5 Die Sprache Attempto
Seite 100 und 101:
Seite 102 und 103:
Seite 104 und 105:
Seite 106 und 107:
Seite 108 und 109:
208 Kapitel 6 Eine Evaluation von A
Seite 110 und 111:
Seite 112 und 113:
Seite 114 und 115:
Seite 116 und 117:
224 Kapitel 7 Arbeiten mit dem Atte
Seite 118 und 119:
228 Kapitel 7 Arbeiten mit dem Atte
Seite 120 und 121:
Arbeiten mit dem Attempto SpeziÞka
Seite 122 und 123:
236 Schlussfolgerungen und offene P
Seite 124 und 125:
240 Literaturverzeichnis Literaturv
Seite 126 und 127:
Seite 128 und 129:
Seite 130 und 131:
Seite 132 und 133:
256 Index Index 255 in Adjunkten 15
Seite 134:
Lebenslauf Ich bin am 28. Juli 1959
Alle anzeigen

Kontrolliertes Englisch für Anforderungsspezifikationen

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?