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

面向对象的并发系统与传统的并发系统(如用csp或ccs所描述的系统)的不同之处在于其进程结构的动态性，系统中的进程以及进程之间的通信链路随着对象的变化而动态地建立或撤消．图文法模型比其他形式化工具更适合描述这种并发和动态的特性．这里我们介绍一个新的用于描述面向对象并发系统的图文法模型，在该模型中为系统的设计开发者提供了一个用来描述系统的静态和动态结构的语言工具——csdl语言．在面向对象并发系统开发支持环境的支持下，用csdl语言描述的面向对象并发系统的结构可以转换成对系统运行期进程互联结构的控制机制，