| 一种标记转移系统的构造与执行方法 |
| |
| 引用本文： | 张冠华,张连华,白英彩.一种标记转移系统的构造与执行方法[J].计算机应用与软件,2006,23(5):84-85,95. |
| |
| 作者姓名： | 张冠华 张连华 白英彩 |
| |
| 作者单位： | 上海交通大学计算机科学与工程系,上海,200030 |
| |
| 摘 要： | 本文提出了一种基于动态树的标记转移系统的构造与执行方法，其具有以下几个显著特点：一是树形结构可以层次清楚垫孝示标记转移系统并可方便地利用树的遍历算法执行系统；二是通过树的动态生成解决了进程代数的状态递归和回溯的问题；三是标记转移系统的执行只和当前的动态树相关，降低了执行的复杂度。
|
| 关 键 词： | 进程代数 标记转移系统 动态树 |
| 收稿时间： | 2004-03-24 |
| 修稿时间： | 2004-03-24 |
A METHOD OF CONSTRUCTION AND EXECUTION FOR LABEL TRANSITION SYSTEM |
| |
| Zhang Guanhua,Zhang Lianhua,Bai Yingcai.A METHOD OF CONSTRUCTION AND EXECUTION FOR LABEL TRANSITION SYSTEM[J].Computer Applications and Software,2006,23(5):84-85,95. |
| |
| Authors: | Zhang Guanhua Zhang Lianhua Bai Yingcai |
| |
| Affiliation: | Department of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai 200030, China |
| |
| Abstract: | 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. |
| |
| Keywords: | Process algebra Label transition system Dynamic tree |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
