Semi-Formal, not Semi-Realistic: A New Approach to Describing Software Components

  • E. James Montgomery
  • Rune Meling
  • Daniela Mehandjiska
Part of the The Kluwer International Series in Engineering and Computer Science book series (SECS, volume 732)


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.


Retrieval Method Classification Framework Component Description Component Provider Check Compatibility 
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.
    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. 2.
    D’Souza, D., Wills, A.: Catalysis - Practical Rigor and Refinement: Extending OMT, Fusion, and Objectory.
  3. 3.
    D’Souza, D., Wills, A.: Types, Behaviors, Collaborations, Refinement, and Frameworks: Input for OMG OOA&D Submission, (1996)
  4. 4.
    D’ Souza, D., Wills, A.: The Catalysis Book, (1998)
  5. 5.
    Fowler, M.: Analysis Patterns: Reusable Object Models. Addison-Wesley, Reading, MA (1997)Google Scholar
  6. 6.
    Frakes, W. B., Pole, T. P.: Proteus: A Reuse Library System that Supports Multiple Representation Methods. ACM SIGIR Forum 24 (1990) 43-55CrossRefGoogle Scholar
  7. 7.
    Mili, H., Mili, F., Mili, A.: Reusing Software: Issues and Research Directions. IEEE Transactions on Software Engineering 21 (1995) 528–562CrossRefGoogle Scholar
  8. 8.
    Mili, R., Mili, A., Mittermeir, R.: Storing and Retrieving Software Components: A Refinement Based System. IEEE Transactions on Software Engineering 23 (1997) 445–460.CrossRefGoogle Scholar
  9. 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. 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. 11.
    Wills, A., D’Souza, D.: Rigorous Component-Based Development. Trireme Object Technology & ICON Computing (1997)Google Scholar
  12. 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

Copyright information

© Springer Science+Business Media New York 2003

Authors and Affiliations

  • E. James Montgomery
    • 1
  • Rune Meling
    • 1
  • Daniela Mehandjiska
    • 1
  1. 1.School of Information TechnologyBond UniversityAustralia

Personalised recommendations