用于描述面向对象并发系统的实用图文法模型*
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

本研究得到国家自然科学基金、863计划、中国科学院院长基金和中国科学院管理决策与信息系统实验室的资助.


A PRACTICAL GRAPH GRAMMAR MODEL FOR CONCURRENT OBJECT—ORIENTED SYSTEMS
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    面向对象的并发系统与传统的并发系统(如用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.

    参考文献
    相似文献
    引证文献
引用本文

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

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1994-09-30
  • 最后修改日期:1994-09-30
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号