Semi-Formal, not Semi-Realistic: A New Approach to Describing Software Components
A new semi-formal method for describing and retrieving components has been devised, implemented and validated through the development of a component description manager. A new classification framework which allows component providers to describe components in a semi-formal but consistent way is proposed. The component descriptions are stored in a repository, and component consumers can use the same framework to define their requirements when searching for components. The framework is semi-formal and focuses on ease of use for the component providers and consumers. It aims to provide a level of accuracy and consistency close to that achieved by formal methods, without the same level of complexity.
KeywordsRetrieval Method Classification Framework Component Description Component Provider Check Compatibility
Unable to display preview. Download preview PDF.
- 1.Brown, A.: From Component Infrastructure to Component-Based Development. Proceedings of the 20th ICSE International Workshop on Component-Based Software Engineering, Kyoto, Japan (1998)Google Scholar
- 2.D’Souza, D., Wills, A.: Catalysis - Practical Rigor and Refinement: Extending OMT, Fusion, and Objectory. http://iconcomp.com/papers/catalysis/catalysis.frm.html.(1995)
- 3.D’Souza, D., Wills, A.: Types, Behaviors, Collaborations, Refinement, and Frameworks: Input for OMG OOA&D Submission, http://iconcomp.com/papers/omg-ooad/omg-rfp-2.pdf (1996)
- 4.D’ Souza, D., Wills, A.: The Catalysis Book, http://www.trireme.com/catalysis/book/ (1998)
- 5.Fowler, M.: Analysis Patterns: Reusable Object Models. Addison-Wesley, Reading, MA (1997)Google Scholar
- 9.Ning, J. Q.: CBSE Research at Andersen Consulting. Proceedings of the 20th ICSE International Workshop on Component-Based Software Engineering, Kyoto, Japan (1998)Google Scholar
- 10.Seacord, R. C, Hissam, S. A., Wallnau, K. C: Agora: A Search Engine for Software Components. Technical Report CMU/SEI-98-TR-011, Software Engineering Institute, Carnegie Mellon University (1998)Google Scholar
- 11.Wills, A., D’Souza, D.: Rigorous Component-Based Development. Trireme Object Technology & ICON Computing (1997)Google Scholar
- 12.Zaremski, A., Wing, J. M.: Specification Matching of Software Components. Proceedings of the 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering (1995) 6–17Google Scholar