Component-based Formal Development For Reuse

Component has standardized interface, platform independence and the ability of interoperation.It can improve the efficiency of software development and usage.To solve the problem of too many inefficient reused work, This paper classifies component systematicly on the level of concept according to software formal specification. It researches on most optimum combination for software reuse, then proposes software component architecture design and validates feasibility and correctness of component formal development through an example. Including:(1) Formal components model and specification. It divides component into external connector, component and integrated operator. It specifies component syntax and semantics using B language and establishes component formal model. Component formal specification is formed by defining interface and attribute of component object. It verifies feasibility of software system which is formed by external connector, integrated connector and component.(2) Most optimum component combination based on multi-attribute utility function. During component-based software development, a variety of non-comparable factors must be considered in the field of component combination. It introduces multi-attribute utility function. It will change objective function or guidelines which can't be compared with to a single objective function. Combining with AHP method, it can achieve component optimization. At last,it is verified efficienctly.(3) Design of software component architecture. According to the four important analysis of architecture modeling, background modeling, interface definition and interface modeling, it supposes the design of software component architecture and is applied to "Digital Bank" design.The research result shows that formal component-based software reuse development technique can build the target system efficiently and quickly. What's more, it provides a feasible way to solve software crisis.