Sciweavers

Share
COMPSAC
2008
IEEE

Specifying Behavioural Features of Design Patterns in First Order Logic

8 years 4 months ago
Specifying Behavioural Features of Design Patterns in First Order Logic
The formal specification of design patterns is widely recognised 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 an approach that uses first order predicate logic to specify design patterns by capturing the dynamic behaviour represented in sequence diagrams. A case study of all 23 patterns in the Gang of Four catalogue demonstrates that it can not only capture dynamic features but also simplify the specification of structural properties.
Ian Bayley, Hong Zhu
Added 18 Oct 2010
Updated 18 Oct 2010
Type Conference
Year 2008
Where COMPSAC
Authors Ian Bayley, Hong Zhu
Comments (0)
books