Multi-viewpoint Requirements Engineering, Formal Methods Research

In the software development process, It is increasingly clear understanding of the n-eeds of software engineering is the key of automation software. In traditional software requirement process, it is very hard to maintain a perfect specification by using traditional requirements engineering in requirements analysis for large software system.This paper introduces Viewpoint, multiple viewpoints and the ViewPoint template description, using templates to view material management system in the perspective of two different people to illustrate the description of the viewpoint can be described using a variety of methods. UML use case diagram, data conversion diagram (DFD), Z language. This paper will use formal methods Z language in the Viewpoint template description, with examples of material management system, which is given Z language descriptions of definitions and modalities, including procure-ment departments, required plan, new schemes, add new programs and how to find the plan was approved. In order to facilitate the integration of different styles and models describing the requirement model, introducing a concept, viewpoint agent, and acting viewpoint based on the concept of how to view material management system based on rule-based independent agents will be transformed into a state of intermediate language.The research of the Viewpoint template, the Description Language View, Viewpoint agent, we can arrive at more practical viewpoint in more efficient application of user needs, thereby creating demand for better specifications manuals, and the combination of formal methods, the method can be applied mathematical formulation and application. For intermediate language study is the different styles of requirement model describes the syntax and semantics combined with organic, and thus more conducive to the specification or requirement model of integration or testing.