Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
A Verification Method of the Correctness of Requirements Ontology
View through CrossRef
In a requirements elicitation using ontology, the quality of elicited requirements fully depends on the quality of requirements ontology. In this paper, a verification method of the correctness of requirements ontology is proposed in order to improve the quality of requirements ontology. We provide a rule description language to specify properties that requirements ontology should satisfy. Then, by checking whether the rules are consistent with requirements ontology, we verify the correctness of the ontology. Both the verification method and a prototype system based on the method will be illustrated with examples.
Title: A Verification Method of the Correctness of Requirements Ontology
Description:
In a requirements elicitation using ontology, the quality of elicited requirements fully depends on the quality of requirements ontology.
In this paper, a verification method of the correctness of requirements ontology is proposed in order to improve the quality of requirements ontology.
We provide a rule description language to specify properties that requirements ontology should satisfy.
Then, by checking whether the rules are consistent with requirements ontology, we verify the correctness of the ontology.
Both the verification method and a prototype system based on the method will be illustrated with examples.
Related Results
Verification of High Speed on Chip with VIP using System Verilog
Verification of High Speed on Chip with VIP using System Verilog
Abstract - The exploration work is addressing verification of High speed on chips protocol; we've used the system Verilog grounded test bench structure. I developed a system Verilo...
Platform Verification - Aview From Amember Of Industry
Platform Verification - Aview From Amember Of Industry
ABSTRACT
Concerns have been raised in many sectors regarding the safety and reliability of offshore platforms. In this paper, the history of offshore operations a...
Shenzi 16-Inch Oil Export SCR CVA Verification
Shenzi 16-Inch Oil Export SCR CVA Verification
Abstract
In 2006 Enterprise developed a 16-inch oil export system from Shenzi field located in Green Canyon Block 653 in the Gulf of Mexico, approximately 120 nau...
ПЕРСПЕКТИВИ ОНТОЛОГІЧНОГО МОДЕЛЮВАННЯ ЯК ЗАСОБУ ВЕРИФІКАЦІЇ РЕЗУЛЬТАТІВ ПСИХОЛОГІЧНОГО ДОСЛІДЖЕННЯ (НА ПРИКЛАДІ ВИВЧЕННЯ ЯВИЩ ГРИ)
ПЕРСПЕКТИВИ ОНТОЛОГІЧНОГО МОДЕЛЮВАННЯ ЯК ЗАСОБУ ВЕРИФІКАЦІЇ РЕЗУЛЬТАТІВ ПСИХОЛОГІЧНОГО ДОСЛІДЖЕННЯ (НА ПРИКЛАДІ ВИВЧЕННЯ ЯВИЩ ГРИ)
Purpose. Methodological differences in the verification standards for the results of scientific knowledge between individual psychological branches represented in the domestic and ...
Building and Using Geospatial Ontology in the BioCaster Surveillance System
Building and Using Geospatial Ontology in the BioCaster Surveillance System
AbstractThis abstract presents an approach to building a geospatial ontology from Wikipedia and using it in BioCaster, a system for detecting and tracking infectious disease outbre...
Development and Evaluation of an Adolescents' Depression Ontology for Analyzing Social Data
Development and Evaluation of an Adolescents' Depression Ontology for Analyzing Social Data
This study aims to develop and evaluate an ontology for adolescents' depression to be used for collecting and analyzing social data. The ontology was developed according to the &am...
Extracting and Merging Contextualized Ontology Modules
Extracting and Merging Contextualized Ontology Modules
Ontology module extraction, from a large ontology, leads to the generation of a specialized knowledge model that is pertinent to specific problems. Existing ontology module extract...
Innovative Techniques for Software Verification in Medical Devices
Innovative Techniques for Software Verification in Medical Devices
Medical device software verification is essential for safety, effectiveness, and dependability. Traditional verification methods must adapt to complex software systems and regulato...