Ontologies in Checking for Inconsistency of Requirements Specification

Kroha, Petr; Janetzko, Robert; Labra, José Emilio

doi:10.1109/semapro.2009.11

Cited by 21 publications

(13 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Rules (17) specifies conditions when a requirement is lacking descriptions of the agents, but the mapped ontology node has specified them. Other rules (18)(19)(20)(21)(22)(23)(24)(25)(26)(27) for checking when, where, why, how, and NFR attributes are similar to rules (16) and (17).…”

Section: Rules Definitionmentioning

confidence: 99%

“…Some works focused on early stage-the construction of ontology [10]- [12], and some others supported requirements elicitation [13]- [19], and some works related to checking the quality of requirements [20]- [22].…”

Section: Related Workmentioning

confidence: 99%

“…Zhu and Jin [21] proposed method to detect inconsistency in requirements using state transition diagram. Kroha and colleagues [22] transform static parts of UML diagrams to ontology and find inconsistency. Our checking method mainly focus on incompleteness (the lacking of requirements might cause big losses in latter phases), but it can detect other errors such as: incorrectness, inconsistency, redundancy.…”

Section: Related Workmentioning

confidence: 99%

See 2 more Smart Citations

Ontology-Based Checking Method of Requirements Specification

Dzung

Ohnishi

2014

IEICE Trans. Inf. & Syst.

View full text Add to dashboard Cite

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

show abstract

Section: Rules Definitionmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Ontology-Based Checking Method of Requirements Specification

Dzung

Ohnishi

2014

IEICE Trans. Inf. & Syst.

View full text Add to dashboard Cite

show abstract

“…To observe whether the software is as indicated by clients' necessities or not, the requirements should be appropriately confirmed and approved [19]. As these stakeholders are from diverse domains therefore issues emerge when the engineers can't understand and clients can't pass on their requirements appropriately [10]. Therefore requirements representation is an issue in software requirements [9].…”

Section: Introductionmentioning

confidence: 99%

“…A key purpose behind why this is still so difficult to meet client requirements is that the larger part of requirements report is casual, composed in common dialect, though the last objective (code) is formal [10]. Because of this reason all clients should have the same domain learning to handle the issues raised by having a diverse understanding of the same thing [7].…”

Section: Introductionmentioning

confidence: 99%

A process improvement in requirement verification and validation using ontology

Nazir

Motla

Abbas

et al. 2014

Asia-Pacific World Congress on Computer Science and Engineering

View full text Add to dashboard Cite

The success of software projects depends on fully conveyed requirements. Contribution of stakeholders contributing in software requirements have a place with distinctive domains, because of which ambiguities, inconsistencies might arise moreover giving rise to incorrectness. Many tools are available for software requirements verification and validation but the issue of stakeholders belonging to different domains is still under consideration. As these requirements are not understood properly, it causes schedule delay and greater cost in the last stages of software. Requirements verification and validation are the most vital activities in requirement engineering that guarantees software quality and has an extraordinary impact on software cost and its success. The requirements verification and validation are an affirmation that the product requirements record is free of unwanted requirements and totally reliable. Keeping in mind the end goal of removing conflict, recognizing failures and making the product requirements document completely useful is the key component. So these requirements should be appropriately confirmed and accepted by the clients before conveying to the development team. Thus, ontology might be picked as an answer for checking and approving the requirements among stakeholders of distinctive domains. In this study improving requirement verification and validation process through ontology. We have used expert reviews and case study to evaluate the developed ontology that indicates different concepts, properties and constraints in the process of requirement verification and validation. With the help of the developed ontology, it is shown that its use for requirement verification and validation shows improvement in consistency, applicability and other factors.

show abstract

Problem of Semantic Enrichment of Sentences Used in Textual Requirements Specification

Šenkýř

Kroha

2021

Lecture Notes in Business Information Processing

View full text Add to dashboard Cite

Ontologies in Checking for Inconsistency of Requirements Specification

Cited by 21 publications

References 16 publications

Ontology-Based Checking Method of Requirements Specification

Ontology-Based Checking Method of Requirements Specification

A process improvement in requirement verification and validation using ontology

Problem of Semantic Enrichment of Sentences Used in Textual Requirements Specification

Contact Info

Product

Resources

About