一种公共知识的表示及其在需求分析中的应用

自软件工程诞生以来，它一直被视为一门纯粹的工程学科，因此其基础科学问题未得到足够重视。本文提出，需求分析作为软件工程的核心过程，可以基于“公共知识”概念进行建模。这样的模型将有助于我们理解该过程的本质。本文采用形式化语言作为工具来描述基于“公共知识”的需求分析模型，并从理论上证明：1）在软件项目参与者无法理解彼此含义的情况下，无论成本如何，软件项目成功的先决条件是参与者已完全了解需求规格说明；2）在软件项目参与者始终能够理解彼此含义的情况下，无论成本如何，软件项目成功的先决条件是参与者对基本事实的知识的并集能够完全覆盖需求规格说明。这两个定理对于提出新的软件工程方法论可能具有潜在意义。