一种标记转移系统的构造与执行方法  

A METHOD OF CONSTRUCTION AND EXECUTION FOR LABEL TRANSITION SYSTEM

作　　者：张冠华[1] 张连华[1] 白英彩[1] 

机构地区：[1]上海交通大学计算机科学与工程系,上海200030

出　　处：《计算机应用与软件》2006年第5期84-85,95,共3页Computer Applications and Software

摘　　要：本文提出了一种基于动态树的标记转移系统的构造与执行方法,其具有以下几个显著特点:一是树形结构可以层次清楚地表示标记转移系统并可方便地利用树的遍历算法执行系统;二是通过树的动态生成解决了进程代数的状态递归和回溯的问题;三是标记转移系统的执行只和当前的动态树相关,降低了执行的复杂度。Based on dynamic tree,this paper proposes a novel method of construction and execution for label transition system, which has some salient features. First,tree can describes label transition system with clear hierarchy and executing system is convenient using traversal algorithm of tree. Secondly, state recursion and retrospect of process algebra can be solved by dynamic construction of tree. At last,execution of label transition system only depends on current dynamic tree so that complexity of execution is reduced.

关 键 词：进程代数 标记转移系统 动态树 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]