Managing Software Requirements Changes Based on Negotiation-Style Revision  

作　　者：牟克典 Weiru Liu 金芝 Jun Hong David Bell 

机构地区：[1]School of Mathematical Sciences, Peking University, Beijing 100871, China [2]School of Electronics, Electrical Engineering and Computer Science, Queen's University Belfast, BT7 1NN, U.K. [3]Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education School of Electronics Engineering and Computer Science, Peking University, Beijing 100871, China

出　　处：《Journal of Computer Science & Technology》2011年第5期890-907,共18页计算机科学技术学报（英文版）

基　　金：supported by the National Natural Science Foundation of China under Grant No.60703061;the National Basic Research 973 Program of China under Grant No.2009CB320701;the Key Project of National Natural Science Foundation of China under Grant No.90818026;the NSFC & the British Royal Society China-UK Joint Project

摘　　要：For any proposed software project,when the software requirements specification has been established,requirements changes may result in not only a modification of the requirements specification but also a series of modifications of all existing artifacts during the development.Then it is necessary to provide effective and flexible requirements changes management.In this paper,we present an approach to managing requirements changes based on Booth＇s negotiation-style framework for belief revision.Informally,we consider the current requirements specification as a belief set about the systemto-be.The request of requirements change is viewed as new information about the same system-to-be.Then the process of executing the requirements change is a process of revising beliefs about the system-to-be.We design a family of belief negotiation models appropriate for different processes of requirements revision,including the setting of the request of requirements change being fully accepted,the setting of the current requirements specification being fully preserved,and that of the current specification and the request of requirements change reaching a compromise.In particular,the prioritization of requirements plays an important role in reaching an agreement in each belief negotiation model designed in this paper.For any proposed software project,when the software requirements specification has been established,requirements changes may result in not only a modification of the requirements specification but also a series of modifications of all existing artifacts during the development.Then it is necessary to provide effective and flexible requirements changes management.In this paper,we present an approach to managing requirements changes based on Booth＇s negotiation-style framework for belief revision.Informally,we consider the current requirements specification as a belief set about the systemto-be.The request of requirements change is viewed as new information about the same system-to-be.Then the process of executing the requirements change is a process of revising beliefs about the system-to-be.We design a family of belief negotiation models appropriate for different processes of requirements revision,including the setting of the request of requirements change being fully accepted,the setting of the current requirements specification being fully preserved,and that of the current specification and the request of requirements change reaching a compromise.In particular,the prioritization of requirements plays an important role in reaching an agreement in each belief negotiation model designed in this paper.

关 键 词：requirements change non-prioritized belief revision inconsistency handling NEGOTIATION 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]