A Behavioral Analysis Approach to Pattern-Based Composition (2001)
Cached
Download Links
- [csgrs6k1.uwaterloo.ca]
- [www.utdallas.edu]
- [csgrs6k1.uwaterloo.ca]
- DBLP
Other Repositories/Bibliography
| Venue: | Proceedings of the 7th International Conference on Object-Oriented Information Systems (OOIS |
| Citations: | 8 - 5 self |
BibTeX
@INPROCEEDINGS{Dong01abehavioral,
author = {Jing Dong and Paulo S. C. Alencar and Donald D. Cowan},
title = {A Behavioral Analysis Approach to Pattern-Based Composition},
booktitle = {Proceedings of the 7th International Conference on Object-Oriented Information Systems (OOIS},
year = {2001},
pages = {540--549},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
