论文部分内容阅读
以Barker表示法、UML为例，分析了需求分析过程中图示建模技术在可理解性方面的缺陷，指出了这些建模技术偏重于开发人员的倾向。而自然语言（Nature Language）是需求分析中所有可能的读者都能理解的唯一语言，但却存在着二义性的问题。提出规范性自然语言的概念，尝试通过对自然语言逻辑形式和语言形式加以一定的限制来减少其歧义性，增强其准确表达的能力。最后以概念（术语）的定义为例，给出了相应的逻辑规范和语言形式规范。