Formal Description Of The Software Components And Retrieval

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 dufficult.Now it is hard to develop lagre and complicated software easily and timely,further more.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 applications system by reuse of one or more software component 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 sofeware 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.Based on the semantic basis, Proposing a formal method for the model of component-based description with extensible, Including functional description, interface description and the dependence of environment description, and retaining the component keywords, non-functional attributes description and so on. There are more advantages of the formal description than traditional methods. Compared to the traditional component description based on facet,the retrieval results of component Can largely reduced by using formal description method,and the retrieval result became more accurate than before,so the retrieval efficiency is raised.