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 :
بازگشت