下一个 向上的 以前的 目录
Nächste Seite: 离线/在线Ausführung 辅助设备: Erweiterungen von高尔夫 Vorherige Seite公司: Eine Transitionssemantik公司  Inhalt公司

外基因Ereignisse

外基因Ereignisse sind primitive Aktionen,die extern ausgelöst werden und模型制作人Welt verändern können的somit den Zustand der modelineten。Diese Aktionen sind公司也是nicht Teil des definierten程序\(\增量\)Mit Hilfe einer Liste先生(\(A\))der zugelassenen exogenen Aktionen kann das Prädikat公司\(外显子(a)\)定义人沃登。Damit kann das Auftreten eines Ereignisses建模师werdenals公司:

\开始{displaymath}\δ{Exo}:=(\pi a.Exo(a)?;a) ^{\star}。\结束{显示方式}

Das Programm verursacht die Ausführung keiner,einer order mehrer nichtdeterministicsch公司gewählter外显子Ereignisse。外显基因Ereignisse können nun mit Hilfe der eben在用户程序中的eingeführten Nebenäufiggeit\(\增量\)杜克

\开始{displaymath}\delta\vert\vert\delta_{Exo}\end{displaymath}

埃因贝佐格·沃登。




2001-01-04