An inexact model matching approach and its applications

Journal of Systems and Software

Volumn 67, Issue 3, 2003, Pages 201-212

  Zhuge, Hai ^a  

^a INSTITUTE OF COMPUTING TECHNOLOGY   (China)

Author keywords

Inexact retrieval; Matching; Model repository; Model reuse; Signature

Indexed keywords

FUNCTIONS; GRAPH THEORY; LARGE SCALE SYSTEMS; QUERY LANGUAGES;

INEXACT RETRIEVAL;

KNOWLEDGE BASED SYSTEMS;

EID: 0038825005     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(02)00130-9     Document Type: Article

References (26)

1. Batory D., O'Malley S. The design and implementation of hierarchical software systems with reusable components. ACM Trans. Soft. Engrg. Methodol. 1(4):1992;355-398.
2. Banker R.D., Kauffman R.J., Zweig D. Repository evaluation of software reuse. IEEE Trans. Soft. Eng. 19(4):1993;379-389.
3. Boisvert R.F., Howe S.E., Kahaner D.K. GAMS: A framework for the management of scientific software. ACM Trans. Math. Soft. 11(4):1985;313-355.
4. Devanbu P.et al. LaSSIE a knowledge-based software information system. Commun. ACM. 34(5):1991;35-49.
5. Devanbu P., Jones M.A. The use of description logics in KBSE systems. ACM Trans. Soft. Eng. Methodol. 6(2):1997;141-172.
6. Diaz M., Groz R. Formal Description Techniques V. 1993;65-80 North-Holland, Amsterdam, The Netherlands.
7. Ehrig H., Mahr H. Fundamentals of Algebraic Specification. Part I. 1985;Springer-Verlag, Berlin.
8. Felice P.D. Reusability of mathematical software: a contribution. IEEE Trans. Soft. Eng. 19(8):1993;835-843.
9. ISO, 1989. Information processing systems-open systems interconnection - LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. ISO8807.
10. Maarek Y.S., Berry D.M., Kaiser G.E. An information retrieval approach for automatically constructing software libraries. IEEE Trans. Soft. Eng. 17(8):1991;800-813.
11. Mili R., Mili A., Mittermeir R.T. Storing and retrieving software components: A refinement based system. IEEE Trans. Soft. Eng. 23(7):1997;445-460.
12. Neighbors J.M. The Draco approach to constructing software from reusable components. IEEE Trans. Soft. Eng. SE-10(5):1984;564-574.
13. Ostertag E.et al. Computing similarity in a reuse library system: An AI-based approach. ACM Trans. Soft. Eng. Methodol. 1(3):1992;205-228.
14. Paul S., Prakash A. A framework for source code search using program patterns. IEEE Trans. Soft. Eng. 20(6):1994;463-475.
15. Rajlich V., Silva J.H. Evolution and reuse of orthogonal architecture. IEEE Trans. Soft. Eng. 22(2):1996;153-157.
16. Ramamoorthy C.V., Garg V., Prakash A. Support for reusability in Genesis. IEEE Trans. Soft. Eng. 14(8):1998;1145-1153.
17. Termsinsuwan P., Cheng Z., Shiratori N. A new approach to ADT specification support based on reuse of similar ADT by the application of case-based reasoning. Informat. Soft. Technol. 38:1996;555-568.
18. Winstanley A.C., Bustard D.W. EXPOSE: Animation tool for process-oriented formal descriptions. Soft. Eng. J. 6:1991;463-475.
19. Wohlin C., Runeson P. Certification of software components. IEEE Trans. Soft. Eng. 20(6):1994;494-499.
20. Yau S.S., Tsai J.J. Knowledge representation of software component interconnection information for large-scale software modifications. IEEE Trans. Soft. Eng. 13(3):1987;355-361.
21. Zaremski A.M., Wing J.M. Signature matching: A tool for using software libraries. ACM Trans. Soft. Eng. Methodol. 4(2):1995;146-170.
22. Zaremski A.M., Wing J.M. Specification matching of software components. ACM Trans. Soft. Eng. Methodol. 6(4):1997;333-369.
23. Zhuge H. Inheritance rules for flexible model retrieval. Decision Support Syst. 22(4):1998;383-394.
24. Zhuge H. A problem-oriented and rule-based component repository. J. Syst. Soft. 50(3):2000;201-208.
25. Zhuge H. A knowledge grid model and platform for global knowledge sharing. Expert Syst. Appl. 22(4):2002;313-320.
26. Zhuge H. A knowledge flow model for Peer-to-Peer Team knowledge sharing and management. Expert Syst. Appl. 23(1):2002;23-30.