OOIS 2001 pp 540-549 | Cite as

A Behavioral Analysis Approach to Pattern-Based Composition

  • Jing Dong
  • Paulo S. C. Alencar
  • Donald D. Cowan


This paper introduces a rigorous analysis approach to software design composition based on automated verification techniques. We show how to represent, instantiate and integrate design components, and how to find design composition errors using model checking techniques. We illustrate our approach with a Web-based hypermedia case study since hypermedia documents and systems are now becoming complex software applications, which are component-based.


Model Check Design Pattern Behavioral Aspect Design Component Liveness Property 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    A. Abdurazik and J. Offutt. Using UML Collaboration Diagrams for Static Checking and Test Generation. Proceedings of UML, LNCS1939, Springer-Verlag, pages 383–395, 2000.Google Scholar
  2. 2.
    P. Alencar, D. Cowan, J. Dong, and C. Lucena. A Pattern-Based Approach to Structural Design Composition. Proceedings of the IEEE 23 rd CO MP SAC, pages 160–165, 1999.Google Scholar
  3. 3.
    P. Alencar, D. Cowan, and C. Lucena. A Formal Approach to Architectural Design Patterns. The Third International Symposium of Formal Methods Europe, pages 576–594, 1996.Google Scholar
  4. 4.
    D. Batory and B. Geraci. Validating Component Composition in Software System Genera¬tors. Proceedings of the International Conference on Software Reuse, pages 72–81, 1996.Google Scholar
  5. 5.
    G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1999.Google Scholar
  6. 6.
    E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic Verification of Finite-State Con¬current Systems Using Temporal Logic Specifications. ACM TOPLAS, 8 (2): 244–263, 1986.MATHCrossRefGoogle Scholar
  7. 7.
    E. M. Clarke and J. M. Wing. Formal Methods: State of the Art and Future Directions. ACM Computing Surveys, 28(4), December 1996.CrossRefGoogle Scholar
  8. 8.
    J. Dong, P. Alencar, and D. Cowan. A Behavioral Analysis Approach to Pattern-Based Composition. Technical Report CS-2001-18, Comp. Sci. Dept., Univ. of Waterloo, 2001.Google Scholar
  9. 9.
    G. Florijn, M. Meijers, and P. van Winsen. Tool Support for Object-Oriented Patterns. Pro-ceedings of the 11th ECOOP, pages 472–495, June 1997.Google Scholar
  10. 10.
    B. Fraser,J. Roberts, G. Pianosi,P. Alencar, D. Cowan, D. German, and L. Nova. Dynamic Views of SGML Tagged Documents. Proceedings oftheACMSIGDOC, pages 93–98, 1999.Google Scholar
  11. 11.
    E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns, Elements of Reusable Object-Oriented Software. Addison-Wesley Publishing Company, 1995.Google Scholar
  12. 12.
    R. K. Keller and R. Schauer. Design Components: Towards Software Composition at the Design Level. Proceedings of the 20th ACM/IEEE ICSE, pages 302–311, 1998.Google Scholar
  13. 13.
    T. Mikkonen. Formalizing Design Pattern. ACM/IEEE ICSE’98, pages 115–124, 1998.Google Scholar
  14. 14.
    1O. Nierstrasz and L. Dami. Component-Oriented Software Technology. Object-Oriented Software Composition, ed. O. Nierstrasz and D. Tsichritzis, Prentice Hall, pages 3-28,1995.Google Scholar
  15. 15.
    Y. Ramakrishna, C. Ramakrishnan, I. Ramakrishnan, S. Smolka, T. Swift, and D. Warren. Efficient Model Checking Using Tabled Resolution. Proceedings of the 9th CAV, Haifa Israel, LNCS1243, Springer-Verlag, July 1997.Google Scholar
  16. 16.
    D. Riehle. Composite Design Patterns. ACM OOPSLA’97, pages 218–228, October 1997.Google Scholar
  17. 17.
    G. Rossi, D. Schwabe, and A. Garrido. Design Reuse in Hypermedia Applications Devel¬opment. Proceedings of ACM International Conference on Hypertext, pages 57–66, 1997.Google Scholar

Copyright information

© Springer-Verlag London Limited 2001

Authors and Affiliations

  • Jing Dong
    • 1
  • Paulo S. C. Alencar
    • 1
  • Donald D. Cowan
    • 1
  1. 1.Computer Science DepartmentUniversity of WaterlooWaterlooCanada

Personalised recommendations