Sciweavers

Share
JSS
2010

Formal specification of the variants and behavioural features of design patterns

8 years 2 months ago
Formal specification of the variants and behavioural features of design patterns
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying patterns, eliminate ambiguity and thereby lay a solid foundation for tool support. This paper further advances a formal meta-modelling approach that uses first order predicate logic to specify design patterns. In particular, it specifies both structural and behavioural features of design patterns and systematically captures the variants in a well-structured format. The paper reports a case study involving the formal specification of all 23 patterns in the Gang of Four catalog. It demonstrates that the approach improves the accuracy of pattern specifications by covering variations and clarifying the ambiguous parts of informal descriptions. Key words: Design patterns, formal specification, predicate logic, graphic modeling, sequence diagrams, variants of patterns
Ian Bayley, Hong Zhu
Added 19 May 2011
Updated 19 May 2011
Type Journal
Year 2010
Where JSS
Authors Ian Bayley, Hong Zhu
Comments (0)
books