Ontology-Based Checking Method of Requirements Specification

Dang Viet DZUNG; Atsushi OHNISHI

doi:10.1587/transinf.E97.D.1028

Ontology-Based Checking Method of Requirements Specification

Dang Viet DZUNG, Atsushi OHNISHI

Full Text Views

0

Share
Cite this

Summary :

This paper introduces an ontology-based method for checking requirements specification. Requirements ontology is a knowledge structure that contains functional requirements (FR), attributes of FR and relations among FR. Requirements specification is compared with functional nodes in the requirements ontology, then rules are used to find errors in requirements. On the basis of the results, requirements team can ask questions to customers and correctly and efficiently revise requirements. To support this method, an ontology-based checking tool for verification of requirements has been developed. Finally, the requirements checking method is evaluated through an experiment.

Publication: IEICE TRANSACTIONS on Information Vol.E97-D No.5 pp.1028-1038

Publication Date: 2014/05/01

Publicized

Online ISSN: 1745-1361

DOI: 10.1587/transinf.E97.D.1028

Type of Manuscript: Special Section PAPER (Special Section on Knowledge-Based Software Engineering)

Category

Authors

Dang Viet DZUNG
Ritsumeikan University
Atsushi OHNISHI
Ritsumeikan University

Keyword

requirements verification, requirements ontology, checking requirements specification

Cite this

Copy

Dang Viet DZUNG, Atsushi OHNISHI, "Ontology-Based Checking Method of Requirements Specification" in IEICE TRANSACTIONS on Information, vol. E97-D, no. 5, pp. 1028-1038, May 2014, doi: 10.1587/transinf.E97.D.1028.
Abstract: This paper introduces an ontology-based method for checking requirements specification. Requirements ontology is a knowledge structure that contains functional requirements (FR), attributes of FR and relations among FR. Requirements specification is compared with functional nodes in the requirements ontology, then rules are used to find errors in requirements. On the basis of the results, requirements team can ask questions to customers and correctly and efficiently revise requirements. To support this method, an ontology-based checking tool for verification of requirements has been developed. Finally, the requirements checking method is evaluated through an experiment.
URL: https://globals.ieice.org/en_transactions/information/10.1587/transinf.E97.D.1028/_p

Copy

@ARTICLE{e97-d_5_1028,
author={Dang Viet DZUNG, Atsushi OHNISHI, },
journal={IEICE TRANSACTIONS on Information},
title={Ontology-Based Checking Method of Requirements Specification},
year={2014},
volume={E97-D},
number={5},
pages={1028-1038},
abstract={This paper introduces an ontology-based method for checking requirements specification. Requirements ontology is a knowledge structure that contains functional requirements (FR), attributes of FR and relations among FR. Requirements specification is compared with functional nodes in the requirements ontology, then rules are used to find errors in requirements. On the basis of the results, requirements team can ask questions to customers and correctly and efficiently revise requirements. To support this method, an ontology-based checking tool for verification of requirements has been developed. Finally, the requirements checking method is evaluated through an experiment.},
keywords={},
doi={10.1587/transinf.E97.D.1028},
ISSN={1745-1361},
month={May},}

Copy

TY - JOUR
TI - Ontology-Based Checking Method of Requirements Specification
T2 - IEICE TRANSACTIONS on Information
SP - 1028
EP - 1038
AU - Dang Viet DZUNG
AU - Atsushi OHNISHI
PY - 2014
DO - 10.1587/transinf.E97.D.1028
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E97-D
IS - 5
JA - IEICE TRANSACTIONS on Information
Y1 - May 2014
AB - This paper introduces an ontology-based method for checking requirements specification. Requirements ontology is a knowledge structure that contains functional requirements (FR), attributes of FR and relations among FR. Requirements specification is compared with functional nodes in the requirements ontology, then rules are used to find errors in requirements. On the basis of the results, requirements team can ask questions to customers and correctly and efficiently revise requirements. To support this method, an ontology-based checking tool for verification of requirements has been developed. Finally, the requirements checking method is evaluated through an experiment.
ER -