CN107168762A - A kind of RUCM model consistency inspection methods based on body - Google Patents
A kind of RUCM model consistency inspection methods based on body Download PDFInfo
- Publication number
- CN107168762A CN107168762A CN201710366026.1A CN201710366026A CN107168762A CN 107168762 A CN107168762 A CN 107168762A CN 201710366026 A CN201710366026 A CN 201710366026A CN 107168762 A CN107168762 A CN 107168762A
- Authority
- CN
- China
- Prior art keywords
- rucm
- concept
- model
- models
- storehouse
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/45—Exploiting coarse grain parallelism in compilation, i.e. parallelism between groups of instructions
- G06F8/453—Data distribution
- G06F8/454—Consistency
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/45—Exploiting coarse grain parallelism in compilation, i.e. parallelism between groups of instructions
- G06F8/453—Data distribution
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
Abstract
The present invention relates to a kind of RUCM model consistency inspection methods based on body, it the described method comprises the following steps：Domain knowledge is modeled, the domain body model for including the association attributes of relation and field concept between field concept, field concept of formation；With reference to the key concept in ontology library, set up and analysis ontology library related notion to the mapping relations between RUCM model concepts；Rule of consistency finally according to definition carrys out defect inconsistent present in checking R UCM models.The present invention devises the RUCM models of extension support body pattern checking；A kind of algorithmic tool of the RUCM model consistency inspection methods based on body is provided.The present invention, which is solved, utilizes defect inconsistent in domain knowledge quickly and efficiently demands on examination；Simultaneously can solve repeat work there is provided the accuracy of demand and integrality.
Description
Technical field
The present invention relates to RUCM modeling techniques field, more particularly to a kind of RUCM model consistency reviewing parties based on body
Method.
Background technology
Most software requirements specification is write by natural language.In Software Requirement Specification document,
Most of field concept is defined and described by natural language, and the real needs of software requirement are also by natural language
Write.Therefore, in these requirement descriptions, often there is equivocal or unclean statement, this uncertain table
State and difference and misunderstanding often occur in disparity items, it is more likely that cause the failure of software project.Writing software requirement
During specification, in addition to using the form of traditional pure natural language description, a kind of rule-based constraint natural language
The method of structuring use case description template (RUCM modelings) is also widely used.It the method define description software requirement convention
Then template, is natural language description to the descriptive item included in specific regular description template.In RUCM (Reatricted
Use Case Modeling) in modeling method, requirement description is retouched using having conditional natural language and use-case protocol template
State.Because software requirement analysis teacher is during using RUCM modeling methods, lack the understanding to the domain knowledge of software requirement,
The related mistake in inconsistent field often occurs in the Software Requirement Specification eventually formed.For same function, no
With software requirement analysis teacher, according to Asymmetry information of the understanding of the domain knowledge to software requirement etc. and incomplete, finally write
The software requirement document write may have very big inconsistence problems.
The content of the invention
In view of above-mentioned analysis, the present invention is intended to provide a kind of RUCM model consistency inspection methods based on body, are used
The problem of demand is inconsistent present in software requirement is being write to solve existing software requirement analysis teacher.
Methods described combination ontology model expression domain knowledge, demand text of the analysis bag containing natural language description and
Uniformity, the integrality of the software requirement of the use-case demand of RUCM models description.The body is the knowledge to being included in field
Carry out specific abstract expression.On computer science research field, the ontology model is according between the concept in field, concept
Relation, concept attribute take out reality model.
The purpose of the present invention is mainly achieved through the following technical solutions：
Comprise the following steps：
Step S1, set up ontology model storehouse for RCUM model testings；
Ontology model storehouse in step S2, establishment step S1 forms relationship map to the concept mapping relations of RUCM models
Template；
Step S3, according to the step S2 mapping relations set up corresponding consistency check rule is defined, pass through rule
It is inconsistent described in automatic detection RUCM demands, so as to form corresponding assessment report.
The step S1 includes following sub-step：
Step S101, the background material by analysis field correlation, form abstract field concept, build field correlation
Ontological concept storehouse；
Step S102, the destination software systems realized with reference to required for software requirement domain background analysis key concept it
Between relation, obtain ontological relationship storehouse；
Step S103, according to the relation between the key concept of field, addition field concept particular community obtains Ontological concept
Attribute library；
Step S104, according to above-mentioned Ontological concept storehouse, ontological relationship storehouse and Ontological concept attribute library, form ontology model
Template set, template set is then integrally formed the ontology model storehouse i.e. field ontology library for RUCM model testings.
The step S2 includes following sub-step：
Step S201, the key concept attribute for determining and marking body；
Step S202, identification and marking software demand concept；
Step S203, on the basis of the key concept attribute and the concept of software requirement for having marked body, obtain both
Between the rule of correspondence.
The step S3 includes following sub-step：
Step S301, according to the step S2 mapping relations set up define corresponding consistency check rule；
The algorithm of the corresponding analysis demand of step S302, design, automatically forms corresponding assessment report.
The present invention is extended to traditional RUCM models.For including three dvielements in ontology model：Concept, concept
Between relation and concept attribute, separately designed extension support body pattern checking RUCM models, formed OntoRUCM
(Ontology-based RUCM) model.
The modeling tool framework of the OntoRUCM models has been multiplexed three of Eclipse IDEs in basal layer
Technology.First, Framework reuse Eclipse workbench, function includes providing fundamental figure interface element and file resource pipe
Manage function, i.e. Workbench UI and two Eclipse nucleus modules of Workspace；Second, Framework reuse Eclipse's
Developing plug environment PDE, to realize the dynamic expansion function of meta-model aspect and editing machine aspect；3rd, Framework reuse
Eclipse modeling frameworks EMF partial function, with the compatibility of implementation model file and other instruments.OntoRUCM models exist
Extension layer provides corresponding extension class libraries, the extension point for increasing consistency check.The editing machine layer of the superiors is then used
Editing machine and the separate framework mode of plug-in unit, ultimately form the design overall architecture of OntoRUCM models.
The present invention has the beneficial effect that：
The present invention defines demand model to the definition of the mapping relations of body by the RUCM users extended, specify that inspection
The related key property of rule, the demand of user is examined using domain knowledge；Standardize RUCM software requirements uniformity and
The inspection method of integrality, the means that an automation is realized are provided for the consistency detection means of software requirement.
Other features and advantages of the present invention will be illustrated in the following description, also, the partial change from specification
Obtain it is clear that or being understood by implementing the present invention.The purpose of the present invention and other advantages can be by the explanations write
Specifically noted structure is realized and obtained in book, claims and accompanying drawing.
Brief description of the drawings
Accompanying drawing is only used for showing the purpose of specific embodiment, and is not considered as limitation of the present invention, in whole accompanying drawing
In, identical reference symbol represents identical part.
Fig. 1 is the RUCM model consistency checking process figures based on body
Fig. 2 sets up procedure chart for field ontology library
Fig. 3 is OntoRUCM Requirements Modeling Tool Framework FIGUREs
Fig. 4 is the regular instrument implementation figure of the RUCM model consistencies based on body
Embodiment
The preferred embodiments of the present invention are specifically described below in conjunction with the accompanying drawings, wherein, accompanying drawing constitutes the application part, and
It is used for the principle for explaining the present invention together with embodiments of the present invention.
The present invention solves what the inconsistent and software requirement and domain knowledge of current software requirement were disagreed to automate
Relevant issues, disclose a kind of inspection method of demand model uniformity.Know in the field of methods described combination ontology model expression
Know, the uniformity of the software requirement of the use-case demand of demand text and RUCM model description of the analysis bag containing natural language description,
Integrality.The body is to carry out specific abstract expression to the knowledge included in field.
The consistency checking method that the present embodiment is provided, as shown in figure 1, comprising the following steps：
Step S1, set up ontology model storehouse for RCUM model testings.
The specific establishment step in the ontology model storehouse, as shown in Fig. 2 including following sub-step：
Step S101, the background material for passing through analysis field correlation, form abstract field key concept, build field phase
The Ontological concept storehouse of pass.
The project of usual soft project can be along with use substantial amounts of specific area relevant knowledge and concept.The field of standard
Material includes introducing the textbook of the domain knowledge, relevant criterion collected works, specification etc. in field.Such as：Embedded OS phase
Close, it is necessary to the textbook in operating system field, wikipedia and correlation standards and norms analyze, draw operation
The key concept of system regions, such as process, thread and subregion etc..It is general that the abstract key concept drawn builds the related body in field
Read storehouse.
Being formed for Ontological concept storehouse can be using NLP processing extraction concept and by the way of manually adding concept.
Step S102, the destination software systems realized with reference to required for software requirement domain background analysis key concept it
Between relation, obtain ontological relationship storehouse.
Ontological relationship storehouse describes dependence mutual between key concept in field.Such as embedded OS, it is somebody's turn to do
Field has than more typical relation：The resource associations relation between use call relation, process and operating system between function,
Kernel can include subregion, and this "comprising" is exactly relation of kernel and subregion etc..
Step S103, according to the relation between the key concept of field, addition field concept particular community obtains Ontological concept
Attribute library.
Concept attribute is the additional information of concept, plays the explanation to concept and supplementary function, for for check consistency
Additional information and standard is provided.For example, in operating system field, to attribute as process addition " required ", represent into
Journey is all important key concept in all operating systems.Graphical interfaces not operating system is required for what is possessed, so
Graphical interfaces can be added to attribute as " nonessential ", expression graphical interfaces is that the attached core of operating system is general
Read.
Step S104, according to above-mentioned Ontological concept storehouse, ontological relationship storehouse and Ontological concept attribute library, form ontology model
Template set, template set is then integrally formed the ontology model storehouse i.e. field ontology library for RUCM model testings.
The ontology model of expression domain knowledge used in the present invention is general comprising field concept, field concept relation and field
Read these three parts of attribute.
According to the features of the present invention, there is the method set up and represented the need for the final ontology library of formation.Present invention design
The Ontological concept element of foundation can use template representation in following table.So as to form the view of ontology model.
The ontology element of table 1 is enumerated
| Concept node | Related notion in description field |
| Relation between concept | Relation between concept is described |
| Concept node attribute | Other attributes of concept node are described, are derived for software requirement analysis |
Ontology model storehouse in step S2, establishment step S1 forms relationship map to the concept mapping relations of RUCM models
Template.
Specifically include following sub-step：
Step S201, the key concept attribute for determining and marking body.
For all financial resourcess concept in domain body, not all concept is all of equal value, in specific software requirement,
Need to mark different attributes between different concepts, for distinguishing work of the concept defined in body in software requirement concept
With.
Step S202, identification and marking software demand concept.
The RUCM use-cases of one software requirement are more complicated, not only the data flow including demand, also comprising data processing
Between controlling stream.So, take extension RUCM semantic this mode, by RUCM use-cases using or occur concept pass through
The mode of extension is marked.
Step S203, on the basis of the key concept attribute and the concept of software requirement for having marked body, obtain both
Between the rule of correspondence.
The rule of correspondence has following two mode：
1. described in ontology model completely the same can be determined that of concept word of concept and the software requirement be with without exception
Read；
2. described in concept in ontology model between concept in relation and software requirement context in verb many places occur
Unanimously it can be determined that on very big probability be statistic concept, the present invention is recognized using the instrument of current conventional natural language participle.
The present invention is extended to traditional RUCM models.In view of including three dvielements in ontology model：It is concept, general
Relation and concept attribute between thought.The RUCM moulds of extension support body pattern checking have been separately designed for this three dvielement
Type, the RUCM models after extension are called OntoRUCM (Ontology-based RUCM) later.Wrapped in the OntoRUCM models
Containing the support to concept identification in body, the attached template of annex template can be extended for concept in body, template is included
The description of name, concept, the dependence of concept and the concept of specifically used concept are quoted for the node of body in RUCM.For
The extension of concept in body is shown in Table 2.Add after the OntoRUCM templates, can be general by the field used in RUCM templates
Read and ontology model associate, such software requirement can as body discriminance analysis foundation.The OntoRUCM moulds
Plate is needed comprising the support to the relation recognition between concept in body, it is necessary to which the relation of concept identification is labeled.Mark
Good template can serve as the basis of characterization of the derivation of relation in body, expands with reference to the RUCM based on body in table 2 and regards
Scheme OntoRUCM templates to represent the mapping relations in body.
The extension of RUCM model analysis based on ontology model adds the availability of the OntoRUCM model extensions.
The OntoRUCM templates that table 2 extends
Correspondence RUCM modeling methods have had related personnel to do specific research and the realization of instrument.Carried in the present invention
The OntoRUCM models gone out are the extensions of traditional RUCM modeling methods, not only include the annex extension for template, also require
User increases the mark of Ontological concept while RUCM demands are write.This actual tool is write according to framework in Fig. 3 come real
It is existing, as shown in Fig. 2 the modeling tool framework of OntoRUCM models has been multiplexed the three of Eclipse IDEs in basal layer
Item technology.First, Framework reuse Eclipse workbench, function includes providing fundamental figure interface element and file resource
Two Eclipse nucleus modules of management function, i.e. Workbench UI and Workspace；Second, Framework reuse Eclipse
Developing plug environment PDE, to realize the dynamic expansion function of meta-model aspect and editing machine aspect；3rd, Framework reuse
Eclipse modeling frameworks EMF partial function, with the compatibility of implementation model file and other instruments.OntoRUCM models exist
Extension layer provides corresponding extension class libraries, the extension point for increasing consistency check.The editing machine layer of the superiors is then used
Editing machine and the separate framework mode of plug-in unit, ultimately form the design overall architecture of OntoRUCM models.
Step S3, according to the step S2 mapping relations set up corresponding consistency check rule is defined, pass through rule
It is inconsistent described in automatic detection RUCM demands, so as to form corresponding assessment report.
Specifically include following sub-step：
Step S301, according to the step S2 mapping relations set up define corresponding consistency check rule.
The RUCM models of software requirement contain the concept in software requirement to the reference of ontology model in the present invention, then
Use the rule of correspondence of Ontological concept to software requirement.Such analysis rule mainly includes the definition of following correlation properties：
Uniformity.The uniformity refers in same field, a concept, or two or more same concept terms
It can not be confused and use, the standard full name of such as one concept, and its abridge, and a variety of different alias or translated name can not be mixed
Confuse and use.The relation that the concept differed is quoted when in use must be consistent.
Integrality.The integrality description refers to whether the key concept in field is fully set forth in software requirement.
Meanwhile, the relation for not adding concept simultaneously using concept in software requirement can also be considered as imperfect.
Index based on ontology model analysis software demand includes the uniformity and integrality of demand, and two inspections refer to
Mark is built upon in consistency check rule and integrity check rule.
1. software requirement rule of consistency
The uniformity of software requirement describes same concept in field and can not be confused in software requirement to use, and differs
The relation quoted when in use of concept must be consistent.
● inconsistent vocabulary can not occur when in use in the identical concept of ontology model, RUCM models
● the conceptual relation of ontology model, RUCM models can not be misapplied when in use
● in RUCM models to the reference of identical concept in ontology model must stipulations completely to a class
2. software requirement integrity rule
Domain knowledge described in body, which can mark out the complete or collected works of the key concept in specific area, to be come.Ontology model
In field concept there are different attributes.
● the field concept quoted in RUCM models, it should be all defined in domain body
● concept has to complete reference when in use in the relation stream of concept, RUCM models in ontology model.
Because domain body is that, to the abstract of all key concepts of specific area, and demand information storehouse is to system requirements
Expressed content it is abstract.It is described two it is abstract among to set up during corresponding parser can just detect system requirements
Defect and deficiency.
The regular principle of analysis software demand is mainly the uniformity for containing inspection demand and examines the complete of demand
The rule of property.
The rule of the uniformity of the demand is mainly solve that demand information storehouse occurred in using domain body same
Concept is necessarily ensuring that concept is not misapplied, and prevents the confusion of concepts in demand information storehouse.
It is required in requirement documents that the rule of the integrality of the demand is mainly the key concept solved in domain body
Have correlation description, otherwise, it is believed that requirement documents just for field specific part, without integrality.
The rule of the demand can also be refined and perfect in follow-up work.
The algorithm of the corresponding analysis demand of step S302, design, automatically forms corresponding assessment report.
Based on the dependency rule of the analysis demand, the present invention devises the algorithm of corresponding analysis demand, is establishing
Domain body and demand information storehouse in analyze, it is inconsistent described in automatic detection RUCM demands, so as to form corresponding
Assessment report.The demand information storehouse is included to free text demand and this two classes software requirement extraction life of RUCM demand models
Into demand information set.
The algorithm of the analysis demand uses following three step：
1. a pair demand information storehouse is traveled through, the demand not being inconsistent normally is searched.
2. a pair domain body is traveled through, incomplete demand in demand information storehouse is searched.
3. count the demand found and generate the report of corresponding analysis demand.
The algorithm of the analysis demand can also enter in follow-up according to the details of specific ontology model and demand information storehouse
Row optimization.
The instrument that the present invention provides a kind of algorithm for the related needs realizes design embodiments, as shown in figure 4,
The input of the algorithmic tool is software requirement and domain body；
The software requirement includes free text demand and RUCM models；
The free text demand is the summary for demand in each requirement item, and rule base is predefined verification rule
Then, rule and the User Defined rule included in rule base is together parsed in rule parsing device, then verifies text rule
Free text demand after the analysis filtering of definer output；
It is general that the half formalization demand that the free text demand is exported after being defined by text rule definer is exported
Demand form, the part inputted by the demand of the formalization of clause rule generation half as regular actuator；
The RUCM models are by the expansion of UCMeta converters, and being formed to model generator can be known by regular actuator
Other OntoRUCM models, the another part inputted as regular actuator；
The building process of the field text, it is general that field text obtains field concept text after the regular device of conceptual analysis
Formatted file, obtains Domain relation text common-format files, both collectively form domain body after the regular device of relationship analysis
Knowledge, is used as another input of regular actuator；
The regular actuator is by inconsistent described in regular automatic detection RUCM demands, in the regular actuator
Including verification algorithm be to regular actuator input demand consistency checking verification, parser be to requirement rules it
Between reference analysis lookup and assessment, and then export analysis result, form corresponding assessment report.
In summary, the embodiments of the invention provide a kind of inspection method of demand model uniformity, methods described passes through
The user of RUCM extensions defines demand model to the definition of the mapping relations of body, specify that the related important spy of inspection rule
Property, the demand of user is examined using domain knowledge；The uniformity of RUCM software requirements of standardizing and the inspection method of integrality,
The means that an automation is realized are provided for the consistency detection means of demand.
The foregoing is only a preferred embodiment of the present invention, but protection scope of the present invention be not limited thereto,
Any one skilled in the art the invention discloses technical scope in, the change or replacement that can be readily occurred in,
It should all be included within the scope of the present invention.
Claims (7)
1. a kind of RUCM model consistency inspection methods based on body, it is characterised in that comprise the following steps：
Step S1, set up ontology model storehouse for RCUM model testings；
Ontology model storehouse in step S2, establishment step S1 forms relationship map template to the concept mapping relations of RUCM models；
Step S3, according to the step S2 mapping relations set up corresponding consistency check rule is defined, by regular automatic
Detect inconsistent described in RUCM demands, so as to form corresponding assessment report.
2. the RUCM model consistency inspection methods according to claim 1 based on body, it is characterised in that
The step S1 includes following sub-step：
Step S101, the background material by analysis field correlation, form abstract field key concept, build field correlation
Ontological concept storehouse；
Between step S102, the domain background analysis key concept for the destination software systems realized with reference to required for software requirement
Relation, obtains ontological relationship storehouse；
Step S103, according to the relation between the key concept of field, addition field key concept particular community obtains Ontological concept
Attribute library；
Step S104, according to above-mentioned Ontological concept storehouse, ontological relationship storehouse and Ontological concept attribute library, form the mould of ontology model
Plate set, is then integrally formed the ontology model storehouse i.e. field ontology library for RUCM model testings by template set.
3. any RUCM model consistency inspection methods based on body according to claim 1 or 2, its feature exists
In,
The step S2 includes following sub-step：
Step S201, the key concept attribute for determining and marking body；
Step S202, identification and marking software demand concept；
Step S203, on the basis of the key concept attribute and the concept of software requirement for having marked body, obtain between the two
The rule of correspondence.
4. the RUCM model consistency inspection methods based on body according to claim 3, it is characterised in that
The step S3 includes following sub-step：
Step S301, according to the step S2 mapping relations set up define corresponding consistency check rule；
The algorithm of the corresponding analysis demand of step S302, design, automatically forms corresponding assessment report.
5. the RUCM model consistency inspection methods based on body according to claim 1, it is characterised in that
The step S3 includes following sub-step：
Step S301, according to the step S2 mapping relations set up define corresponding consistency check rule；
The algorithm of the corresponding analysis demand of step S302, design, automatically forms corresponding assessment report.
6. any RUCM model consistency inspection methods based on body according to claim 1,2,4,5, it is special
Levy and be,
RUCM models in the step S2 are OntoRUCM models, concept of the OntoRUCM models in body, general
The corresponding template of RUCM models is extended by relation and concept attribute between thought, is added to RUCM model consistency inspections
Mapping relations.
7. the RUCM model consistency inspection methods according to claim 6 based on body, it is characterised in that described
The modeling tool framework of OntoRUCM models has been multiplexed Eclipse workbench, Eclipse developing plug environment in basal layer
PDE, Eclipse modeling framework EMF partial function, extension class libraries is provided in extension layer, and editor has been used in editing machine layer
Device and the separate framework mode of plug-in unit；The workbench of the Eclipse provides fundamental figure interface element and file resource
Management function, the developing plug environment PDE of the Eclipse realizes the dynamic expansion work(of meta-model aspect and editing machine aspect
Can, compatibility of the Eclipse modeling frameworks EMF to implementation model file and other instruments, the extension class libraries is used for
Increase the extension point of consistency check.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201710366026.1A CN107168762B (en) | 2017-05-23 | 2017-05-23 | Body-based RUCM (robust object model) consistency checking method |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201710366026.1A CN107168762B (en) | 2017-05-23 | 2017-05-23 | Body-based RUCM (robust object model) consistency checking method |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN107168762A true CN107168762A (en) | 2017-09-15 |
| CN107168762B CN107168762B (en) | 2020-07-03 |
Family
ID=59815901
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201710366026.1A Active CN107168762B (en) | 2017-05-23 | 2017-05-23 | Body-based RUCM (robust object model) consistency checking method |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN107168762B (en) |
Cited By (8)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN108733877A (en) * | 2018-04-10 | 2018-11-02 | 北京航空航天大学 | A kind of construction method of ATE test meta-model |
| CN109460460A (en) * | 2018-11-05 | 2019-03-12 | 国家计算机网络与信息安全管理中心 | A kind of Methodologies for Building Domain Ontology towards intelligent use |
| CN109471624A (en) * | 2018-11-21 | 2019-03-15 | 中国航空无线电电子研究所 | Data sharing model control system and data framework generation method based on GOSAA |
| CN110929110A (en) * | 2019-11-13 | 2020-03-27 | 北京北信源软件股份有限公司 | Electronic document detection method, device, equipment and storage medium |
| CN111177322A (en) * | 2019-12-30 | 2020-05-19 | 成都数之联科技有限公司 | Ontology model construction method of domain knowledge graph |
| CN111651139A (en) * | 2020-04-23 | 2020-09-11 | 南京航空航天大学 | Method for expressing RUCM by OML |
| CN111984229A (en) * | 2020-07-24 | 2020-11-24 | 南京航空航天大学 | Method for generating formal demand model for field natural language demand |
| CN113569004A (en) * | 2021-06-15 | 2021-10-29 | 南京航空航天大学 | Intelligent prompting method for restrictive natural language use case modeling |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102707949A (en) * | 2012-04-26 | 2012-10-03 | 清华大学 | Ontology-based visual concept modeling method |
| CN104965956A (en) * | 2015-07-16 | 2015-10-07 | 北京航空航天大学 | RUCM based demand verification method |
| CN105975269A (en) * | 2016-05-03 | 2016-09-28 | 北京航空航天大学 | Process model-based demand verification method |
-
2017
- 2017-05-23 CN CN201710366026.1A patent/CN107168762B/en active Active
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102707949A (en) * | 2012-04-26 | 2012-10-03 | 清华大学 | Ontology-based visual concept modeling method |
| CN104965956A (en) * | 2015-07-16 | 2015-10-07 | 北京航空航天大学 | RUCM based demand verification method |
| CN105975269A (en) * | 2016-05-03 | 2016-09-28 | 北京航空航天大学 | Process model-based demand verification method |
Cited By (12)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN108733877A (en) * | 2018-04-10 | 2018-11-02 | 北京航空航天大学 | A kind of construction method of ATE test meta-model |
| CN108733877B (en) * | 2018-04-10 | 2020-07-03 | 北京航空航天大学 | Method for constructing ATE test system meta-model |
| CN109460460A (en) * | 2018-11-05 | 2019-03-12 | 国家计算机网络与信息安全管理中心 | A kind of Methodologies for Building Domain Ontology towards intelligent use |
| CN109471624A (en) * | 2018-11-21 | 2019-03-15 | 中国航空无线电电子研究所 | Data sharing model control system and data framework generation method based on GOSAA |
| CN110929110A (en) * | 2019-11-13 | 2020-03-27 | 北京北信源软件股份有限公司 | Electronic document detection method, device, equipment and storage medium |
| CN110929110B (en) * | 2019-11-13 | 2023-02-21 | 北京北信源软件股份有限公司 | Electronic document detection method, device, equipment and storage medium |
| CN111177322A (en) * | 2019-12-30 | 2020-05-19 | 成都数之联科技有限公司 | Ontology model construction method of domain knowledge graph |
| CN111651139A (en) * | 2020-04-23 | 2020-09-11 | 南京航空航天大学 | Method for expressing RUCM by OML |
| CN111984229A (en) * | 2020-07-24 | 2020-11-24 | 南京航空航天大学 | Method for generating formal demand model for field natural language demand |
| CN111984229B (en) * | 2020-07-24 | 2022-02-01 | 南京航空航天大学 | Method for generating formal demand model for field natural language demand |
| CN113569004A (en) * | 2021-06-15 | 2021-10-29 | 南京航空航天大学 | Intelligent prompting method for restrictive natural language use case modeling |
| CN113569004B (en) * | 2021-06-15 | 2024-07-02 | 南京航空航天大学 | Intelligent prompting method for modeling of restrictive natural language use case |
Also Published As
| Publication number | Publication date |
|---|---|
| CN107168762B (en) | 2020-07-03 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN107168762A (en) | A kind of RUCM model consistency inspection methods based on body | |
| JP7289047B2 (en) | Method, computer program and system for block-based document metadata extraction | |
| US9405532B1 (en) | Integrated cloud platform translation system | |
| US11797607B2 (en) | Method and apparatus for constructing quality evaluation model, device and storage medium | |
| CN105446983B (en) | Method and apparatus for generating data format descriptor language model | |
| CN107015794B (en) | Software-as-a-service reference flow extension verification framework | |
| JP5146750B2 (en) | FT diagram creation program, FT diagram creation device, recording medium, and FT diagram creation method | |
| Dhiman et al. | Requirements for the optimal design for the metasystematic sustainability of digital double‐form systems | |
| Mayank et al. | Requirements engineering and the semantic Web, Part II. Representation, management, and validation of requirements and system-level architectures | |
| CN103761095A (en) | Method for generating universal header data information of upgraded file | |
| CN115080448A (en) | Method and device for automatically detecting inaccessible path of software code | |
| JP5747698B2 (en) | Requirements management support device | |
| EP3933653A1 (en) | Method and system for generating a digital representation of one or more engineering diagrams in a computing environment | |
| CN116484875A (en) | Self-description semantic data management method for supporting panoramic information monitoring of transformer substation | |
| Zhao et al. | Roles of ontology in automated process safety analysis | |
| WO2022076680A1 (en) | Natural language processing of api specifications for automatic artifact generation | |
| Toepfer et al. | Integrated tools for query-driven development of light-weight ontologies and information extraction components | |
| CN107220249A (en) | Full-text search based on classification | |
| Hamri et al. | Building an Ontology for the Metamodel ISO/IEC24744 using MDA Process | |
| Ali et al. | An approach for crosscutting concern identification at requirements level using NLP | |
| JP2008262265A (en) | Design method using cell concept, drawing creation device, program and recording medium | |
| Fadhel et al. | Striffs: Architectural component diagrams for code reviews | |
| Kassner et al. | Taxonomy Transfer: Adapting a Knowledge Representing Resource to new Domains and Tasks | |
| CN108628606A (en) | A kind of the WEB webmaster application program generation methods and system of embedded device | |
| CN116187226B (en) | Comparison method and comparison device for PDK engineering and electronic equipment |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant |