Abstract:Formal pattern languages are used in industry to communicate and analyse requirements, as they are said to be both machine-readable and intuitively understandable for humans. The questions arise to what extent this intuitive understanding of a pattern language is in agreement with its formal semantics and whether this understanding can be increased systematically. We present two consecutive empirical experiments to address these questions. The formal semantics serves as an objective judge on the intuitive understanding. Our experiments confirm the practical usefulness of HanforPL insofar the intuition matches the formal semantics in most practically relevant cases. They also reveal a number of edge cases where even a prior exposure to formal logic is not a guarantee for correct understanding. We present and validate systematic adjustments to the patterns, leading to several large increases in understandability but come at the cost of new, but less impactful ambiguities. We demonstrate how an inquiry on the alignment of the intuitive and formal semantics of a pattern language can help to understand and improve the language. While results regarding the understandability of HanforPL are favourable in commonly used cases, there is potential for improvement. The systematic adaption of patterns shows that small modifications may have large effects on the alignment of formal and intuitive semantics, and that modification must be considered with caution in the context of the respective pattern to avoid unintentionally adding new ambiguities. This article is an extension of our published REFSQ paper.

Formal specification of the variants and behavioural features of design patterns

Formal Specification of Design Patterns as Structural Properties

Specifying Behavioural Features of Design Patterns in First Order Logic.

PLANT: A Pattern Language for Transforming Scenarios into Requirements Models.

An Algebra of Design Patterns.

On the Composition of Design Patterns

Automatic Support for Formal Specification Construction Using Pattern Knowledge

Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction.

Formal Use of Design Patterns and Refactoring

Towards a General Theory of Patterns

Design space-based pattern representation

A Formal Language Of Pattern Compositions

On the Composability of Design Patterns

A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge

Verification of Patterns

An Algebraic Formalization of the GoF Design Patterns

Pattern-Based Approach to Modelling and Verifying System Security.

Apparel Pattern Modeling Based on Tabular Layouts of Article Characteristics

Tool Support for Design Pattern Recognition at Model Level

On the Interaction of Object-Oriented Design Patterns and Programming Languages

Systematic adaptation and investigation of the understandability of a formal pattern language