Occurrence Specification Patterns
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: