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.

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.

A harmonized view of Specification Patterns






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.

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.

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License