Research On The Validation Methods Of The C~4ISR System Requirements Consistency Based On The Multi-Views

Requirement development is the first phase in the development of C~4ISR system. It is the basis of following development phases, and the key factor to the success of development. Requirement validation is an important step in requirement development, and is of great necessity and importance. The requirements of C~4ISR system have some features such as the complexity of content, the distributed nature of process, the variety of methods, and so on. Compared to the requirements of software, requirement validation has special function and status in the process of the development of C~4ISR system requirement. However, there are still a series of problems in C~4ISR system requirement validation, the fundamental reason is the lack of uniform description specification and the research on consistency validation techniques. Therefore, this thesis aims at these problems, brings forward a C~4ISR system requirement description framework based on multiple views, researches the formal description technique for requirement products, sets up a C~4ISR system requirement consistency validation model, which is based on the multiple views and emphasize the validation method for static consistency and behavior consistency of C~4ISR system. The thesis also develops a prototype system supporting the C~4ISR system requirement description and consistency validation, verifies the basic theory and techniques in the thesis, which are used for C~4ISR system requirement consistency validation, with a typical case as the background.The main work of this thesis is listed as follows:(1) The thesis studies C~4ISR system requirements description framework based on multiple views.C~4ISR system requirements description framework is the necessary precondition of requirement development, requirement consistency validation and validation of some other aspects. The thesis analyzes the definition and characteristic of C~4ISR system requirements, introduce multi-view methodology to put forward a C~4ISR system requirements description framework, studies the composition of views in the framework and products of each view, puts forward the normative description methods of products of each view, and studies the relations between different requirement products in the framework.(2) The thesis studies C~4ISR system requirement consistency validation model based on multiple views.C~4ISR system requirement consistency validation model based on multiple views is the theoretical foundation of consistency validation method research. Firstly, the thesis studies the composition and relation of C~4ISR system requirement consistency validation model based on multiple views. Secondly, it puts forward definitions of the main concepts about C~4ISR system requirement consistency validation model. Thirdly, it studies the C~4ISR system requirement consistency validation content model from the aspects of syntactic, semantic static characteristics and behavior characteristics. Lastly, it studies the process model and brings forward the main phases of C~4ISR system requirement consistency validation and the tasks of each phase.(3) The thesis studies C~4ISR system requirement static consistency validation method.According to the relations of requirement factors, the thesis divides the C~4ISR system requirement static consistency into three types: interior relations consistency of requirement factors, direct and indirect relation consistency of different requirement factors collections. The thesis puts forward intensive definitions of three types of relations and their consistency. By building the corresponding model based on graph theory, it studies the consistency property of relations, and brings forward three static consistency validation methods with the assistance of graphic connectivity, directed path, accessibility et al.(4)The thesis studies the validation techniques for behavior consistency of C~4ISR system requirement.Behavior consistency of C~4ISR system is the consistency of requirements which reflect the system behaviors as time evolves. Firstly, the thesis analyzes the content of behavior consistency of C~4ISR system requirement, researches the theory of behavior consistency validation based on executable model. Secondly, it analyzes the extense form of basic state chart, researches the grammar rules and formal description method of the transition-oriented state chart (TO_StateChart for short). Lastly, it brings forward the method for transforming TO_StateChart to Object Petri Net model, and based on executable model, researches the method of validation for behavior consistency between the state chart and sequence diagram.(5)The thesis designs a prototype system and analyzes a case.Firstly, it analyzes the main function of the prototype system which supports requirement description and consistency validation, designs the architecture of the system, and implements the prototype system which is the platform to verify the theory and techniques in the thesis. Secondly, it uses the requirement development of a group army(division) level anti-air command information system as background, with the support of prototype system, describes the requirement products based on the C~4ISR system requirement description framework, validates the static consistency and behavior consistency of the requirements, and verifies the requirements consistency validation techniques.By doing the listed researches, the thesis elementarily solves the normative description problem of C~4ISR system requirement, and systematically solves the problem of consistency validation for C~4ISR system requirement. These researches have some academic and practical significance for improving the capability to analyze the C~4ISR system requirement and the quality of C~4ISR system requirement development.