It includes the following points : 1 ) after the concept of transparent inter - operational decision support system is put forward , this thesis has expatiated the composing of the system ii and discussed the logic structure of it . 2 ) the thesis also has put forward the designing ideas , as well as the major technology of the system ' s programming . 3 ) . the aims of the system ' s research are planned in this thesis 具体包括以下内容： 1 ）提出了透明交互决策支持系统的概念、组成与逻辑框架； 2 ）阐释了系统的设计思想，并指出系统开发过程中所需要的主要技术手段； 3 ）对系统研制目标进行了规划，同时也分析了系统的决策运筹方法； 4 ）通过论述系统的用户范围与需求说明，对系统进行功能分析。
Although the software specification described using natural language is easy to write and understand , its validity , integrality , non - ambiguity , consistency are hard to guarantee . the process of verification can only be done by manpower which is not normative and not rigorous . and the complexity of a lot of software has made it impossible to check the specifications artificially 需求规格说明是需求分析阶段的产品，我们通常采用的是未使用任何限制非形式化的自然语言进行描述，这种自然语言书写的需求说明，虽然易于理解和使用，但难以保证其正确性、完整性、无二义性、一致性，验证过程只能采用不太规范、不太严格的人工走查的方法进行检查，稍微复杂一些软件的需求规格说明的检查，实际上已经超出了人工检查的能力。
