摘要： 在构建非功能需求冲突管理元模型的基础上，给出相关建模元素的形式化描述，将需求冲突的语义定义作为检测依据。根据不同的需求冲突类型和程度，提出一种排除冲突和降低冲突的网络式软件非功能需求冲突消解方法。以旅游出行领域中计算行程费用服务的非功能需求为例，验证了该方法的有效性。
关键词:
网络式软件,
需求工程,
非功能需求,
形式化建模,
冲突检测,
冲突消解
Abstract: 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.
Key words:
networked software,
requirement engineering,
non-functional requirement,
formal modeling,
conflict detection,
conflict resolution
中图分类号:
赵新辉, 袁开银, 吴尽昭. 网络式软件非功能需求冲突消解[J]. 计算机工程, 2012, 38(18): 37-41.
DIAO Xin-Hui, YUAN Kai-Yin, TUN Jin-Zhao. Conflict Resolution of Non-functional Requirement for Networked Software[J]. Computer Engineering, 2012, 38(18): 37-41.