用于描述面向对象并发系统的实用图文法模型* |
| |
引用本文: | 徐建礼,周龙骧.用于描述面向对象并发系统的实用图文法模型*[J].软件学报,1995,6(Z1):170-181. |
| |
作者姓名: | 徐建礼 周龙骧 |
| |
作者单位: | 中国科学院数学研究所,北京100080;中国科学院数学研究所,北京100080 |
| |
基金项目: | 本研究得到国家自然科学基金、863计划、中国科学院院长基金和中国科学院管理决策与信息系统实验室的资助. |
| |
摘 要: | 面向对象的并发系统与传统的并发系统(如用CSP或CCS所描述的系统)的不同之处在于其进程结构的动态性,系统中的进程以及进程之间的通信链路随着对象的变化而动态地建立或撤消.图文法模型比其他形式化工具更适合描述这种并发和动态的特性.这里我们介绍一个新的用于描述面向对象并发系统的图文法模型,在该模型中为系统的设计开发者提供了一个用来描述系统的静态和动态结构的语言工具——CSDL语言.在面向对象并发系统开发支持环境
的支持下,用CSDL语言描述的面向对象并发系统的结构可以转换成对系统运行期进程互联结构的控制机制,
|
关 键 词: | 并发系统,图文法,形式化方法,多处理机,面向对象. |
收稿时间: | 1994/9/30 0:00:00 |
修稿时间: | 1994/9/30 0:00:00 |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |