计算机工程 ›› 2012, Vol. 38 ›› Issue (18): 37-41.doi: 10.3969/j.issn.1000-3428.2012.18.010

• 软件技术与数据库 • 上一篇    下一篇

网络式软件非功能需求冲突消解

赵新辉 1,袁开银 2,吴尽昭 3   

  1. (1. 郑州大学体育学院科研处,郑州 450044;2. 河南财经政法大学现代教育技术中心,郑州 450002; 3. 中国科学院成都计算机应用研究所,成都 610041)
  • 收稿日期:2011-12-05 修回日期:2012-01-16 出版日期:2012-09-20 发布日期:2012-09-18
  • 作者简介:赵新辉(1980-),男,硕士、CCF会员,主研方向:网络与信息安全;袁开银,讲师;吴尽昭,研究员、博士生导师
  • 基金项目:
    国家“973”计划基金资助项目“需求模型验证与管理”(2007CB310803)

Conflict Resolution of Non-functional Requirement for Networked Software

ZHAO Xin-hui 1, YUAN Kai-yin 2, WU Jin-zhao 3   

  1. (1. Division of Research Administration, Physical Education College of Zhengzhou University, Zhengzhou 450044, China; 2. Modern Education Technology Center, Henan University of Economics and Law, Zhengzhou 450002, China; 3. Chengdu Institute of Computer Application, Chinese Academy of Sciences, Chengdu 610041, China)
  • Received:2011-12-05 Revised:2012-01-16 Online:2012-09-20 Published:2012-09-18

摘要: 在构建非功能需求冲突管理元模型的基础上,给出相关建模元素的形式化描述,将需求冲突的语义定义作为检测依据。根据不同的需求冲突类型和程度,提出一种排除冲突和降低冲突的网络式软件非功能需求冲突消解方法。以旅游出行领域中计算行程费用服务的非功能需求为例,验证了该方法的有效性。

关键词: 网络式软件, 需求工程, 非功能需求, 形式化建模, 冲突检测, 冲突消解

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

中图分类号: