Kontrolliertes Englisch für Anforderungsspezifikationen

34 Kapitel 2
Anforderungen und SpeziÞkationen 33
beiden SchlŸsselwšrter System und Synonym an. Das erste SchlŸsselwort gibt den
Typ des Wortes an und das zweite SchlŸsselwort zeigt an, dass es sich bei Uldb, um
ein Synonym handelt. €hnlich wird das Wort University-Library definiert:
3: (Define University-Library : Environment : Library : Synonym Ul)
Ul Is-An-Instance-Of "Library"
WŠhrend des Spezifikationsprozesses werden die Anforderungen laufend verfeinert.
Das Endprodukt ist eine maschinell weiterverarbeitbare ReprŠsentation der Anforderungen.
Aus dieser formalen ReprŠsentation kann entweder eine natŸrlich-sprachliche
SAS fŸr Validierungszwecke generiert oder eine formale Spezifikation abgeleitet werden,
die dem Systementwickler als Ausgangspunkt fŸr den Systementwurf dient. Zwischen
dem Analytiker und dem RA besteht eine strikte Arbeitsteilung: Der Analytiker
leitet den Spezifikationsprozess, und der RA ŸberprŸft die Anforderungen fortlaufend.
Da der RA noch keine Information darŸber verfŸgt, was eine Bibliothek ist, erscheint
das Wort "Library" fŸr den Analytiker in der Ausgabe in AnfŸhrungszeichen.
Daraufhin definiert er dieses Wort genauer:
Arbeitsteilung
6: (Define Library : Ako Repository : Defaults (: Collection-Type Book))
Endbenutzer Analytiker RA Systementwickler
Ul.Collection-Type Has-Value "Book"
Library ist eine Art von Repository (Ako Repository), welches eine Sammlung von
BŸchern (Collection-Type Book) enthŠlt. Der RA kennt das Konzept Repository
aufgrund eines abstrakten Repository ClichŽs. Offen bleibt die Definition fŸr das Wort
"Book". Der Analytiker definiert Book als eine Art von physikalischem Objekt (Ako
Physical-Object), dem die drei Rollen Title, Author und Isbn zukommen:
Die entstehende ReprŠsentation wird einerseits auf Konsistenz geprŸft, indem der RA
nach WidersprŸchen sucht, und andererseits auf VollstŠndigkeit hinsichtlich der vorliegenden
Wissensbasis. Der RA disambiguiert und verfeinert die Anforderungen
durch konservative und heuristische Klassifikation [Reubenstein & Waters 91:234].
7: (Define Book : Ako Physical-Object : Member-Roles (Title Author Isbn))
Nachdem der Analytiker die grundlegenden Objekte definiert hat, beginnt er die funktionalen
Anforderungen zu spezifizieren. Zum Beispiel definiert er die untenstehende
Transaktion Check-Out aufgrund der abstrakten Rolle Remove, die eine Standardoperation
darstellt. Da Uldb im Verlauf des Spezifikationsprozesses als ein spezieller
Typ von Informationssystem (Tracking-Information-System) definiert wurde,
fŸr das ein eigenes ClichŽ (Action-Tracking-Operation ClichŽ) zur VerfŸgung
steht, kann die Transaktion Check-Out spezialisiert werden. Zusammen mit der
aktuellen Wissensbasis des RA wird es mšglich, neue Information abzuleiten:
Der Analytiker gibt seine Anforderungen dem RA in Form von Lisp AusdrŸcken ein.
FŸr das Bibliotheksbeispiel untersucht der Analytiker mit dem Ausdruck Find-Requirement
in einem ersten Schritt, ob der RA bereits eine Anforderung Library-
System kennt.
1: (Find-Requirement Library-System)
Beginning-A-New-Requirement-Called-The Library-System.
Library-System Is-An-Instance-Of Requirement.
Da das nicht der Fall ist, wird eine neue Wissensbasis mit dem Namen Library-
System bereitgestellt, in der alle entstehenden Informationen abgespeichert werden
[vgl. Reubenstein & Waters 91:231 ff.]. Anschliessend definiert der Analytiker den
Namen des Systems, das spezifiziert wird:
9: (Define Check-Out : Roles (: Records Remove))
Uldb Is-An-Instance-Of Tracking-Information-System.
Uldb.Manner-Of-Observation Is-An-Instance-Of Indirect-Observation.
Check-Out Is-An-Instance-Of Action-Tracking-Operation.
Check-Out.Object-Type Has-Value Book.
Check-Out.Objects Has-Value (!The (?0) Such-That (= (Isbn ?0) $Input)).
2: (Define University-Library-Database : System : Synonym Uldb)
Check-Out.Records Has-Value Remove-Repository. ...
Der zu definierende Systemname University-Library-Database folgt dem Define
Befehl als erstes Argument. Abgetrennt durch Doppelpunkte schliessen sich die