作为需求工程方法学的一部分，在 1977 年设计完成了 RSL（需求陈述语言）。RSL 中的语句是计算机可以处理的，处理以后把从这些语句中得到的信息集中存放在 一个称为 ASSM （抽象系统语义模型）的数据库中。有一组软件工具处理 ASSM 数据库中的信息以产生出用 PASCAL 语言书写的模拟程序，从而可以检验需求的一致性、完整性和现实性。

　　1977 年美国密执安大学开发了 PSL/PSA（ 问题陈述语言 / 问题陈述分析程序 ） 系统。这个系统是 CADSAT （计算机辅助 设计和规格说明分析工具）的一部分，它的基本结构类似于 RSL 。其中 PSL 是用来描述系统的形式语言， PSA 是处理 PSL 描述的分析程序。用 PSL 描述的系统属性放在一个数据库中。一旦建立起数据库之后即可增加信息、删除信息或修改信息，并且保持信息的一致性。 PSA 对数据库进行处理以产生各种报告，测试不一致性或遗漏，并且生成文档资料。

　　PSL/PSA 系统的功能主要有下述 4 种：

　　（1） 描述任何应用领域的信息系统；

　　（2） 创建一个数据库保存对该信息系统的描述符；

　　（3） 对描述符施加增加、删除和更改等操作；

　　（4） 产生格式化的文档和关于规格说明书的各种分析报告。

　　PSL/PSA 系统用描述符从系统信息流、系统结构、数 据结构、数据导出、系统规模、系统动态、系统性质和项目管理等 8 个方面描述信息系统。

　　一旦用 PSL 对系统做了完整描述，可以调用 PSA 产生一组分析报告，其中包括所有修改规格说明数据库的记录，用各种形式描述数据库信息的参照报告（包括图形形式的描述），关于项目管理信息的总结报告，以及评价数据库特性的分析报告。

　　借助 PSL/PSA 系统可以边对目标系统进行自顶向下的逐层分解，边将需求分析过程中遇到的数据流、文件、处理等对象用 PSL 描述出来并输入到 PSL/PSA 系统中。 PSA将对输入信息作一致性和完整性检查，并且保存这些描述信息。

　　PSL/PSA 系统的主要优点是它改进了文档质量，能保证文档具有完整性、一致性和无二义性，从而可以减少管理和维护的费用。数据存放在数据库中，便于增加、删除和更改，这也是它的一个优点。