基本图的图表示与项表示的相互转换算法

基本图是一种描述并发交互系统的形式化方法,它具有描述简洁、清晰和直观的特点.在基本图中,进程以及进程间的交互行为,既可以用图表示方法(其中一个图对应一个进程,图之间的归约对应进程之间的交互行为),又可以用项代数来表示.本文对基本图的图表示中进行了一些改动,并在此基础上给出了这两种表示方法之间的转换算法,同时实现了具有创建、编辑和转换功能的基本图规范描述工具.

CONVERTING BETWEEN GRAPHICAL REPRESENTATION AND BASIC TERMS OF BASIC GRAPH

As a graphical framework for formally describing interactive system, basic graph can represent processes and the interaction between processes in two ways: one is graphical representation, where a graph corresponds to a process and reduction in a graph corresponds to interaction between processes; the other is using term algebra consisting a set of terms and an equational theory on terms. In this paper algorithms of converting between these two representations are given, and a specification tool for creating, editing and nature switch between two representations is implemented. For facilitating the transformation, some modifications have made without changing the properties of basic graph. The work presents a way for understanding and reasoning about the interactive systems with basic graph as the intermediate.