Handling non-canonical software requirements based on Annotated Predicate Calculus

doi:10.1007/s10115-06-0021-y

CSpace

	Handling non-canonical software requirements based on Annotated Predicate Calculus
	Mu, Kedian ; Jin, Zhi ; Lu, Ruqian ; Peng, Yan
	2007
发表期刊	KNOWLEDGE AND INFORMATION SYSTEMS
ISSN	0219-1377
卷号	11 期号:1 页码:85-104
摘要	Eliciting requirements for a proposed system inevitably involves the problem of handling undesirable information about customer's needs, including inconsistency, vagueness, redundancy, or incompleteness. We term the requirements statements involved in the undesirable information non-canonical software requirements. In this paper, we propose an approach to handling non-canonical software requirements based on Annotated Predicate Calculus (APC). Informally, by defining a special belief lattice appropriate for representing the stakeholder's belief in requirements statements, we construct a new form of APC to formalize requirements specifications. We then show how the APC can be employed to characterize non-canonical requirements. Finally, we show how the approach can be used to handle non-canonical requirements through a case study.
关键词	software requirements inconsistency redundancy incompleteness vagueness paraconsistent logic
DOI	10.1007/s10115-06-0021-y
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Artificial Intelligence ; Computer Science, Information Systems
WOS记录号	WOS:000243390700004
出版者	SPRINGER LONDON LTD
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/4059
专题	中国科学院数学与系统科学研究院
通讯作者	Mu, Kedian
作者单位	1.Peking Univ, Sch Math Sci, Beijing 100871, Peoples R China 2.Chinese Acad Sci, Acad Math & Syst Sci, Beijing 100080, Peoples R China 3.Chinese Acad Sci, Grad Sch, Coll Software Engn, Beijing 100049, Peoples R China
推荐引用方式 GB/T 7714	Mu, Kedian,Jin, Zhi,Lu, Ruqian,et al. Handling non-canonical software requirements based on Annotated Predicate Calculus[J]. KNOWLEDGE AND INFORMATION SYSTEMS,2007,11(1):85-104.
APA	Mu, Kedian,Jin, Zhi,Lu, Ruqian,&Peng, Yan.(2007).Handling non-canonical software requirements based on Annotated Predicate Calculus.KNOWLEDGE AND INFORMATION SYSTEMS,11(1),85-104.
MLA	Mu, Kedian,et al."Handling non-canonical software requirements based on Annotated Predicate Calculus".KNOWLEDGE AND INFORMATION SYSTEMS 11.1(2007):85-104.