Download - FESG - Technische Universität München

5.3 SPRACHDESIGN: ANYTHING TO XML (A2X) 147
Eine Sonderform einer Kante ist die Markierung eines Endzustands () für den Block, in dem diese Kante angewandt wird. Wird diese Kante genutzt,
so wird an den übergeordneten Block zurückübergeben, bzw. dort der Durchlauf
beendet.
Um eine erhöhte Flexibilität zu geben und damit auch Bedingungen aus den Bedingte Kantenübergänge
Kontextzusammenhängen zu ermöglichen, wurden für eine Kante auch Elemente
zur Aussagenlogik in der Art einer herkömmlichen IF-Anweisung integriert. Sie
bestehen in A2X aus den Teilen (logische Vergleich), (wird
ausgeführt, wenn der Vergleich wahr ist) und (wird ausgeführt, wenn der
Vergleich falsch ist). Diese Teile sind im Element vereinigt. Der IF- und
der optionale ELSE-Teil setzen sich wieder aus einer Kantenbeschreibung zusammen,
so wie sie vorweg beschrieben wurde. Besonderes Augenmerk sollte man
darauf werfen, dass sich die Verzweigung durch die Klammerung anhand der Auszeichnungen
als eindeutig erweist und somit das Problem des „Dangling Else“
nicht auftreten kann. Dabei handelt es sich bei herkömmlichen Sprachen um die
Problematik, dass ein optionaler ELSE-Zweig bei geschachtelten Konstruktionen
nicht mehr eindeutig zugeordnet werden kann 38 . Durch die in XML vorgeschriebenen
Endemarken in der Auszeichnung ist aber die Zuordnung eines folgenden
ELSE-Zweiges eindeutig zu einem vorausgehenden IF-Zweig gegeben.
Bei der Bedingung selbst wird eine Variable () oder eine Kon- Bedingungen in Form von Aussagenlogik
stante () in vergleichende Beziehung zu einer anderen Variable oder Konstante
gesetzt (atomare Formel der Aussagelogik). Die möglichen Vergleichsoperationen
sind in Tabelle 5.3 auf Seite 147 dargestellt. Es ist auch möglich, mehrere
Verknüpfungen von Bedingungen (Kompositionen mit oder
verknüpfen) in eine Art Klammerkonstrukt zu setzen () und so
geschachtelte Abfragen zu ermöglichen. Weiter kann eine Komposition auch negiert
werden. Aus der Verbindung all dieser Elemente wird die komplette Syntax
der Aussagenlogik erbracht, welche als induktiver Prozess aus atomaren Formeln
und darauf wirkenden Disjunktionen (), Konjunktionen () und Negationen
() entsteht 39 .
A2X-Vergleichsoperation Beschreibung
lt kleiner als („“, „greater than“)
!lt nicht kleiner als entspricht größer oder gleich („>=“)
!eq nicht gleich entspricht kleiner oder größer („!=“)
!gt nicht größer als entspricht kleiner oder gleich („