计算机科学 ›› 2006, Vol. 33 ›› Issue (10): 247-251.

• 计算机网络与信息安全 • 上一篇    下一篇

多视点中不一致性的处理:一种基于认知逻辑的方法

江敏 毋国庆 刘小丽   

  1. 武汉大学计算机学院,武汉430072
  • 出版日期:2018-11-17 发布日期:2018-11-17

JIANG Min, WU Guo-Qing ,LIU Xiao-Li (School of Computer, Wuhan University,Wuhan 430072)   

  • Online:2018-11-17 Published:2018-11-17

摘要: 衡量一个软件系统是否成功,一个基本的要素就是看该软件系统是否满足了用户的要求。软件系统需求工程(RE)就是一个通过标识涉众及其需求并将其文档化以便于进行分析的过程。RE是一个跨学科,以人为中心的过程。多视点需求工程是需求工程的一个分支。多视点需求工程就是希望复杂系统中的不同参与者分别从自己的角度出发对预期系统进行描述,从而形成更完备的需求规约。由于多视点方法的这种特性,导致多个涉众有可能对同一问题进行描述,从而形成重叠的需求。这些重叠的需求就是涉众之间的公共知识,对公共知识的不同解释是导致需求规约中不一致

关键词: 多视点 公共知识 不一致 认知逻辑

Abstract: One prima factor of measuring achievement of a software system is whether it satisfies the needs for consumers. Software Requirement Engineering (RE)is processes that identifies stakeholders and document those requirements, which can convenient for analyz

Key words: Viewpoints, Common knowledge, Inconsistency, Epistemic logic

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!