Research On The Method Of Architecture Verification Based On Ontology Inference

Architecture is a high-level abstraction to C4 ISR system, and it is also the basis of the system integration and acceptance. The correctness of architecture design directly affects the quality of the system design and implementation. The high-quality architecture can reduce system errors and the high price during the maintenance phase. Therefore, architecture verification becomes an important research direction, and through architecture validation we can find and improve the unreasonable and even contradictory design in time to improve the quality of system design.The main purpose of this paper is to put forward a kind of systemic, feasible and current method of architecture verification using ontology inference technology based on DM2(Do DAF 2.0 Meta-Model). This paper embarks from the ontology inference technology, makes the method of architecture verification as the research content, and researches mostly the consistency and completeness and accessibility of architecture verification. The main content of this paper is divided into the following several aspects:(1) Put forward the method of architecture verification based on ontology inferenceThis paper analyzes the correlation definition and technology about architecture verification and DM2, puts forward the theory basis and technology advantages of ontology inference based on rules and researches the feasibility of this method in theory.(2) The method of OWL(Ontology Web Language) describing the data of architectureBased on ontology technologies, this part analyzes the specification description of architectural design based on DM2, builds the method of using the OWL ontology language to describe DM2, and constructs ontology model according to the method. And then according to the physical exchange as provided in the Do DAF 2.0, this paper maps the XML data format to the OWL data format, and according to the method describes architecture design data as ontology instances, provides technical basis for architecture verification based on ontology inference technology.(3) The method of establishing ontology inference rulesThis part puts forward the method of establishing ontology inference rules according to the expressing method of the rules and architecture validation content based on the meta-model and the principles of ontology inference, establishes the rules set of the consistency, completeness and accessibility of architecture verification, and provides operational basis for ontology inference.(4) The implementation of architecture verification based on ontology inferenceAccording to the architecture verification procedures, this part establishes a related case to analyze for an OWL file and a rule file, and analyzes the results combining with the Jena inference interfaces to the realization of the program code to get the results of architecture verification and researches the feasibility of this method in practice.