Output details
11 - Computer Science and Informatics
Oxford Brookes University
Formal specification of the variants and behavioural features of design patterns
<07>This paper, an extension of the Best Paper Award winner of COMPSAC 08, formalises and clarifies the important but nebulous concept of design patterns, the subject of a highly cited work in computer science referred to as the ‘Gang of Four’ book. This formalisation directly enables tool support for software engineers working with patterns. Unlike other attempts at formalisation, this approach can specify not only static behaviour but dynamic behaviour too. Its semantics are defined in terms of a meta-modelling language with semantics that are far more rigorously defined than the UML metamodel used by most other approaches.