Semantic Network Model: A Reasoning Engine for Software Requirements
Author(s)
Ahmed, Kushal
Wen, Lian
Sattar, Abdul
Farid, Reza
Year published
2015
Metadata
Show full item recordAbstract
In this paper, we present a semantic network model (SNM) as a reasoning engine for the requirements models. The SNM consists of the vertices and the edges, in which they store information of the models and their interrelations. The SNM, through a semi-automated normalisation process, helps the user (1) to assign states to the models and their relations as to whether they can be included, excluded, or undecided, (2) to eliminate redundant interrelations, (3) to avoid over-specification, and (4) to visualise a simplified overview of the whole system. Finally, we formulate the well-formedness of the SNM, which indicates whether ...
View more >In this paper, we present a semantic network model (SNM) as a reasoning engine for the requirements models. The SNM consists of the vertices and the edges, in which they store information of the models and their interrelations. The SNM, through a semi-automated normalisation process, helps the user (1) to assign states to the models and their relations as to whether they can be included, excluded, or undecided, (2) to eliminate redundant interrelations, (3) to avoid over-specification, and (4) to visualise a simplified overview of the whole system. Finally, we formulate the well-formedness of the SNM, which indicates whether the given models can produce a formal specification. We also evaluate our techniques using several case studies.
View less >
View more >In this paper, we present a semantic network model (SNM) as a reasoning engine for the requirements models. The SNM consists of the vertices and the edges, in which they store information of the models and their interrelations. The SNM, through a semi-automated normalisation process, helps the user (1) to assign states to the models and their relations as to whether they can be included, excluded, or undecided, (2) to eliminate redundant interrelations, (3) to avoid over-specification, and (4) to visualise a simplified overview of the whole system. Finally, we formulate the well-formedness of the SNM, which indicates whether the given models can produce a formal specification. We also evaluate our techniques using several case studies.
View less >
Conference Title
2015 20TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS)
Volume
2016-January
Subject
Software Engineering