一个面向网络并行环境的需求规约语言  

A Requirements Specification Language for Network Parallel Environments

作　　者：李彤[1] 王黎霞[2] 柳青[1] 孔兵[1] 

机构地区：[1]云南大学计算机科学系,昆明650091 [2]云南大学经济学院,昆明650091

出　　处：《计算机工程》2000年第1期24-26,共3页Computer Engineering

基　　金：云南省自然科学基金项目!基于公理语义的面向对象并行软件自动化研究(98F005G); 云南省中青年学术技术带头人培养基金!19

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

关 键 词：需求规约语言 OORSL语言 计算机网络 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论] TP393[自动化与计算机技术—计算机科学与技术]