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

Active Publication Date: 2017-09-15
BEIHANG UNIV
View PDF3 Cites 11 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] In view of the above analysis, the present invention aims to provide an ontology-based RUCM model consistency checking method to solve the problem of inconsistency in the existing software requirements analysts writing software requirements

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Consistency checking method for RUCM model based on body
  • Consistency checking method for RUCM model based on body
  • Consistency checking method for RUCM model based on body

Examples

Experimental program
Comparison scheme
Effect test

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...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

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.

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...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G06F9/45
CPCG06F8/453G06F8/454
Inventor 刘超胡京徽杨海燕吴际
Owner BEIHANG UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap