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

作     者：李彤 王黎霞 柳青 孔兵 Li Tong;Wang Lixia;Liu Qing;Kong Bing (1 .Department of Computer Science, Yunnan University, Kunming 650091;2.College of Economics, Yunnan University, Kunming 650091)

作者机构：云南大学计算机科学系昆明650091 云南大学经济学院昆明650091 

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

出 版 物：《计算机工程》 (Computer Engineering)

年 卷 期：2000年第26卷第1期

页      码：24-26页

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

主 题 词：需求规约语言 OORSL语言 计算机网络 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 0835[0835] 081201[081201] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1000-3428.2000.01.011

馆 藏 号：203134342...