Sciweavers

TASE
2007
IEEE

Commutability of Design Pattern Instantiation and Integration

13 years 10 months ago
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. KEYWORDS Design pattern, commutability, logics, process algebra
Jing Dong, Tu Peng, Zongyan Qiu
Added 04 Jun 2010
Updated 04 Jun 2010
Type Conference
Year 2007
Where TASE
Authors Jing Dong, Tu Peng, Zongyan Qiu
Comments (0)