Chain Property Specification Patterns
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.