Order Specification Patterns

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. There are two order patterns: