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

• Minimum Duration
• Maximum 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

• Until Property Pattern

---

About us

This website is created and maintained by:

• Marco Autili
• Lars Grunske
• Markus Lumpe
• Patrizio Pelliccione
• Antony Tang

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.

---