Application Research On B Method And Component Technology In Formal Development Of Information System

The problem discussed in this paper comes from the ShannXi nature science foundation project—the research of formal method in developing information system.With the development of informatization, the new technology and idea are used to solve software crisis and improve the efficiency of software development. The component and formal method is the key to realize them and hot spot in software circle.The paper deals with product list report as two atomic components, describe question by formal method, then simply them by symbolic logic. The class system of atomic components in system requirement, called methods and attributions of components, is required after requirements are described by last formal method, then method clustering and function clustering are implemented based on them, therefore a set of atomic components is acquired. This is the method proposed in the paper which is based on requirement formalization.The paper summarizes and analyzes formal methods, and then proposes a software formalization development method. It is achieved by next steps: firstly transform specification from informal to formalization by B method; secondly refine, thirdly transform B specification to component by XML, fourthly test, finally transform from component to interface or pseudo code. These provide foundation for software component.The paper combines component and formal method to research in theory requirement formalization based on component and software development methods based on component and B method. They have acquired fruit to some extent.