The information in the patterns can be presented in a variety of ways. One organization, illustrated below, is based on classifying the patterns in terms of the kinds of system behaviors they describe.
- Occurrence Patterns talk about the occurrence of a given event/state during system execution.
- Order Patterns talk about relative order in which multiple events/states occur during system execution.
- While not themselves patterns, Pattern Notes discuss common ways to vary the existing patterns to suite your needs.
An alternative organization for this information is to group pattern to formalism mappings by specification formalism. The supported formalisms are listed below. Clicking on the formalism will bring you to pages with mappings for each property pattern in that formalisms. We supply the mappings on these formalism-specific pages and you are refered to the complete patterns for information about relationships and example uses.
- Linear Temporal Logic (LTL)
- Computation Tree Logic (CTL)
- Graphical Interval Logic (GIL)
- Quantified Regular Expressions (QRE)
- INCA Queries
Mappings for additional formalisms have also been developed (by other researchers)