@inproceedings{7a64183f08854cd4ad70fcb2bac0ad19,
title = "Commutability of design pattern instantiation and integration",
abstract = "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 = "Commutability, Design pattern, Logics, Process algebra",
author = "Dong Jing and Peng Tu and Qiu Zongyan",
year = "2007",
doi = "10.1109/TASE.2007.14",
language = "English",
isbn = "0769528562",
series = "First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07",
pages = "283--292",
booktitle = "First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07",
note = "1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07 ; Conference date: 06-06-2007 Through 08-06-2007",
}