| 摘要: |
| 面向对象的并发系统与传统的并发系统(如用CSP或CCS所描述的系统)的不同之处在于其进程结构的动态性，系统中的进程以及进程之间的通信链路随着对象的变化而动态地建立或撤消．图文法模型比其他形式化工具更适合描述这种并发和动态的特性．这里我们介绍一个新的用于描述面向对象并发系统的图文法模型，在该模型中为系统的设计开发者提供了一个用来描述系统的静态和动态结构的语言工具——CSDL语言．在面向对象并发系统开发支持环境
的支持下，用CSDL语言描述的面向对象并发系统的结构可以转换成对系统运行期进程互联结构的控制机制， |
| 关键词: 并发系统，图文法，形式化方法，多处理机，面向对象． |
| DOI： |
| 分类号: |
| 基金项目:本研究得到国家自然科学基金、863计划、中国科学院院长基金和中国科学院管理决策与信息系统实验室的资助. |
|
| A PRACTICAL GRAPH GRAMMAR MODEL FOR CONCURRENT OBJECT—ORIENTED SYSTEMS |
|
Xu Jianli,Zhou Longxiang
|
| 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． |
| Key words: Concurrent system,graph grammar,formal method,multiprocessing,object—oriented． |
