Specification Patterns Relationships
Welcome to the Properties Specification Patterns page.
In this website we describe a comprehensive and unified view of qualitative [1], real-time [2] and probabilistic patterns [3]. From an analysis of the relations among the three pattern categories, we have useful feedbacks and insights that lead us to infer and define new patterns. The specification of the patterns is supported by a structured English grammar and mappings to a variety of suitable logic formalisms.

Occurrence
- Absence Property Pattern
- Universality Property Pattern
- Existence Property Pattern
- Bounded Existence Pattern
- Recurrence Property Pattern
Duration
Order
Precedence
- Precedence Property Pattern
- Precedence Chain Property Pattern
- Constrained Precedence Chain Property Pattern
Response
- Response Property Pattern
- Constrained Response Property Pattern
- Response Chain Property Pattern
- Constrained Response Chain Property Pattern
- Response Invariance Property Pattern
Until
About us
This website is created and maintained by:
We are looking for contributors, if you are interested please contact us in order to gain an access permission.
Bibliography
1. Matthew B. Dwyer; George S. Avrunin; James C. Corbett, Patterns in Property Specifications for Finite-State Verification. ICSE 1999. pp. 411-420.
2. Sascha Konrad; Betty H.C. Cheng, Real-time specification patterns.ICSE 2005. pp. 372-381.
3. Lars Grunske, Specification patterns for probabilistic quality properties. ICSE 2008. pp. 31-40.