期刊文献+

FKAOS中目标冲突探测

Conflict Detection in FKAOS
下载PDF
导出
摘要 在目标表示中,应用Fuzzy理论来表示目标中的不确定性概念,从而将KAOS方法扩展成FKAOS方法。FKAOS更便于表示需求获取阶段的目标分析的实际情况,但这给目标间的冲突探测、冲突解决带来了新的问题。提出了当通过使用模糊概念来建模不确定性的目标时,使用模糊推理来对潜在的冲突目标进行探测的概念,进而将层次理论用于冲突问题。 Using Fuzzy theory to express the concept of uncertainty in the goal expression,researchers extend KAOS into FAOS.It is more convenience to express the practical cases within phrase of requirements capture.Unfortunately,some prolbems such as conflict detection among goals and conflict solution,come with it at the same time.This paper suggests to express the uncertainty of aims with Fuzzy theory and detect potential aim conflicts with Fuzzy reasoning.Further more,hierarchy theorem is used for resolve conflict problem.
出处 《计算机应用研究》 CSCD 北大核心 2004年第10期41-43,66,共4页 Application Research of Computers
基金 国家自然科学基金资助项目(60275022)
关键词 FKAOS方法 冲突探测 冲突解决 模糊推理 FKAOS Conflict Detection Conflict Solution Fuzzy Reasoning
  • 相关文献

参考文献6

  • 1A Lan Lamsweerde,A Leiter L.Integrating Obstacles in Goal-Driven Requirements Engineers[C].Proceedings ICSE'98 20th International Conference on Software Engineering,IEEE-ACM,Kyoto,1998.52-62.
  • 2A Lan Lamsweerde,A Darimont,Ro Letier E.Managing Conflicts in Goal-Driven Requirements Engineering[J].IEEE Transactions on Software Engineering,Special Issue on Managing Inconsistency in Software Development,1998,908-926.
  • 3John Grundy,John Hosking,et al.Inconsistency Management for Multiple-view Software Development Environments[J].IEEE Transactions on Software Engineering,1998,24(11):960-981.
  • 4William N Robinson,Suzanne D Pawlowski.Managing Requirements Inconsistency with Development Goal Monitors[J].IEEE Transactions on Software Engineering,1999,25(6):816-835.
  • 5R Darimont,A Lan Lamsweerde.Formal Refinement Patterns for Goal-Drivern Requirements Elaboration[C].Proc.of Software Engineering,San Francisco,1996.179-190.
  • 6胡蓬,石纯一,王克宏.开放的分布式人工智能[J].软件学报,1995,6(10):607-613. 被引量:14

共引文献13

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部