Skip to main content
SpringerLink
Log in
Book cover

OOIS 2001 pp 540–549Cite as

A Behavioral Analysis Approach to Pattern-Based Composition

  • Conference paper

Abstract

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. 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. 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. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1999.

    Google Scholar 

  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.

    Article  MATH  Google Scholar 

  7. E. M. Clarke and J. M. Wing. Formal Methods: State of the Art and Future Directions. ACM Computing Surveys, 28(4), December 1996.

    Article  Google Scholar 

  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. 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. 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. 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. 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. T. Mikkonen. Formalizing Design Pattern. ACM/IEEE ICSE’98, pages 115–124, 1998.

    Google Scholar 

  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. 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. D. Riehle. Composite Design Patterns. ACM OOPSLA’97, pages 218–228, October 1997.

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, University of Waterloo, Waterloo, Ontario, Canada

    Jing Dong, Paulo S. C. Alencar & Donald D. Cowan

Authors
  1. Jing Dong
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paulo S. C. Alencar
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Donald D. Cowan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Electrical and Computer Engineering, Faculty of Engineering, University of Calgary, Canada

    Xingxu Wang  & Ronald Johnston  & 

  2. School of Computing, Information Systems and Mathematics, South Bank University, 103 Borough Road, London, UK

    Shushma Patel

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag London Limited

About this paper

Cite this paper

Dong, J., Alencar, P.S.C., Cowan, D.D. (2001). A Behavioral Analysis Approach to Pattern-Based Composition. In: Wang, X., Johnston, R., Patel, S. (eds) OOIS 2001. Springer, London. https://doi.org/10.1007/978-1-4471-0719-4_55

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-0719-4_55

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-85233-546-5

  • Online ISBN: 978-1-4471-0719-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation