摘要： 提出了一个面向网络并行环境的需求规约语言ＯＯＲＳＬ。ＯＯＲＳＬ支持面向对象的分析方法，可以定义并行成分一进程，可以使用前后断言来表达用户的功能需求，允许将非形式化和半形式化的需求定义嵌入形式化的需求定义中。因此，ＯＯＲＳＬ语言是一个半形式化的语言，它为网络并行环境下的软件自动化和软件形式化开发提供了支持。介绍了ＯＯＲＳＬ的设计思想和主要语法成分，给出了一个实例。

关键词: 网络并行环境, 需求规约语言, 面向对象, 进程, 断言

Abstract: in this paper, a Tequirements specification language OORSL for network parallel environments is presented. OORSL supports object-oriented analysis, and can define parallel processes. It can express functional requirements using a pair of assertions. and permits users to embed the informal and semi-formal requirements definitions into the formal requirements specification. Therefore, OORSL is a semiformal language that provides the supports for software automation and software formal development in network parallel environments. In this paper, the design rationale and main syntax items of OORSL are introduced. Finally, an example is discussed.

中图分类号: 

• TP393.4