Aktionen (ACTION)

  Aktionen werden vor allem durch eine Kombination von Vor-Bedingung und Nach-Bedingung und durch die auszuführende Aktion definiert. Kennzeichen dafür sind die terminalen Symbole PRE bzw. POST (s. Anhang ).

Eine Aktion wird ausgeführt, wenn die Vorbedingung zutrifft. Eine Aktion ohne Vorbedingung (diese ist nicht notwendig) wird ausgeführt, wenn die Nachbedingung nicht zutrifft. Siehe auch .