DocumentCode
2929337
Title
Viewpoints Merging via Incrementally Elicited Ranked Structures
Author
Ghose, Aditya ; Lin, Qiuming
Author_Institution
Sch. of IT & Comput. Sci., Wollongong Univ., NSW
fYear
2006
fDate
27-28 Oct. 2006
Firstpage
141
Lastpage
150
Abstract
Handling inconsistent requirements specifications remains a difficult challenge for the requirements engineering community. This paper seeks to apply techniques developed in the belief merging literature within AI to this problem. The application is non-trivial, since many belief merging operations cannot be directly applied, but must be modified to make them usable in practical settings. We address the problem of merging state model viewpoints, and improve on previous work by Chechik and Easterbrook. We develop a variant of the belief merging framework developed by Meyer et al, which we refer to as the framework of incrementally elicited ranked structures. We show that viewpoint merging within this framework is relatively easy and provides meaningful results
Keywords
belief maintenance; formal specification; formal verification; belief merging; incrementally elicited ranked structures; requirement engineering; requirement specification; state model viewpoint; viewpoint merging; Application software; Artificial intelligence; Australia; Computer science; History; Logic programming; Merging; Multivalued logic; Nominations and elections; Pollution;
fLanguage
English
Publisher
ieee
Conference_Titel
Quality Software, 2006. QSIC 2006. Sixth International Conference on
Conference_Location
Beijing
ISSN
1550-6002
Print_ISBN
0-7695-2718-3
Type
conf
DOI
10.1109/QSIC.2006.68
Filename
4032279
Link To Document