Research And Implement Of Formal Requirement Analysis Method Based On Component Technique

The problem discussed in this paper comes from the ShannXi nature science foundation project ?the research of formal method in developing information system. The main task I take on is research and implement of requirement analysis and modeling methods, which is prior work of the project. It is well known that correct cognition about problem is the principal precondition of software development. Faced with different user-requirement, How to acquire the demand of object system and build the requirement model of it quickly and accurately has been a sticking point in software development. The traditional requirement analysis method has two difficulties. One is bad intercommunion between user and software developer, the other is too long periods in analysis system and building model. One and only way to solve these difficulties is improve existing development technique, rise formalization and engineering degree of requirement analysis, standardize the course of software develop, improve communion with using uniform symbol. Based on study the characteristic of modem manufacture enterprise, combining with formal method and component technique, the paper bring forward a suit of requirement analysis methods adapt to develop MIS software of manufacture enterprise in our country and apply the method to developing a experimental formal requirement analysis software based on component technique.