Title :
A formal method to software integration in reuse
Author :
Chu, William C. ; Yang, Hongji
Author_Institution :
Dept. of Inf. Sci., Feng Chia Univ., Taichung, Taiwan
Abstract :
Software reuse covers the whole process of identification, representation, retrieval, adaptation and integration of reusable software components. The utilization of current library techniques is important in such a software process. However, these approaches tend to be retrieval based and offer no formal assistance to software integration in reuse. We propose a semantic interface Predicate/Transition nets based formal method for reuse. In this method, software components are selected from a reuse library and automatically translated and integrated into the net model. Thus, software integration and adaptation problems are converted into problems in the corresponding net model. With this formal method, software reuse problems such as the detection of inconsistencies in component integration can be automatically revealed
Keywords :
formal specification; integrated software; reverse engineering; software libraries; software reusability; MIATAC-MA Prototype Tool; MIATAC-MA Reuse Formal Method; MIATAC-MA Specification Language; Predicate/Transition nets; adaptation problems; formal method; formal semantic interface analysis; library techniques; reusable software components; reuse library; reverse engineering; semantic interface; software components; software integration; software reuse; Application software; Computer languages; Humans; Information retrieval; Information science; Programming profession; Reverse engineering; Software design; Software libraries; Software reusability;
Conference_Titel :
Computer Software and Applications Conference, 1996. COMPSAC '96., Proceedings of 20th International
Conference_Location :
Seoul
Print_ISBN :
0-8186-7579-9
DOI :
10.1109/CMPSAC.1996.544588