Consistency checking method for RUCM model based on body

A checking method and consistency technology, applied in the field of RUCM modeling, can solve problems such as inconsistencies in requirements

CN107168762AActive Publication Date: 2017-09-15BEIHANG UNIV
3 Cites 11 Cited by

Patent Information

Authority / Receiving Office
CN · China
Patent Type
Applications(China)
Current Assignee / Owner
Publication Date
2017-09-15

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
  • Figure 3
    Figure 3
Patent Text Reader

Abstract

The invention relates to a consistency checking method for an RUCM model based on a body. The method comprises the following steps: modeling domain knowledge to form a domain body model containing domain concepts, relations among the domain concepts and associated attributes of the domain concepts; with core concepts in a body library, establishing and analyzing mapping relations from related concepts in the body library to concepts of the RUCM model; and finally, checking a non-uniformity defect in the RUCM model according to the uniformity rule by definition. The RUCM model supporting checking of a body model is designed in an extended manner. An algorithmic tool for uniformity checking of the RUCM model is provided based on the body. The consistency checking method for an RUCM model based on the body has the following beneficial effects: non-uniformity is avoided when field knowledge is utilized for rapidly and efficient examination of demands; meanwhile, repeated labor is solved; and accuracy and integrality of demands are provided.
Need to check novelty before this filing date? Find Prior Art

Description

technical field

[0001] The invention relates to the technical field of RUCM modeling, in particular to an ontology-based RUCM model consistency checking method. Background technique

[0002] Most software requirements specifications are written in natural language. In the software requirements specification document, most domain concepts are defined and described by natural language, and the specific requirement items of software requirements are also written by natural language. Therefore, in these requirement descriptions, there are often ambiguous or ambiguous expressions. Such uncertain expressions often lead to disagreements and misunderstandings in different projects, which may lead to the failure of software projects. When writing software requirements specifications, in addition to using the traditional pure natural language description, a structured use case description template (RUCM modeling) based on rule-constrained natural language is also widely used. The me...

Examples

Embodiment Construction

[0032] Preferred embodiments of the present invention will be specifically described below in conjunction with the accompanying drawings, wherein the accompanying drawings constitute a part of the application and are used together with the embodiments of the present invention to explain the principles of the present invention.

[0033] The invention discloses a method for checking the consistency of a requirement model in order to automatically solve the related problems of the inconsistency of the current software requirements and the violation of the software requirements and domain knowledge. The method analyzes the consistency and completeness of the software requirements including the requirement text described in the natural language and the use case requirements described in the RUCM model in combination with the domain knowledge expressed by the ontology model. The ontology is a specific abstract expression of the knowledge contained in the domain.

[0034] The consist...