Designing and Managing Behavior Models - Debugging a Behavior Model - Matching Triggers and Alarm Transitions - Rules for Matching -
Previous: Matching Triggers and Alarm Transitions     Next: Examples of Matching Triggers and Transitions

Rules for Matching

A trigger causes an alarm transition if the identities of the trigger and the transition match -- that is, if their names, subobjects, nodes, and properties all pass comparison tests. The four comparison tests corresponding to the four parts of a trigger's identity are discussed in the upcoming subsections. The trigger must pass all four tests before it can prompt a transition.

Name Rule

A trigger's name must match the transition's name exactly.

Subobject Rule

A trigger's subobject matches a transition's subobject when any of the following statements is true:

If the transition's origin state is Ground -- that is, a new alarm instance is being created -- the following statement must also be true:

Node Rule

A trigger's node matches a transition's node when any of the following statements is true:

If the transition would create a new alarm instance and therefore has no associated node, the follow statement must also be true:

Property Rule

A trigger and transition pass the property test when all of the following conditions are met:


Previous: Matching Triggers and Alarm Transitions Next: Examples of Matching Triggers and Transitions
Please send comments or corrections to Information Development
This file was last updated on 10 October © 2002