Research Of Component Library Based On Formal Description

As the quick development of information technique, computer software has got everywhere of our social life. While the scale of software is going to be bigger and has more complicated functions, the control of cost,progress and quality comes to be more difficult.Now, it is hard to develop large and complicated software easily and timely, further more, usually, there are too many modifications on the software. So, how to reuse the successful software project to development software with high quality and short time is a hotspot in software field.CBSE/CBD, a process of creating efficient application system by reuse of one or more software components in reusable software component library, is a new style of software development that improves software development efficiency and quality.As going deep into the study of the software reuse, the accurately describing of software component and high efficiency of component retrieving are become the hotspot and nodus of the studying of the software reuse. In this article, by the reference of 3C model of software component, int the third chapter we put forward a formable, extensible describe model of component, including function description, interface description, environment description, etc, and we keep the keyword list and unfunctional attribute description. Based on the description, in the fourthly chapter we bring forward a multiple steps searching method of component, and emphasized on the discussion of the four levels of fuzzy searching of component, in order to raise the efficiency of the component searching and take care of the full-scale of the searching results.At last, we practised and discussed the theory of chapter three and four through a demo system, SCRDEM, and analyzed the result of our experimentation.