Abstract
As knowledge of solutions to recurring design problems, a large number of software design patterns (DP) has been identified, catalogued and formalized in the past decades. Tools have been developed to support the application and recognition of patterns. However, although the notions of pattern in different subject domains carry a great deal of similarity, we are in lack of a general theory that applies to all types of design patterns. This paper is based on our previous work on formalization of OO DPs and an algebra of pattern compositions. We propose a generalization of the approach so that it can be applied to other types of DPs. In particular, a pattern is defined as a set of points in a design space that satisfy certain conditions. Each condition specifies a property of the instances of the pattern in a certain view of the design space. The patterns can then be composed and instantiated through applications of operators defined on patterns. The paper demonstrates the feasibility of the proposed approach by examples of patterns of enterprise security architecture.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Blakley B, Heath C et al. The open group: Security design patterns. Technical Guide; 2004.
Yoshioka N, Washizaki H, Maruyama K. A survey on security patterns. Prog Inform. 2008;5:35–47.
Taibi T, editors. Design patterns formalization techniques. Hershey: IGI Publication; 2007.
Bayley I, Zhu H. Formal specification of the variants and behavioural features of design patterns. J Syst Softw. 2010;83(2):209–21.
Bayley I, Zhu H. A formal language for the expression of pattern compositions. Int J Adv Softw. 2011; 4(3, 4):354– 366.
Zhu H, Bayley I. An algebra of design patterns. ACM Trans Softw Eng Methodol. 2013; 22(3):23.
Shaw M. The role of design spaces. IEEE Softw. 2012;29(1):46–50.
Brooks FP Jr. The design of design: Essays from a computer scientist. Boston: Addison-Wesley; 2010.
Yoshikawa H. General design theory and a CAD system. Proceedings of the IFIP WG5.2-5.3 1980 working conference on man–machine communication in CAD/ CAM, p. 35–57, North-Holland; 1981.
Kakuda Y, Kikuchi M. Abstract design theory. Annals of Japan Association for Philosophy of Science; 2001.
OMG. MDA Specification. Object management group, USA (2010). http://www.omg.org/mda/specs.htm
Zhu H. An institution theory of formal meta-modelling in graphically extended BNF. Front Comput Sci. 2012;6(1):40–56.
Chiswell I, Hodges W. Mathematical Logic, volume 3 of Oxford Texts in Logic. Oxford: Oxford University Press; 2007.
Sherwood J, Clark A, Lynas D. Enterprise security architecture: A business-driven approach. CA: CMP Books; 2005.
Acknowledgments
The work reported in this paper is funded by the Oxford Brookes University. The author would like to thank Prof. David Duce, Dr. Ian Bayley and Mr. Clive Blackwell for discussions on related topics.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Zhu, H. (2014). Towards a General Theory of Patterns. In: Blackwell, C., Zhu, H. (eds) Cyberpatterns. Springer, Cham. https://doi.org/10.1007/978-3-319-04447-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-04447-7_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-04446-0
Online ISBN: 978-3-319-04447-7
eBook Packages: Computer ScienceComputer Science (R0)