Verifying behavioral correctness of design pattern implementation

20th International Conference on Software Engineering and Knowledge Engineering, SEKE 2008

Volumn , Issue , 2008, Pages 454-459

  Peng, Tu ^a   Dong, Jing ^a   Zhao, Yajing ^a  

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

Author keywords

Design pattern; Model checking; Partial order; Process algebra; Temporal logic

Indexed keywords

CODING PROCESS; DESIGN PATTERNS; GENERIC SOLUTIONS; PARTIAL ORDER; PROCESS ALGEBRAS; SEQUENCE DIAGRAMS; SOURCE CODES;

ALGEBRA; KNOWLEDGE ENGINEERING; MODEL CHECKING; TEMPORAL LOGIC;

SOFTWARE ENGINEERING;

EID: 77955363879     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. 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.
2. E.M Clarke, E.A. Emerson, A.P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems (TOPLAS), 8(2), April 1986.
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, Wiley, 36(1), pp. 27-71, Jan. 2006.
7. Jing Dong, Dushyant S. Lad and Yajing Zhao, DP-Miner: Design Pattern Discovery Using Matrix, the Proceedings of the Fourteenth Annual IEEE International Conference on Engineering of Computer Based Systems (ECBS), pages 371-380, Arizona, USA, March 2007.
8. Jing Dong, Tu Peng, Yajing Zhao, Model Checking Security Pattern Compositions, the Proceedings of the Seventh International Conference on Quality Software (QSIC), pages 80-89, USA, October 2007, IEEE CS Press.
9. Jing Dong, Yajing Zhao, and Tu Peng, Architecture and Design Pattern Discovery Techniques - A Review, Proceedings of International Conference on Software Engineering Research and Practice (SERP), pages 621-627, USA, June 2007.
10. E.A. Emersion and J.Y. Halpern. 'Sometime' and 'not never' revisited: On branching versus linear time temporal logic. Journal of the Association for Computing Machinery, 33(1):151-178, January 1986.
11. A.H. Eden and Y. Hirshfeld. Principles in formal specification of object-oriented architectures. Proceedings of the 11th CASCON, Toronto, Canada, November 2001.
12. Gamma E., Helm R., Johnson R. and Vlissides J. (1995). Design Patterns-Elements of Reusable Object-Oriented Software. Reading, Massachusetts: Addison- Wesley.
13. Peter C. Mehlitz, John Penix. Design for verification using design pattern to build reliable system. Proceeding of 6th workshop on component-based software engineering, 2003.
14. Tommi Mikkonen. Formalizing Design Pattern. Proceedings of the 20th International Conference on Software Engineering, pages 115-124, 1998.
15. Robin Milner. Communication and Concurrency. Prentice Hall, 1989.
16. Nija Shi and Ron Olsson. Reverse Engineering of Design Patterns from Java Source Code. The International Conference on Automated Software Engineering, Japan, Sept. 2006.
17. 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.
18. CWB-NC User's Manual. http://www.cs.sunysb.edu/~cwb/.
19. http://www.dofactory.com/Patterns/Patterns.aspx.
20. http://www.borland.com/us/products/together/index.html.
21. http://www.utdallas.edu/~jdong/papers/Observer.java.