Designing and Managing Behavior Models - Debugging a Behavior Model - Matching Triggers and Alarm Transitions - Rules for Matching -
Matching Triggers and Alarm Transitions      Auditing Behavior Models

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:

Examples of Matching Triggers and Transitions

This section presents a number of examples of triggers and transitions that do and do not match.

Example 1

A trigger named highLoad with the subobject system.0 and the node hp124 would prompt the following transitions:

Example 2

A trigger named lowSpace with the subobject $ANY, the node hp124, and the property includeMe (which is contained in hp124's property group) would prompt the following transitions:

The lowSpace trigger would not prompt the following transitions:

Example 3

A trigger named lowSpace with the subobject $NULL, the node $ANY, and the property NO_PROP would prompt the following transitions:

The lowSpace trigger would not prompt the following transitions:

The trigger and transition fail the subobject rule.

The trigger and transition fail the subobject rule.


Matching Triggers and Alarm Transitions Auditing Behavior Models
29 July 2003