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 to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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.
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.
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.
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.
G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1999.
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.
E. M. Clarke and J. M. Wing. Formal Methods: State of the Art and Future Directions. ACM Computing Surveys, 28(4), December 1996.
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.
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.
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.
E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns, Elements of Reusable Object-Oriented Software. Addison-Wesley Publishing Company, 1995.
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.
T. Mikkonen. Formalizing Design Pattern. ACM/IEEE ICSE’98, pages 115–124, 1998.
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.
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.
D. Riehle. Composite Design Patterns. ACM OOPSLA’97, pages 218–228, October 1997.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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