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

• 作者: 孔兵 李彤 柳青 王黎霞
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 网络并行环境 需求规约语言 面向对象 进程 断言
• 年，卷（期）: 2000,（1）
• 所属期刊栏目: 并行与分布式系统
• 页码范围: 24-26
• 页数: 3页
• 分类号: TP393.4
• 字数: 2619字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2000.01.011

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李彤	云南大学计算机科学系	151	861	14.0	22.0
2	孔兵	云南大学计算机科学系	23	95	4.0	8.0
3	王黎霞	云南大学经济学院	13	70	4.0	7.0
4	柳青	云南大学计算机科学系	40	192	7.0	12.0