Computer and Modernization

Previous Articles     Next Articles

Ontologybased Consistency Verification of Conceptual Architecture Derivation

  

  1. 1. College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China;

    2. Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing 210016, China
  • Received:2016-12-26 Online:2017-08-31 Published:2017-09-01

Abstract:

In the software product line engineering, the feature model is used to automatically derive the conceptual architecture. However, it is the main factor to reduce the
export efficiency whether manual detection concept architecture is consistent with the demand expression or not. In order to assist designers to carry out efficient conceptual
architecture derivation, this paper proposed an ontologybased method for consistency verification. Firstly, the paper modeled the conceptual architecture metamodel. On the
basis of this, the conceptual architecture ontology model was constructed and the corresponding reasoning rules were proposed. Then in the process of deriving the conceptual
architecture, the ontology was used to describe it. After that the SWRL language is used to convert the inference rules of the natural language description into the data format
which can be recognized by the ontology reasoning machine. Finally, the rule file and ontology description file were imported into the Jena inference engine to verify the
consistency. In this paper, a case of VOIP system is described in detail, which verifies the feasibility of the method, and compares the advantages and disadvantages of the
method in theory with other common consistency verification methods.

Key words: ontology, conceptual architecture, consistency verification, feature model, Jena inference

CLC Number: