用于描述面向对象并发系统的实用图文法模型

摘要

面向对象的并发系统与传统的并发系统的不同之片在于其进程结构的动态性，系统中地进程以及进程之间的通信链路随着对象的变化而动态地建议或撤消。文法模型比其他形式化化工具更适合描述这种并发和动态的特性。这里我们介绍一个新的用于描述向对象并发系统的图文法模型，在该模型中为系统的设计开发者提供了一个用来描述诉静态和动态结构的语言工具－ＣＤＳＬ语言。