Specifying Behavioural Features of Design Patterns in First Order Logic

Ian Bayley, Hong Zhu
2008 2008 32nd Annual IEEE International Computer Software and Applications Conference  
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 and thereby lay a solid foundation for tool support. Building on our previous work that used first-order predicate logic to capture static behaviour, this paper captures the dynamic behaviour represented in sequence diagrams too. A case study of all 23 patterns in the Gang of Four catalogue demonstrates that
more » ... e approach can not only capture dynamic features but also simplify the specification of structural properties.
doi:10.1109/compsac.2008.67 dblp:conf/compsac/BayleyZ08 fatcat:eh3sodbtw5a6bbcfmnfqurq52y