Nächste Seite: Offline / Online Ausführung
Aufwärts: Erweiterungen von GOLOG
Vorherige Seite: Eine Transitionssemantik
  Inhalt
Exogene Ereignisse sind primitive Aktionen, die extern ausgelöst werden und
somit den Zustand der modellierten Welt verändern können. Diese Aktionen sind
also nicht Teil des definierten Programms . Mit Hilfe einer Liste
() der zugelassenen exogenen Aktionen kann das Prädikat
definiert werden. Damit kann das Auftreten eines Ereignisses modelliert werden
als:
Das Programm verursacht die Ausführung keiner, einer oder mehrerer nichtdeterministisch
gewählter exogener Ereignisse. Exogene Ereignisse können nun mit Hilfe der eben
eingeführten Nebenläufigkeit in die aktuelle Ausführung des User-Programms
durch
einbezogen werden.
2001-01-04