Commutability of Design Pattern Instantiation and Integration

  title={Commutability of Design Pattern Instantiation and Integration},
  author={Jing Dong and Tu Peng and Zongyan Qiu},
  journal={First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07)},
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… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 18 references

A Formal Framework for Modeling and Analysis of Pattern-Based Design

  • Jing Dong, Tu Peng, Paulo Alencar, Donald Cowan
  • Technical Report #UTDCS-07-07,
  • 2007
2 Excerpts

Pattern-Oriented Analysis and Design: Composing Patterns to Design Software Systems

  • Sherif. M. Yacoub, Hany H. Ammar
  • Addison-Wesley Professional,
  • 2004
1 Excerpt

Similar Papers

Loading similar papers…