检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]郑州大学体育学院科研处,郑州450044 [2]河南财经政法大学现代教育技术中心,郑州450002 [3]中国科学院成都计算机应用研究所,成都610041
出 处:《计算机工程》2012年第18期37-41,共5页Computer Engineering
基 金:国家"973"计划基金资助项目"需求模型验证与管理"(2007CB310803)
摘 要:在构建非功能需求冲突管理元模型的基础上,给出相关建模元素的形式化描述,将需求冲突的语义定义作为检测依据。根据不同的需求冲突类型和程度,提出一种排除冲突和降低冲突的网络式软件非功能需求冲突消解方法。以旅游出行领域中计算行程费用服务的非功能需求为例,验证了该方法的有效性。Based on the Non-functional Requirement Conflict Management Meta-model(NFRCMM),this paper gives formalization description for modeling elements,and makes the definition of requirement semantic conflict as the foundation of checking requirement conflict.According to the different types and degrees of requirement conflict,a resolution method for conflict elimination and conflict decrease is provided.As the example of calculation travel costs service nonfunctional requirements in tourism travel field,it verifies the effectiveness of the proposed method.
关 键 词:网络式软件 需求工程 非功能需求 形式化建模 冲突检测 冲突消解
分 类 号:TP368.1[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.249