Für die Behandlung von Laufzeitzuständen stehen Eigenschaften und Methoden aus den Klassen ModlEnv, taaEnv und TAACondition zur Verfügung.
Eigenschaften und Methoden, die die die Liste der aufgetretenen Laufzeitzustände (Condition Set) verändern oder referenzieren, sind den Klasse ModlEnv bzw. taaEnv zugeordnet.
Eigenschaften und Methoden, die sich auf die Condition Handler (Routinen zur Behandlung der Laufzeitzustände) beziehen, sind ebenfalls der Klasse ModlEnv zugeordnet.
Eigenschaften und Methoden, die sich auf einen einzelnen Eintrag in der Liste der aufgetretenen Laufzeitzustände beziehen (Condition), sind der Klasse TAACondition zugeordnet.