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.
More details can be found in this paper:
M. Autili, L. Grunske, M. Lumpe, P. Pelliccione and A. Tang, "Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar," in IEEE Transactions on Software Engineering, vol. 41, no. 7, pp. 620-638, 1 July 2015, doi: 10.1109/TSE.2015.2398877.

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.