• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Software, IET >Semantic modelling and automated reasoning of non-functional requirement conflicts in the context of softgoal interdependencies
【24h】

Semantic modelling and automated reasoning of non-functional requirement conflicts in the context of softgoal interdependencies

机译：软目标相互依赖关系下非功能需求冲突的语义建模和自动推理

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Non-functional requirements (NFRs) address important issues in software systems, and are vital in successful software. The NFR problems in a system reflect the complexity of that system. Ideally, NFRs are systematically investigated to determine the aspects that may be harmonious or cause conflicts so that conflicts should be detected as early as possible. The work aims to extend the scopes of the NFRs framework and softgoal interdependency graph (SIG) for modelling and analysing NFRs. A formal ontological approach to modelling NFR interactions is proposed, and a core NFR ontology is developed in the ontology web language. The mechanisms involved in NFR interactions with SIG models (through interdependencies in the softgoals) are investigated and formalised. The NFRs are first analyses using a semantic modelling process to provide evaluation criteria. Next, correlation rules for implicit softgoal interdependencies are proposed from knowledge of the domain, and rules for indirect semantic correlations are proposed by extending the delta evaluation method. Reasonable rules in the semantic web environment are defined to allow conflicts between NFRs in SIG instance models to be detected and analysed. A concepts proof is performed to illustrate tool support of the proposed method, and validate the rules for conflict detection.
机译：非功能需求（NFR）解决了软件系统中的重要问题，对于成功开发软件至关重要。系统中的NFR问题反映了该系统的复杂性。理想情况下，应该对NFR进行系统地调查，以确定可能和谐的方面或引起冲突的方面，以便应尽早发现冲突。这项工作旨在扩展NFR框架和软件目标相互依赖图（SIG）的范围，以建模和分析NFR。提出了一种用于建模NFR交互的正式本体方法，并使用本体Web语言开发了核心的NFR本体。对NFR与SIG模型进行交互的机制（通过软件目标中的相互依赖性）进行了调查并确定了形式。首先使用语义建模过程对NFR进行分析，以提供评估标准。接下来，根据领域知识提出隐式软目标相互依赖性的关联规则，并通过扩展增量评估方法提出间接语义关联的规则。定义了语义Web环境中的合理规则，以允许检测和分析SIG实例模型中NFR之间的冲突。执行概念证明以说明所提出方法的工具支持，并验证冲突检测规则。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号