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: