Chain Property Specification Patterns

Chain patterns are used to express requirements related to complex combinations of individual state/event relationships. These include precedence/response relationships consisting of sequences of individual states/events. We call these chain patterns.

Both Response and Precedence chains are provided.

A variation of the chain patterns is to constrain the regions between the state/events that constitute the chain sequences.

As with all patterns, we define the regions over which the pattern is to hold using scopes.