Research Of Application On Component-based Formal Method On Software Development

Component-based software development is an important method to improve software productivity and quality, and solve software crisis. It is a research focus of the area of software reuse, and its key technology is the software architecture and component model. It is the other way to solve software crisis how to establish a strict mathematical methods to conduct formal software development. It is an important direction of software development that how to combine component-based software development and formal methods.Component-based software development lacks rigorous mathematical reasoning, and has no formal specification. Most of the development process is described using natural language. So this paper presents a component-based formal software development model. It focuses on formal requirements analysis, software architecture of design phase and formal component model and interaction. Requirements analysis is inaccurate and ambiguous in the traditional software development. The paper expands formal requirements analysis using the Z language, and describes it through examples. It has capacity to eliminate ambiguity and inconsistency of requirements analysis. Requirements analysis is concerned about how to describe the problem space, while software architecture concerned about how to describe the solution space, so it is a problem that how to get software architecture from requirements analysis. The paper presents a method to implement it based on function and three-tier development framework. Because of lack of component behavior and interaction protocol in its interface definition for this stage, the paper defines components, connectors and a semantic of component interactive. The definition enhances description capacity of information of component interface. Finally, the component-based formal software development model is applied to development of office supplies management system of a OA system of some company. The results show that the model has a certain feasibility, applicability, and practical value.