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

摘要：

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

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

所属期刊栏目：33

分类号：TP3(计算技术、计算机技术)

在线出版日期：2006-11-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：247-251