• 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