Ebrahim Bagheri – Publication Page

The analysis and management of non-canonical requirement specifications through a belief integration game

Ebrahim Bagheri and Ali A. Ghorbani
Reference:
Ebrahim Bagheri and Ali A. Ghorbani The analysis and management of non-canonical requirement specifications through a belief integration game. In Knowl. Inf. Syst., 22 (1): 27-64, 2010.
Links to Publication: [doi]
Abstract:
Non-canonical requirement specifications refer to a set of software requirements that is either inconsistent, vague or incomplete. In this paper, we provide a correspondence between requirement specifications and annotated propositional belief bases. Through this analogy, we are able to analyze the contents of a given set of requirement collections known as viewpoints and specify whether they are incomplete, incoherent, or inconsistent under a closed-world reasoning assumption. Based on the requirement collections' properties introduced in this paper, we define a viewpoint integration game through which the inconsistencies of non-canonical requirement specifications are resolved. The game consists of several rounds of negotiation and is performed by two main functions, namely choice and enhancement functions. The outcome of this game is a set of inconsistency-free requirement collections that can be integrated to form a unique fair representative of the given requirement collections.
Bibtex Entry:
@article{DBLP:journals/kais/BagheriG10, author = {Ebrahim Bagheri and Ali A. Ghorbani}, title = {The analysis and management of non-canonical requirement specifications through a belief integration game}, journal = {Knowl. Inf. Syst.}, volume = {22}, number = {1}, year = {2010}, pages = {27-64}, ee = {http://dx.doi.org/10.1007/s10115-008-0187-6}, bibsource = {DBLP, http://dblp.uni-trier.de}, abstract = {Non-canonical requirement specifications refer to a set of software requirements that is either inconsistent, vague or incomplete. In this paper, we provide a correspondence between requirement specifications and annotated propositional belief bases. Through this analogy, we are able to analyze the contents of a given set of requirement collections known as viewpoints and specify whether they are incomplete, incoherent, or inconsistent under a closed-world reasoning assumption. Based on the requirement collections' properties introduced in this paper, we define a viewpoint integration game through which the inconsistencies of non-canonical requirement specifications are resolved. The game consists of several rounds of negotiation and is performed by two main functions, namely choice and enhancement functions. The outcome of this game is a set of inconsistency-free requirement collections that can be integrated to form a unique fair representative of the given requirement collections.} }




Powered by WordPress