Abstract
To arrive at such a common framework we propose to leverage the existing work on design patterns, which are specified as predicates on the static and dynamic models of software systems. By reviewing the techniques for reasoning about design patterns, and what these techniques can achieve, we can propose a suitable way of structuring all patterns. This method of structuring is also informed by a detailed comparison between the headings used to structure each of design, attack and security patterns. The difficulties in producing a common framework for all types of pattern are also briefly considered, before a suitable method of structuring patterns is described in detail as a conclusion.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Gamma E, Helm R, Johnson R, Vlissides J. Design patterns: elements of reusable object-oriented software. Addison Wesley, Reading; 1994.
Bayley I, Zhu H. Formalising design patterns in predicate logic. In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), pp. 25–36.
Security Patterns Repository. http://www.scrypt.net/~celer/securitypatterns/. Accessed 9 Sept 2013.
Common Attack Pattern Enumeration and Classification. capec.mitre.org. Accessed 9 Sept 2013.
Smith J. Elemental design patterns. Addison Wesley, Upper Saddle River; 2012.
Price J. Christopher Alexander’s pattern language. IEEE Trans Prof Commu. 1999;42(2):21–27.
Eden A. Codecharts: roadmaps and blueprints for object-oriented programs. John Wiley & Sons, Hoboken; 2011.
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
Bayley, I. (2014). Challenges for a Formal Framework for Patterns. In: Blackwell, C., Zhu, H. (eds) Cyberpatterns. Springer, Cham. https://doi.org/10.1007/978-3-319-04447-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-04447-7_4
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)