On the Composability of Design Patterns

IEEE Transactions on Software Engineering

Volumn 41, Issue 11, 2015, Pages 1138-1152

  Zhu, Hong ^a   Bayley, Ian ^a  

^a OXFORD BROOKES UNIVERSITY   (United Kingdom)

Author keywords

composibility; Design patterns; feature preservation; formal methods; pattern composition; semantics preservation; soundness preservation

Indexed keywords

APPLICATION PROGRAMS; SEMANTICS; SOFTWARE DESIGN;

COMPOSABILITY; COMPOSIBILITY; DESIGN PATTERNS; FEATURE PRESERVATION; FORMAL ANALYSIS; PATTERN COMPOSITION; REAL APPLICATIONS; REAL PATTERNS;

FORMAL METHODS;

EID: 84961838968     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2015.2445341     Document Type: Article

References (70)

1. P. Coad, "Object-oriented patterns," Commun. ACM, vol. 35, no. 9, pp. 152-159, Sep. 1992.
2. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns-Elements of Reusable Object-Oriented Software. Boston, MA, USA: Addison-Wesley, 1995.
3. M. Grand, Patterns in Java: A Catalog of Reusable Design Patterns Illustrated with UML, Volume 1. New York, NY, USA: Wiley, 2002.
4. M. Grand, Patterns in Java, Volume 2. New York, NY, USA: Wiley, 1999.
5. M. Grand, Java Enterprise Design Patterns. New York, NY, USA: Wiley, 2002.
6. D. Alur, J. Crupi, and D. Malks, Core J2EE Patterns: Best Practices and Design Strategies, 2nd ed. Upper Saddle River, NJ, USA: Prentice-Hall, Jun. 2003.
7. M. Fowler, Patterns of Enterprise Application Architecture. Boston, MA, USA: Addison-Wesley, 2003.
8. G. Hohpe and B. Woolf, Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions. Boston, MA, USA: Addison-Wesley, 2004.
9. F. Buschmann, K. Henney, and D. C. Schmidt, Pattern-Oriented Software Architecture. Vol 4: A Pattern Language for Distributed Computing. West Sussex, England: Wiley, 2007.
10. M. Voelter, M. Kircher, and U. Zdun, Remoting Patterns. West Sussex, England: Wiley, 2004.
11. M. Schumacher, E. Fernandez, D. Hybertson, and F. Buschmann, Security Patterns: Integrating Security and Systems Engineering. West Sussex, England: Wiley, 2005.
12. C. Steel, Applied J2EE Security Patterns: Architectural Patterns & Best Practices. Upper Saddle River, NJ, USA: Prentice-Hall, 2005.
13. L. DiPippo and C. D. Gill, Design Patterns for Distributed Real-Time Systems. Secaucus, NJ, USA: Springer-Verlag, 2005.
14. B. P. Douglass, Real Time Design Patterns: Robust Scalable Architecture for Real-time Systems. Boston, MA, USA: Addison-Wesley, 2002.
15. R. S. Hanmer, Patterns for Fault Tolerant Software. West Sussex, England: Wiley, 2007.
16. J. Niere, W. Schäfer, J. P. Wadsack, L. Wendehals, and J. Welsh, "Towards pattern-based design recovery," in Proc. 22nd Int. Conf. Softw. Eng., Orlando, Florida, USA, May 2002, pp. 338-348.
17. D. Hou and H. J. Hoover, "Using SCL to specify and check design intent in source code," IEEE Trans. Softw. Eng., vol. 32, no. 6, pp. 404-423, Jun. 2006.
18. N. N. Shi and R. Olsson, "Reverse engineering of design patterns from Java source code," in Proc. 21st IEEE/ACM Int. Conf. Autom. Softw. Eng., Tokyo, Japan, Sept. 2006, pp. 123-134.
19. A. Blewitt, A. Bundy, and I. Stark, "Automatic verification of design patterns in Java," in Proc. 20th IEEE/ACM Int. Conf. Autom. Softw. Eng., Long Beach, California, USA, Nov. 2005, pp. 224-232.
20. D. Maplesden, J. Hosking, and J. Grundy, "Design pattern modelling and instantiation using DPML," in Proc. 4th Int. Conf. Tools Pacific., Darlinghurst, Australia, 2002, pp. 3-11.
21. J. Dong, Y. Zhao, and T. Peng, "Architecture and design pattern discovery techniques - a review," in Proc. Int. Conf. Softw. Eng. Res. Practice, Jun. 2007, pp. 621-627.
22. D.-K. Kim and L. Lu, "Inference of design pattern instances in UML models via logic programming," in Proc. 11th Int. Conf. Eng. Complex Comput. Syst., Stanford, California, USA, Aug. 2006, pp. 47-56.
23. D.-K. Kim and W. Shen, "An approach to evaluating structural pattern conformance of UML models," in Proc. ACM Symp. Applied Comput., Seoul, Korea, Mar. 2007, pp. 1404-1408.
24. D.-K. Kim and W. Shen, "Evaluating pattern conformance of UML models: A divide-and-conquer approach and case studies," Softw. Quality J., vol. 16, no. 3, pp. 329-359, 2008.
25. H. Zhu, I. Bayley, L. Shan, and R. Amphlett, "Tool support for design pattern recognition at model level," in Proc. 33rd Annu. IEEE Int. Comput. Softw. Appl. Conf., Seattle, Washington, USA, Jul. 2009, pp. 228-233.
26. H. Zhu, L. Shan, I. Bayley, and R. Amphlett, "A formal descriptive semantics of UML and its applications," in UML 2 Semantics and Applications, K. Lano, Ed. New York, NY, USA: Wiley, Nov. 2009.
27. F. Khomh and Y.-G. Gueheneuc, "Do design patterns impact software quality positively?" in Proc. 12th Eur. Conf. Softw. Maintenance Reeng., Athens, Greece, Apr. 1-4 2008, pp. 274-278.
28. B. Venners. (2005, May). How to use design patterns: A conversation with Erich Gamma, Part I. [Online]. Available: http://www. artima.com/lejava/articles/gammadp.html
29. S. M. Yacoub and H. H. Ammar, "UML support for designing software systems as a composition of design patterns," in Proc. 4th Int. Conf. Unified Modeling Lang.-Modeling Lang., Concepts Tools, Toronto, Canada, Oct. 2001, pp. 149-165.
30. P. Wendorff, "Assessment of design patterns during software reengineering: Lessons learned from a large professional project," in Proc. 5th Eur. Conf. Softw. Maintenance Reeng., Lisbon, Portugal, Mar. 2001, pp. 77-84.
31. M. Mouratidou, V. Lourdas, A. Chatzigeorgiou, and C. K. Georgiadis, "An assessment of design patterns' influence on a Javabased E-commerce application," J. Theoretical Applied Electron. Commerce Res., vol. 5, no. 1, pp. 25-38, Apr. 2010.
32. H. Zhu and I. Bayley, "An algebra of design pattern composition," ACM Trans. Softw. Eng. Methodol., vol. 22, no. 3, article 23, Jul. 2013.
33. K. Lano, J. C. Bicarregui, and S. Goldsack, "Formalising design patterns," in Proc. BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, Sep. 1996, p. 11.
34. T. Mikkonen, "Formalizing design patterns," in Proc. 20th Int. Conf. Softw. Eng., Apr. 1998, pp. 115-124.
35. J. Dong, P. S. C. Alencar, and D. D. Cowan, "Correct composition of design components," in Proc. 4th Int. Workshop Component-Oriented Programm. Conjunction ECOOP, 1999, p. 186.
36. A. Lauder and S. Kent, "Precise visual specification of design patterns," in Proc. 12th Eur. Conf. Object-Oriented Programm., 1998, pp. 114-134.
37. A. H. Eden, "Formal specification of object-oriented design," in Proc. Int. Conf. Multidisciplinary Des. Eng., Montreal, Canada, Nov. 2001, pp. 21-22.
38. T. Taibi, D. Check, and L. Ngo, "Formal specification of design patterns - a balanced approach," J. Object Technol., vol. 2, no. 4, pp. 127-140, Jul.-Aug. 2003.
39. I. Bayley and H. Zhu, "Formalising design patterns in predicate logic," in Proc. 5th IEEE Int. Conf. Softw. Eng. Formal Methods, London, UK, Sep. 2007, pp. 25-36.
40. E. Gasparis, A. H. Eden, J. Nicholson, and R. Kazman, "The design navigator: Charting Java programs," in Proc. Companion 30th Int. Conf. Softw. Eng., 2008, pp. 945-946.
41. I. Bayley and H. Zhu, "Formal specification of the variants and behavioural features of design patterns," J. Syst. Softw., vol. 83, no. 2, pp. 209-221, Feb. 2010.
42. F. Buschmann, K. Henney, and D. C. Schmidt, Pattern-Oriented Software Architecture. Vol.5: On Patterns and Pattern Languages. West Sussex, England: Wiley, 2007.
43. I. Bayley and H. Zhu, "A formal language of pattern composition," in Proc. 2nd Int. Conf. Pervasive Patterns, Lisbon, Portugal, Nov. 2010, pp. 1-6.
44. I. Bayley and H. Zhu, "A formal language for the expression of pattern compositions," Int. J. Adv. Softw., vol. 4, no. 3&4, pp. 354-366, 2011.
45. I. Bayley and H. Zhu, "On the composition of design patterns," in Proc. 8th Int. Conf. Quality Softw., Oxford, UK, Aug. 2008, pp. 27-36.
46. A. H. Eden, Codecharts: Roadmaps and Blueprints for Object-Oriented Programs. Hoboken, NJ, USA: Wiley, 2011.
47. A. H. Eden, E. Gasparis, J. Nicholson, and R. Kazman, "Modeling and visualizing object-oriented programs with codecharts," Formal Methods Syst. Des., vol. 42, no. 1, p. 1-28, 2013.
48. J. Nicholson, A. H. Eden, E. Gasparis, and R. Kazman, "Automated verification of design patterns: A case study," Sci. Comput. Programm., vol. 80, no. B, p. 211-222, Feb. 2014.
49. H. Zhu, "On the theoretical foundation of meta-modelling in graphically extended BNF and first order logic," in Proc. 4th IEEE Symp. Theoretical Aspects Softw. Eng., Taipei, Taiwan, Aug. 2010, pp. 95-104.
50. H. Zhu, "An institution theory of formal Meta-modelling in graphically extended BNF," Frontiers Comput. Sci., vol. 6, no. 1, pp. 40-56, 2012.
51. H. Zhu and I. Bayley, "Laws of pattern composition," in Proc. 12th Int. Conf. Formal Eng. Methods, Shanghai, China, Nov. 17-19 2010, pp. 630-645.
52. I. Bayley and H. Zhu, "Specifying behavioural features of design patterns," Dept. of Comput., Oxford Brookes University, Oxford, UK, Tech. Rep. TR-08-01, 2008.
53. P. Bottoni, E. Guerra, and J. de Lara, "Towards a formal notion of interaction pattern," in Proc. IEEE Symp. Vis. Lang. Human-Centric Comput., Leganes, Spain, Sep. 2010, pp. 235-239.
54. F. Buschmann, K. Henney, and D. C. Schmidt, Pattern-Oriented Software Architecture. Vol. 1: A System of Patterns. West Sussex, England: Wiley, 1996.
55. W. B. McNatt and J. M. Bieman, "Coupling of design patterns: Common practices and their benefits," in Proc. 25th Comput. Softw. Appl. Conf., Oct. 2001, pp. 574-579.
56. D. Riehle, "Composite design patterns," in Proc. ACM SIGPLAN Conf. Object-Oriented Programm. Syst., Lang. Appl., Atlanta, Georgia, Oct. 5-9 1997, pp. 218-228.
57. J. Vlissides, "Notation, notation, notation," C++ Report, pp. 48-51, Apr. 1998.
58. J. Dong, S. Yang, and K. Zhang, "Visualizing design patterns in their applications and compositions," IEEE Trans. Softw. Eng., vol. 33, no. 7, pp. 433-453, Jul. 2007.
59. J. M. Smith, "The pattern instance notation: A simple hierarchical visual notation for the dynamic visualization and comprehension of software patterns," J. Vis. Lang. Comput., vol. 22, no. 5, pp. 355-374, Oct. 2011.
60. J. Dong, P. S. Alencar, and D. D. Cowan, "Ensuring structure and behavior correctness in design composition," in Proc. IEEE 7th Annu. Int. Conf. Workshop Eng. Comput. Based Syst., Edinburgh, Scotland, Apr. 2000, pp. 279-287.
61. T. Taibi, "Formalising design patterns composition," IEE Proc. Softw., vol. 153, no. 3, pp. 126-153, Jun. 2006.
62. J. Dong, T. Peng, and Y. Zhao, "Automated verification of security pattern compositions," Inf. Softw. Technol., vol. 52, no. 3, p. 274-295, Mar. 2010.
63. J. Dong, T. Peng, and Y. Zhao, "On instantiation and integration commutability of design pattern," The Comput. J., vol. 54, no. 1, pp. 164-184, Jan. 2011.
64. T. Taibi and D. C. L. Ngo, "Formal specification of design pattern combination using BPSL," Inf. Softw. Technol., vol. 45, no. 3, pp. 157-170, Mar. 2003.
65. B. Huston, "The effects of design pattern application on metric scores," J. Syst. Softw., vol. 58, no. 3, pp. 261-269, Sep. 2001.
66. L. Prechelt, B. Unger, W. F. Tichy, P. Brössler, and L. G. Votta, "A controlled experiment in maintenance: Comparing design patterns to simpler solutions," IEEE Trans. Softw. Eng., vol. 27, no. 12, pp. 1134-1144, Dec. 2001.
67. N.-L. Hsueh, P.-H. Chu, and W. Chu, "A quantitative approach for evaluating the quality of design patterns," The J. Syst. Softw., vol. 81, pp. 1430-1439, 2008.
68. A. Ampatzoglou, G. Frantzeskou, and I. Stamelos, "A methodology to assess the impact of design patterns on software quality," Inf. Softw. Technol., vol. 54, no. 4, pp. 331-346, Apr. 2012.
69. P. Bottoni, E. Guerra, and J. de Lara, "A language-independent and formal approach to pattern-based modelling with support for composition and analysis," Inf. Softw. Technol., vol. 52, no. 8, pp. 821-844, 2010.
70. N. Cacho, C. Santanna, E. Figueiredo, F. Dantas, A. Garcia, and T. Batista, "Blending design patterns with aspects: A quantitative study," J. Syst. Softw., vol. 98, pp. 117-139, 2014.