反应式系统的并发模型(Ⅱ)——程序语言模型

Concurrent Models for Reactive Systems (Ⅱ): Programming Language Models

文［１］提出了反应式系统的一种抽象并发计算模型；本文在此基础上给出反应式系统并发描述的程序语言模型，重点阐述和剖析基于共享变量模型的两种语言——转换图和文本语言，分别给出它们的语法及进程间通讯机制的描述，并建立抽象计算模型结构到这两种语言结构上的映射。

The paper presents an abstract mathematical model for specifying reactive system in .Based on ,it puts forward several programming language models of reactive systems,and mainly illustrates two programming languages by shared variables:transityion diagram and text language,describes their syntax and main mechanisms of communication between concurrent processes.Their semantics are explained by mapping them into a corresponding abstract (generic) model.