loading...
Specifying Behavioural Features of Design Patterns in First Order Logic
July 28-August 01
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.672008 32nd Annual IEEE International C ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Ian Bayley, Hong Zhu, "Specifying Behavioural Features of Design Patterns in First Order Logic," Computer Software and Applications Conference, Annual International, pp. 203-210, 2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008.
 
 
BibTex
x
 
@article{ 10.1109/COMPSAC.2008.67,
author = {Ian Bayley and Hong Zhu},
title = {Specifying Behavioural Features of Design Patterns in First Order Logic},
journal ={Computer Software and Applications Conference, Annual International},
volume = {0},
year = {2008},
issn = {0730-3157},
pages = {203-210},
doi = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.67},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - Specifying Behavioural Features of Design Patterns in First Order Logic
SN - 0730-3157
SP203
EP210
A1 - Ian Bayley,
A1 - Hong Zhu,
PY - 2008
KW - Design Pattern
KW - Formal Method
KW - Formal Specification
KW - First Order Logic
KW - Object Orientation
KW - UML
KW - Modelling
KW - Class Diagram
KW - Sequence Diagram
VL - 0
JA - Computer Software and Applications Conference, Annual International
ER -
 
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.
Index Terms:
Design Pattern, Formal Method, Formal Specification, First Order Logic, Object Orientation, UML, Modelling, Class Diagram, Sequence Diagram
Citation:
Ian Bayley, Hong Zhu, "Specifying Behavioural Features of Design Patterns in First Order Logic," compsac, pp.203-210, 2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008
Usage of this product signifies your acceptance of the Terms of Use.