###
DOI:
Journal of Software:1995.6(zk):170-181

用于描述面向对象并发系统的实用图文法模型*
徐建礼,周龙骧
(中国科学院数学研究所,北京100080)
A PRACTICAL GRAPH GRAMMAR MODEL FOR CONCURRENT OBJECT—ORIENTED SYSTEMS
Xu Jianli,Zhou Longxiang
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2098   Download 2515
Received:September 30, 1994    Revised:September 30, 1994
> 中文摘要: 面向对象的并发系统与传统的并发系统(如用CSP或CCS所描述的系统)的不同之处在于其进程结构的动态性,系统中的进程以及进程之间的通信链路随着对象的变化而动态地建立或撤消.图文法模型比其他形式化工具更适合描述这种并发和动态的特性.这里我们介绍一个新的用于描述面向对象并发系统的图文法模型,在该模型中为系统的设计开发者提供了一个用来描述系统的静态和动态结构的语言工具——CSDL语言.在面向对象并发系统开发支持环境 的支持下,用CSDL语言描述的面向对象并发系统的结构可以转换成对系统运行期进程互联结构的控制机制,
Abstract:Concurrent object—oriented systems differ from traditional concurrent sys terns(e.g.systems being described by CSP or CCS)in that the process topologies of them are usually dynamic,and the inter—process communication links among processes are cre-ated or withdrawn accordinglywith the change of objects.Graph grammar turns out to be aformal tOOl much more suitable than other formalisms to specify such kink of concurrency and dynamic characteristics.This paper introduces a new graph grammar model for speci-lying concurrent object—oriented systems.System developers can specify both the static and dynamic structures of their concurrent object— oriented systems using the CSDL lan- guage provided by our model.Via a development and supporting environment for concur-rent object—oriented systems(GRADECS),the CSDL specification of concurrent system structure can be transformed to run time process topologies,and the CSDL specification of dependence and communication relations among system components can be dynamically bound to inter—process communication links for message passing.
文章编号:     中图分类号:    文献标志码:
基金项目:本研究得到国家自然科学基金、863计划、中国科学院院长基金和中国科学院管理决策与信息系统实验室的资助. 本研究得到国家自然科学基金、863计划、中国科学院院长基金和中国科学院管理决策与信息系统实验室的资助.
Foundation items:
Reference text:

徐建礼,周龙骧.用于描述面向对象并发系统的实用图文法模型*.软件学报,1995,6(zk):170-181

Xu Jianli,Zhou Longxiang.A PRACTICAL GRAPH GRAMMAR MODEL FOR CONCURRENT OBJECT—ORIENTED SYSTEMS.Journal of Software,1995,6(zk):170-181