A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Specifying Behavioural Features of Design Patterns in First Order Logic
2008
2008 32nd Annual IEEE International Computer Software and Applications Conference
Preserved Fulltext
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
doi:10.1109/compsac.2008.67
dblp:conf/compsac/BayleyZ08
fatcat:eh3sodbtw5a6bbcfmnfqurq52y