Kontrolliertes Englisch für Anforderungsspezifikationen

74 Kapitel 4
Kontrollierte natŸrliche Sprachen 73
(54) FOR (EACH RATS ENTRY)
(PERFORM)
(: ((THE RATS«S (RELATIVE TRANSMISSION TIME))
(IS COMPUTED) ACCORDING-TO ("FORMULA-1"))
((THE RATS«S (CLOCK TRANSMISSION TIME))
(IS COMPUTED) ACCORDING-TO ("FORMULA-2"))))
(55) ((THE RATS (TRANSMISSION TIMES))
(ARE ENTERED)
INTO (THE SCHEDULE))
Es fŠllt sofort auf, dass der Text bereits vor der maschinellen Verarbeitung syntaktisch
normalisiert worden ist. Um syntaktische Mehrdeutigkeiten bei der Analyse zu vermeiden,
sind die Konstituenten in den SŠtzen von Hand geklammert worden. Andere
linguistische Probleme (z.B. fehlende Operatoren, unterspezifizierte Referenz, implizite
Information infolge von Passivkonstruktionen) werden erst bei der Verarbeitung
mit Hilfe der anwendungsspezifischen Wissensbasis oder durch Benutzerinteraktion
Der zu untersuchende Spezifikationstext beschreibt eine Multiplexerkomponente in
einem Kommunikationssystem fŸr Satelliten. Die Komponente hat die folgenden Aufgaben:
Sie empfŠngt vom Kontroller des Satellitenkanals eine Tabelle (SOL). Die Tabelle
besteht aus einem Eintrag fŸr einen Abonnenten (SUBSCRIBER) und EintrŠgen fŸr
sonstige Benutzer (RATS). Ein Abonnenteneintrag setzt sich aus der Benutzeridentifikation
und der †bertragungslŠnge zusammen. FŸr die Ÿbrigen Benutzer sind bloss
die †bertragungslŠngen in der Tabelle vermerkt. Aufgrund der Tabelle berechnet die
Komponente die †bertragungsdauer (RELATIVE TRANSMISSION TIME) und den
†bertragungszeitpunkt (CLOCK TRANSMISSION TIME). Das Ergebnis der Berechnung
wird - falls es sich um einen Abonnenten handelt - in einen (neuen) †bertragungszeitplan
(TRANSMISSION SCHEDULE) eingetragen. Die Ergebnisse fŸr die
Ÿbrigen Benutzer werden der Reihe nach dem Abonnenteneintrag nachfolgend in den
†bertragungszeitplan eingefŸgt. Der †bertragungszeitplan wird anschliessend von
einer weiteren - hier nicht spezifizierten - Komponente gelesen, die den Satellitenkanal
zu den entsprechenden Zeitpunkten schaltet. Soweit zu den Sachverhalten, die den
Ausgangspunkt fŸr den folgenden Spezifikationstext bilden:
aufgelšst.
Klammern kennzeichnen zusammengehšrende Konstituenten. Zum Beispiel ist die
Nominalphrase (THE SUBSCRIBER«S (RELATIVE TRANSMISSION TIME)) in (51) als
Struktur bestimmt worden, die aus einem inneren nominalen Teil (RELATIVE TRANS-
MISSION TIME) und einem Šusseren attributiven Teil (THE SUBSCRIBER«S) besteht.
Neben der syntaktischen Strukturierung Ÿbernehmen die Klammern auch die Rolle
von Satzzeichen. Ausser dem Doppelpunkt in (54) finden wir keine expliziten Satz-
(50) ((THE SOL)
(IS SEARCHED)
FOR
(AN ENTRY FOR (THE SUBSCRIBER)))
zeichen im Text.
(51) (IF ((ONE)
(IS FOUND))
((THE SUBSCRIBER«S (RELATIVE TRANSMISSION TIME))
(IS COMPUTED) ACCORDING-TO ("FORMULA-1")))
Bindestriche fassen einzelne Wšrter zu Einheiten zusammen. Beispielsweise kennzeichnet
ein Bindestrich, dass es sich bei der zusammengesetzten PrŠposition AC-
CORDING-TO in (51) um eine Einheit handelt. Ebenso fasst ein Bindestrich in (51) die
Bestandteile des Ausdrucks "FORMULA-1" zusammen. Ausserdem zeigen die AnfŸh-
(52) ((THE SUBSCRIBER«S (CLOCK TRANSMISSION TIME))
(IS COMPUTED) ACCORDING-TO ("FORMULA-2")))
rungszeichen an, dass es sich hier um einen Eigennamen handelt.
(53) WHEN ((THE (TRANSMISSION TIME))
(HAS BEEN COMPUTED))
((IT)
(IS INSERTED)
AS (THE (PRIMARY ENTRY))
IN (A (TRANSMISSION SCHEDULE))))
Mit Ausnahme der imperativen Verbform PERFORM in (54) stehen alle Verben im
Indikativ. Sie werden in der passiven Form gebraucht und ihre Zeitformen sind entweder
PrŠsens (simple present) oder Perfekt (simple present perfect). Die passiven
Verbformen beschreiben Ereignisse, ohne explizit zu machen, wer oder was diese
Ereignisse verursacht. Beispielsweise wird in (51) vorausgesetzt, dass es einen Agen-