Inconsistency-based strategy for clarifying vague software requirements

CSpace

	Inconsistency-based strategy for clarifying vague software requirements
	Mu, KD ; Jin, Z ; Lu, RQ
	2005
发表期刊	AI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE
ISSN	0302-9743
卷号	3809 页码:39-48
摘要	It seems to be inevitable to confront vague information about Customer's needs during the software requirements stage. It may be desirable to record and clarify the vague information to avoid missing real requirements. In this paper, we provide an in consistency-based strategy to handle vague information in the framework of Annotated Predicate Calculus. This strategy permits the stakeholder to describe the different vague information using statements with different levels of belief, where each level of belief is determined by the degree of vagueness. By checking consistency of the union of vague requirements and clear requirements, we then heighten the level of belief in uncontroversial vague requirements. We also lower the levels of belief in requirements involved in undesirable inferences and leave them to be articulated in some following stage. To support this, Annotated Predicate Calculus is used to represent the requirements specification. In particular, we present a special belief semilattice, which defines truth values appropriate for representing the strength of analyst's belief in the truth of requirements statements.
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Artificial Intelligence
WOS记录号	WOS:000235836100007
出版者	SPRINGER-VERLAG BERLIN
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/2031
专题	中国科学院数学与系统科学研究院
通讯作者	Mu, KD
作者单位	1.Chinese Acad Sci, Inst Comp Technol, Beijing 100080, Peoples R China 2.Chinese Acad Sci, Acad Math & Syst Sci, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Mu, KD,Jin, Z,Lu, RQ. Inconsistency-based strategy for clarifying vague software requirements[J]. AI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE,2005,3809:39-48.
APA	Mu, KD,Jin, Z,&Lu, RQ.(2005).Inconsistency-based strategy for clarifying vague software requirements.AI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE,3809,39-48.
MLA	Mu, KD,et al."Inconsistency-based strategy for clarifying vague software requirements".AI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE 3809(2005):39-48.