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:

• Absence, aka Never
• Universality, aka Globally, Henceforth
• Existence, aka Eventually, Future
• Bounded Existence