主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第5期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
徐建礼,周龙骧.用于描述面向对象并发系统的实用图文法模型*.软件学报,1995,6():170-181
用于描述面向对象并发系统的实用图文法模型*
A PRACTICAL GRAPH GRAMMAR MODEL FOR CONCURRENT OBJECT—ORIENTED SYSTEMS
投稿时间:1994-09-30  修订日期:1994-09-30
DOI:
中文关键词:  并发系统,图文法,形式化方法,多处理机,面向对象.
英文关键词:Concurrent system,graph grammar,formal method,multiprocessing,object—oriented.
基金项目:本研究得到国家自然科学基金、863计划、中国科学院院长基金和中国科学院管理决策与信息系统实验室的资助.
作者单位
徐建礼 中国科学院数学研究所北京100080 
周龙骧 中国科学院数学研究所北京100080 
摘要点击次数: 1167
全文下载次数: 218
中文摘要:
      面向对象的并发系统与传统的并发系统(如用CSP或CCS所描述的系统)的不同之处在于其进程结构的动态性,系统中的进程以及进程之间的通信链路随着对象的变化而动态地建立或撤消.图文法模型比其他形式化工具更适合描述这种并发和动态的特性.这里我们介绍一个新的用于描述面向对象并发系统的图文法模型,在该模型中为系统的设计开发者提供了一个用来描述系统的静态和动态结构的语言工具——CSDL语言.在面向对象并发系统开发支持环境 的支持下,用CSDL语言描述的面向对象并发系统的结构可以转换成对系统运行期进程互联结构的控制机制,
英文摘要:
      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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 
主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利