Kontrolliertes Englisch für Anforderungsspezifikationen

94 Kapitel 5
Die Sprache Attempto Controlled English (ACE) 93
fŸr ACE ist es mšglich, einige dieser textuellen BezŸge systematisch zu behandeln. Es
wird eine Erweiterung der klassischen DRT vorgestellt, bei der Ereignisse und ZustŠnde
- sogenannte EventualitŠten (E) - reifiziert werden. Verben kšnnen Ereignisse
oder ZustŠnde im Anwendungsbereich denotieren und werden aufgrund dieser Eigenschaften
klassifiziert. Diese erweiterte Theorie heisst DRT-E und ist speziell auf die
adŠquate Verarbeitung von ACE Spezifikationen abgestimmt. Die DRT-E ermšglicht
eine systematische †bersetzung von untereinander verbundenen ACE SŠtzen in eine
strukturierte Form der PrŠdikatenlogik erster Stufe, wobei speziell berŸcksichtigt
wird, wie die Anwendungsspezialisten das inhaltsbezogene Vokabular klassifizieren.
5.2.1 Terminologische Vorbemerkungen
Dieses Kapitel richtet sich an Anwendungsspezialisten, die keine linguistischen Vorkenntnisse
haben, und fŸhrt in die Terminologie ein, die fŸr das VerstŠndnis der
sprachtheoretischen Grundlagen von ACE Voraussetzung sind. Linguisten kšnnen
Resultat der Analyse dem Anwendungsspezialisten zugŠnglich zu machen, erzeugt
der Chart-Parser wŠhrend der Verarbeitung der Spezifikation eine Paraphrase in ACE,
die alle Substitutionen und Interpretationen verdeutlicht. Wenn der Anwendungsspezialist
mit der vorgeschlagenen Interpretation nicht einverstanden ist, dann muss er
den Satz gemŠss den Schreibprinzipien von ACE neu formulieren. FŸr Validierungszwecke
kann der Anwendungsspezialist die Spezifikation in ACE befragen oder
symbolisch ausfŸhren. Fragen werden in sogenannte Frage-DiskursreprŠsentationsstrukturen
Ÿbersetzt, fŸr die anschliessend Lšsungen durch Inferenz in der vorliegenden
Wissensbasis gesucht werden. Aufgrund der berechneten Lšsungen werden
Antworten in der Sprache ACE erzeugt. Die symbolische AusfŸhrung der Spezifikation
erlaubt es dem Anwendungsspezialisten, das Verhalten der Spezifikation in
ACE zu beobachten und zu ŸberprŸfen. Die AusfŸhrbarkeit der Spezifikation verlangt
zusŠtzliche situationsspezifische Information, die der Anwendungsspezialist - oder
allenfalls der Softwareentwickler - mit Hilfe der Sprache ACE zur VerfŸgung stellen
dieses Kapitel Ÿberspringen.
kann.
Satzarten
ALLGEMEIN. Als Satzarten werden feste wiederkehrende sprachliche Muster bezeichnet,
die sich sich mit Hilfe von formalen Kriterien (z.B. Verbmodus, Verbstellung, Einleitewšrter,
Satzschlusszeichen) bestimmen lassen. FŸr Anforderungsspezifikationen macht
es Sinn, formal drei Satzarten zu unterscheiden: AussagesŠtze, konditionale SŠtze und
FragesŠtze. Aufgrund von formalen und inhaltlichen Kriterien lassen sich dann ZusammenhŠnge
zwischen Satzarten und Diskursfunktionen herstellen. So kšnnen den drei
Satzarten die Diskursfunktionen faktische Aussagen machen, bedingte Aussagen machen
und Fragen stellen zugeordnet werden.
FŸr die Bestimmung der Satzarten spielen die Verben bzw. die Verbformen eine
wichtige Rolle. An den Verbformen sind unterschiedliche Merkmale (Person, Numerus,
Tempus, Modus und Genus Verbi (= Aktiv/Passiv)) ablesbar. Als finite Verbformen
bezeichnet man Verbformen, die nach Person und Numerus bestimmt sind. Mit
dem Indikativ als Verbmodus zeigt man eine bestimmte Aussageweise an. Der Indikativ
wird als Normalmodus aufgefasst, da er einen Sachverhalt als real (oder allenfalls
als real mšglich) hinstellt. Die finiten Verbformen sind in der englischen Sprache an
bestimmte Positionen gebunden. Von der Normalstellung wird gesprochen, wenn die
5.2 Linguistische Grundlagen fŸr ACE
ACE ist eine Spezifikationssprache, die sich an Anwendungsspezialisten ohne linguistische
Spezialausbildung richtet. Allein die linguistischen Schreibprinzipien, auf
denen ACE aufbaut, bilden das RŸstzeug fŸr den korrekten Sprachgebrauch. Diese
Prinzipien sind normativ-prŠskriptiver Art und mŸssen fŸr den Anwendungsspezialisten
leicht erlernbar und erinnerbar sein. Nun ist es aber so, dass die BegrŸndung
dieser linguistischen Prinzipien und die Entwicklung der Sprache ACE eine theoretische
AbstŸtzung erfordern, die besser durch eine deskriptive Grammatik geleistet
werden kann. Da der interessierte Anwendungsspezialist vielleicht mehr Ÿber die linguistischen
Grundlagen der von ihm verwendeten Sprache erfahren mšchte, werden
zuerst einige Grundbegriffe erklŠrt, die bei der Entwicklung von ACE eine Rolle spielen.
Es wird gezeigt, welche verschiedenen Satzarten und Satzformen in ACE zu berŸcksichtigen
sind und nach welchen Kriterien sie klassifiziert werden. FŸr die Beschreibung
des Satzbaus wird eine Konstituentenanalyse vorgeschlagen, die die versteckte
hierarchische Struktur von SŠtzen klar macht. Anforderungsspezifikationen
bestehen nicht aus einzelnen SŠtzen, sondern aus einer Summe von SŠtzen, die sich zu
Paragraphen und schliesslich zu einem ganzen Text verbinden. Die Beziehung zwischen
den einzelnen SŠtzen lŠsst sich oft an sprachlichen KohŠsionsmitteln (z.B. Rekurrenz
von Elementen, Substitution von Elementen und VerknŸpfung von Elementen)
ablesen. Mit Hilfe der DiskursreprŠsentationstheorie (DRT) als logischer Zielsprache
finite Verbform dem Subjekt folgt.
AussagesŠtze wie (69) sind die formal am wenigsten markierte Satzart. Die finite Verb-