Occurrence Specification Patterns
Occurrence patterns are used to express requirements related to the existence or lack of existence of certain 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 four occurrence patterns: