Commutability of Design Pattern Instantiation and Integration

Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other patterns as well. The instantiation and integration operations are two important operations when a designer uses a design pattern in a particular application. In this paper, we investigate the commutability of these two operations based on our formal specification framework. We provide rigorous proofs on the conditions when the order of these two operations does not matter. Our results enable the software designers to choose their design processes with assurance of their equivalence.

[1]  Hany H. Ammar,et al.  Pattern-Oriented Analysis and Design: Composing Patterns to Design Software Systems , 2003 .

[2]  Tommi Mikkonen,et al.  Formalizing design patterns , 1998, Proceedings of the 20th International Conference on Software Engineering.

[3]  MeyerBertrand,et al.  Design by Contract , 1997 .

[4]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[5]  Kang Zhang,et al.  Dynamic web service composition based on OWL-S , 2006, Science in China Series F: Information Sciences.

[6]  David Chek Ling Ngo,et al.  Formal specification of design pattern combination using BPSL , 2003, Inf. Softw. Technol..

[7]  Motoshi Saeki,et al.  Behavioral specification of GOF design patterns with LOTOS , 2000, Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.

[8]  Paulo S. C. Alencar,et al.  Ensuring structure and behavior correctness in design composition , 2000, Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000).

[9]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.

[10]  Neelam Soundarajan,et al.  Responsibilities and rewards: specifying design patterns , 2004, Proceedings. 26th International Conference on Software Engineering.

[11]  Paulo S. C. Alencar,et al.  Automating the analysis of design component contracts , 2006, Softw. Pract. Exp..

[12]  Paulo S. C. Alencar,et al.  A Formal Approach to Architectural Design Patterns , 1996, FME.

[13]  Paulo S. C. Alencar,et al.  A behavioral analysis and verification approach to pattern-based design composition , 2003, Software and Systems Modeling.

[14]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[15]  Paulo S. C. Alencar,et al.  A pattern-based approach to structural design composition , 1999, Proceedings. Twenty-Third Annual International Computer Software and Applications Conference (Cat. No.99CB37032).