From inconsistency handling to non-canonical requirements management: A logical perspective | |
Mu, Kedian ; Hong, Jun ; Jin, Zhi ; Liu, Weiru | |
2013 | |
关键词 | Inconsistency handling Non-canonical requirements Redundancy Incompleteness Requirements engineering SOFTWARE REQUIREMENTS SPECIFICATIONS FRAMEWORK INTERPLAY |
英文摘要 | As a class of defects in software requirements specification, inconsistency has been widely studied in both requirements engineering and software engineering. It has been increasingly recognized that maintaining consistency alone often results in some other types of non-canonical requirements, including incompleteness of a requirements specification, vague requirements statements, and redundant requirements statements. It is therefore desirable for inconsistency handling to take into account the related non-canonical requirements in requirements engineering. To address this issue, we propose an intuitive generalization of logical techniques for handling inconsistency to those that are suitable for managing non-canonical requirements, which deals with incompleteness and redundancy, in addition to inconsistency. We first argue that measuring non-canonical requirements plays a crucial role in handling them effectively. We then present a measure-driven logic framework for managing non-canonical requirements. The framework consists of five main parts, identifying non-canonical requirements, measuring them, generating candidate proposals for handling them, choosing commonly acceptable proposals, and revising them according to the chosen proposals. This generalization can be considered as an attempt to handle non-canonical requirements along with logic-based inconsistency handling in requirements engineering. (C) 2012 Elsevier Inc. All rights reserved.; http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000312520800006&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=8e1609b174ce4e31116a60747a720701 ; Computer Science, Artificial Intelligence; SCI(E); EI; 5; ARTICLE; 1; 109-131; 54 |
语种 | 英语 |
出处 | SCI ; EI |
出版者 | international journal of approximate reasoning |
内容类型 | 其他 |
源URL | [http://hdl.handle.net/20.500.11897/157500] ![]() |
专题 | 数学科学学院 信息科学技术学院 |
推荐引用方式 GB/T 7714 | Mu, Kedian,Hong, Jun,Jin, Zhi,et al. From inconsistency handling to non-canonical requirements management: A logical perspective. 2013-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论