Commutability of design pattern instantiation and integration

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07

Volumn , Issue , 2007, Pages 283-292

  Jing, Dong ^a   Tu, Peng ^a   Zongyan, Qiu ^b  

^a The University of Texas at Dallas   (United States)

^b PEKING UNIVERSITY   (China)

Author keywords

Commutability; Design pattern; Logics; Process algebra

Indexed keywords

ALGEBRA; COMPUTER AIDED ENGINEERING; COMPUTER SOFTWARE; INTEGRATION; PATTERN RECOGNITION; SPECIFICATIONS;

COMMUTABILITY; DESIGN PATTERN; GENERIC DESIGN STRUCTURE; PROCESS ALGEBRA;

COMPUTER AIDED DESIGN;

EID: 34548860612     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TASE.2007.14     Document Type: Conference Paper

References (19)

1. Paulo Alencar, Donald Cowan, Jing Dong, and Carlos Lucena, A Pattern-Based Approach to Structural Design Composition, Proceedings of the IEEE 23rd Annual International Computer Software & Applications Conference, pages 160-165, Phoenix USA, October 1999.
2. Paulo Alencar, Donald Cowan, and Carlos Lucena. A Formal Approach to Architectural Design Patterns. Proceedings of the Third International Symposium of Formal Methods Europe (FME), pages 576-594, 1996.
3. S. Chinnasamy, R. R. Raje, and Z. Liu. Specification of design patterns: An analysis. Proceedings of the 7th International Conference on Advanced Computing and Communications, pages 300-304, 1999.
4. Jing Dong, Paulo Alencar, and Donald Cowan, Ensuring Structure and Behavior Correctness in Design Composition, Proceedings of the 7th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS), pp279-287, Edinburgh UK, 2000.
5. Jing Dong, Paulo Alencar, and Donald Cowan. A Behavioral Analysis and Verification Approach to Pattern-Based Design Composition. International Journal of Software and Systems Modeling, Springer Verlag, 3(4):262-272, December 2004.
6. Jing Dong, Paulo Alencar, and Donald Cowan. Automating the Analysis of Design Component Contracts. Software - Practice and Experience (SPE), Wiley, 36(1):27-71, January 2006.
7. Jing Dong, Yongtao Sun, Sheng Yang, and Kang Zhang, Dynamic Web Service Composition Based on OWL-S, Science in China: Special Issue on Internet-Oriented Software Technologies, Springer-Verlag, Volume 49, Number 6, pages 843-863, December 2006.
8. Jing Dong, Tu Peng, Paulo Alencar, and Donald Cowan. A Formal Framework for Modeling and Analysis of Pattern-Based Design. Technical Report #UTDCS-07-07, Computer Science Department, University of Texas at Dallas, 2007.
9. A.H. Eden and Y. Hirshfeld. Principles in formal specification of object-oriented architectures. Proceedings of the 11th CASCON, Toronto, Canada, November 2001.
10. E. Gamma, R. Helm, R. Johnson, J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, 1995.
11. Bertrand Meyer. Applying "design by contract". IEEE Computer, pages 40-51, October 1992.
12. Tommi Mikkonen. Formalizing Design Pattern. Proceedings of the 20th International Conference on Software Engineering, pages 115-124, 1998.
13. Robin Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989.
14. P. Pal. Law-Governed Support for Realizing Design Patterns. Technology of Object-Oriented Languages and Systems, pages 25-34, 1995.
15. Motoshi Saeki. Behavioral specification of GoF design patterns with LOTOS. Proceedings of the Seventh Asia-Pacific Software Engineering Conference (APSEC), pages 408-415, Dec. 2000.
16. Neelam Soundarajan and Jason O. Hallstrom. Responsibilities and Rewards: Specifying Design Patterns. Proceedings of the 26th International Conference on Software Engineering, pages 666-675, May 2004.
17. Toufik Taibia and David C. L. Ngo. Formal specification of design pattern combination using BPSL. International Journal of Information and Software Technology (IST), Elsevier-Science, 45(3): 157-170, March 2003.
18. Sherif. M. Yacoub, Hany H. Arrimar. Pattern-Oriented Analysis and Design: Composing Patterns to Design Software Systems. Addison-Wesley Professional, 2004.
19. Java.awt resource information, September 2006, http://java.sun.com/ j2se/1.5.0/docs/guide/awt/index.html