Skip to main content
SpringerLink
Log in

Laws of Pattern Composition

  • Conference paper
Formal Methods and Software Engineering (ICFEM 2010)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6447))

Included in the following conference series:

Abstract

Design patterns are rarely used on their own. They are almost always to be found composed with each other in real applications. So it is crucial that we can reason about their compositions. In our previous work, we defined a set of operators on patterns so that pattern compositions can be represented as expressions on patterns. In this paper, we investigate the algebraic properties of these operators, prove a set of algebraic laws that they obey, and use the laws to show the equivalence of pattern compositions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alur, D., Crupi, J., Malks, D.: Core J2EE Patterns: Best Practices and Design Strategies, 2nd edn. Prentice Hall, Englewood Cliffs (2003)

    Google Scholar 

  2. Bayley, I., Zhu, H.: Formalising design patterns in predicate logic. In: Proc. of SEFM 2007, pp. 25–36. IEEE Computer Society, Los Alamitos (2007)

    Google Scholar 

  3. Bayley, I., Zhu, H.: On the composition of design patterns. In: Proc. of QSIC 2008, pp. 27–36. IEEE Computer Society, Los Alamitos (2008)

    Google Scholar 

  4. Bayley, I., Zhu, H.: Specifying behavioural features of design patterns in first order logic. In: Proc. of COMPSAC 2008, pp. 203–210. IEEE Computer Society, Los Alamitos (2008)

    Google Scholar 

  5. Bayley, I., Zhu, H.: Formal specification of the variants and behavioural features of design patterns. Journal of Systems and Software 83(2), 209–221 (2010)

    Article  Google Scholar 

  6. Buschmann, F., Henney, K., Schmidt, D.C.: Past, present, and future trends in software patterns. IEEE Software 24(4), 31–37 (2007)

    Article  Google Scholar 

  7. Eden, A.H.: Formal specification of object-oriented design. In: International Conference on Multidisciplinary Design in Engineering, Montreal, Canada (November 2001)

    Google Scholar 

  8. France, R.B., Kim, D.K., Ghosh, S., Song, E.: A UML-based pattern specification technique. IEEE Trans. Softw. Eng. 30(3), 193–206 (2004)

    Article  Google Scholar 

  9. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns - Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)

    MATH  Google Scholar 

  10. Gasparis, E., Nicholson, J., Eden, A.H.: LePUS3: An object-oriented design description language. In: Stapleton, G., Howse, J., Lee, J. (eds.) Diagrams 2008. LNCS (LNAI), vol. 5223, pp. 364–367. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  11. Hou, D., Hoover, H.J.: Using SCL to specify and check design intent in source code. IEEE Trans. Softw. Eng. 32(6), 404–423 (2006)

    Article  Google Scholar 

  12. Lano, K., Bicarregui, J.C., Goldsack, S.: Formalising design patterns. In: BCS-FACS Northern Formal Methods Workshop, Ilkley, UK (September 1996)

    Google Scholar 

  13. Lauder, A., Kent, S.: Precise visual specification of design patterns. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol. 1445, pp. 114–134. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  14. Mapelsden, D., Hosking, J., Grundy, J.: Design pattern modelling and instantiation using DPML. In: Proc. of CRPIT 2002, pp. 3–11. Australian Computer Society, Inc. (2002)

    Google Scholar 

  15. Mikkonen, T.: Formalizing design patterns. In: Proc. of ICSE 1998, pp. 115–124. IEEE CS, Los Alamitos (April 1998)

    Google Scholar 

  16. Nija Shi, N., Olsson, R.: Reverse engineering of design patterns from Java source code. In: Proc. of ASE 2006, pp. 123–134 (September 2006)

    Google Scholar 

  17. Riehle, D.: Composite design patterns. In: Proc. of OOPSLA 1997, pp. 218–228 (1997)

    Google Scholar 

  18. Taibi, T.: Formalising design patterns composition. Software, IEE Proceedings 153(3), 126–153 (2006)

    Article  Google Scholar 

  19. Taibi, T., Check, D., Ngo, L.: Formal specification of design patterns-a balanced approach. Journal of Object Technology 2(4) (July-August 2003)

    Google Scholar 

  20. Zhu, H., Shan, L.: Well-formedness, consistency and completeness of graphic models. In: Proc. of UKSIM 2006, pp. 47–53 (April 2006)

    Google Scholar 

  21. Zhu, H.: On the theoretical foundation of meta-modelling in graphically extended BNF and first order logic. In: Proc. of TASE 2010. IEEE CS Press, Taipei (August 2010)

    Google Scholar 

  22. Zhu, H., Bayley, I.: A formal language of pattern composition. In: Proc. of PATTERNS 2010, Lisbon, Portugal (November 2010) (in Press)

    Google Scholar 

  23. Zhu, H., Bayley, I., Shan, L., Amphlett, R.: Tool support for design pattern recognition at model level. In: Proc. of COMPSAC 2009, pp. 228–233. IEEE CS, Los Alamitos (July 2009)

    Google Scholar 

  24. Zhu, H., Shan, L., Bayley, I., Amphlett, R.: A formal descriptive semantics of UML and its applications. In: Lano, K. (ed.) UML 2 Semantics and Applications. John Wiley & Sons, Inc., Chichester (November 2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Oxford Brookes University, Wheatley Campus, Wheatley, Oxfordshire, OX33 1HX, UK

    Hong Zhu & Ian Bayley

Authors
  1. Hong Zhu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ian Bayley
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing, Computer Science Dept, National University of Singapore, 13 Computing Drive, 117417, Singapore, Singapore

    Jin Song Dong

  2. Software Engineering Institute, East China Normal University, 3663 Zhongshan Road (North), 200062, Shanghai, China

    Huibiao Zhu

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zhu, H., Bayley, I. (2010). Laws of Pattern Composition. In: Dong, J.S., Zhu, H. (eds) Formal Methods and Software Engineering. ICFEM 2010. Lecture Notes in Computer Science, vol 6447. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16901-4_41

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-16901-4_41

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-16900-7

  • Online ISBN: 978-3-642-16901-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation