Formalising Design Patterns in Predicate Logic

  title={Formalising Design Patterns in Predicate Logic},
  author={Ian Bayley},
  journal={Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)},
Design patterns are traditionally outlined in an informal manner. If they could be formalised, we could derive tools that automatically recognise design patterns and refactor designs and code. Our approach is to deploy predicate logic to specify conditions on the class diagrams that describe design patterns. The structure of class diagrams is itself described with a novel meta-notation that can be used for defining any graphical modelling language. As a result, the constraints, while based on… CONTINUE READING
Highly Cited
This paper has 59 citations. REVIEW CITATIONS
37 Citations
16 References
Similar Papers


Publications citing this paper.

59 Citations

Citations per Year
Semantic Scholar estimates that this publication has 59 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 16 references

Formal specification of design patterns as structural properties

  • I. Bayley, H. Zhu
  • Technical Report DOC-TR- 07-01,
  • 2006
2 Excerpts

Well-formedness, consistency and completeness of graphic models

  • H. Zhu, L. Shan
  • In Proc. of UKSIM’06,
  • 2006
1 Excerpt

Similar Papers

Loading similar papers…