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