Specifying Behavioural Features of Design Patterns in First Order Logic

Authors:
Ian Bayley;Hong Zhu
Affiliations:
-;-
Venue:
COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
Year:
2008

Citing 0
Cited 5

Formal specification of the variants and behavioural features of design patterns

Journal of Systems and Software
Laws of pattern composition

ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
A methodology to assess the impact of design patterns on software quality

Information and Software Technology
An institution theory of formal meta-modelling in graphically extended BNF

Frontiers of Computer Science in China
An algebra of design patterns

ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.