Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging

doi:10.3233/FI-2009-0062

CORC > 数学与系统科学研究院 > 中国科学院数学与系统科学研究院 > 数学所

	Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging
	Mu, Kedian 1; Jin, Zhi 2; Yue, Anbu 3; Liu, Weiru 3; Lu, Ruqian4 ; Bell, David 3
刊名	FUNDAMENTA INFORMATICAE
	2009
卷号	91 期号:3-4 页码:631-670
关键词	Inconsistency Requirements Engineering Prioritized Merging Local Prioritization
ISSN号	0169-2968
DOI	10.3233/FI-2009-0062
英文摘要	Developing a desirable framework for handling inconsistencies in software requirements specifications is a challenging problem. It has been widely recognized that the relative priority of requirements can help developers to make some necessary trade-off decisions for resolving conflicts. However, for most distributed development such as viewpoints-based approaches, different stakeholders may assign different levels of priority to the same shared requirements statement from their own perspectives. The disagreement in the local levels of priority assigned to the same shared requirements statement often puts developers into a dilemma during the inconsistency handling process. The main contribution of this paper is to present a prioritized merging-based framework for handling inconsistency in distributed software requirements specifications. Given a set of distributed inconsistent requirements collections with the local prioritization, we first construct a requirements specification with a prioritization from an overall perspective. We provide two approaches to constructing a requirements specification with the global prioritization, including a merging-based construction and a priority vector-based construction. Following this, we derive proposals for handling inconsistencies from the globally prioritized requirements specification in terms of prioritized merging. Moreover, from the overall perspective, these proposals may be viewed as the most appropriate to modifying the given inconsistent requirements specification in the sense of the ordering relation over all the consistent subsets of the requirements specification. Finally, we consider applying negotiation-based techniques to viewpoints so as to identify an acceptable common proposal from these proposals.
资助项目	National Natural Science Foundation of China[60703061] ; National Natural Science Foundation of China[90818026] ; National Natural Science Foundation of China[60496324] ; National 863 High-tech Project of China[2006AA01Z155] ; Key Project of National Natural Science Foundation of China[90818026] ; British Royal Society China-UK Joint Project ; National Natural Science Fund for Distinguished Young Scholars of China[60625204] ; National Key Research and Development Program of China[2002CB312004]
WOS研究方向	Computer Science ; Mathematics
语种	英语
出版者	IOS PRESS
WOS记录号	WOS:000266583700012
内容类型	期刊论文
源URL	[http://ir.amss.ac.cn/handle/2S8OKBNM/8452]
专题	数学所
通讯作者	Mu, Kedian
作者单位	1.Peking Univ, Sch Math Sci, Beijing 100871, Peoples R China 2.Peking Univ, Sch Elect Engn & Comp Sci, Key Lab High Confidence Software Technol, Minist Educ, Beijing 100871, Peoples R China 3.Queens Univ Belfast, Sch Elect Elect Engn & Comp Sci, Belfast BT7 1NN, Antrim, North Ireland 4.Chinese Acad Sci, Acad Math & Syst Sci, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Mu, Kedian,Jin, Zhi,Yue, Anbu,et al. Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging[J]. FUNDAMENTA INFORMATICAE,2009,91(3-4):631-670.
APA	Mu, Kedian,Jin, Zhi,Yue, Anbu,Liu, Weiru,Lu, Ruqian,&Bell, David.(2009).Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging.FUNDAMENTA INFORMATICAE,91(3-4),631-670.
MLA	Mu, Kedian,et al."Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging".FUNDAMENTA INFORMATICAE 91.3-4(2009):631-670.