Order Specification Patterns

Order patterns are used to express requirements related to pairs of states/events during well-defined regions of system execution. As with our other patterns, the regions are defined using Scopes.

Information about the patterns system as a whole is available at the Specification Patterns Home Page.

There are two basic order-related patterns:

• Precedence
• Response, aka Follows, Leads-To

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.

There are two variations of chain patterns:

• Response Chains
• Precedence Chains

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