| 消除有限容量演算中的强干扰 |
| |
| 引用本文： | 钟发荣,贾泂,陈建明,傅育熙.消除有限容量演算中的强干扰[J].上海交通大学学报,2005,39(8):1317-1321. |
| |
| 作者姓名： | 钟发荣 贾泂 陈建明 傅育熙 |
| |
| 作者单位： | 浙江师范大学,计算机系,金华,321004;上海交通大学,计算机科学与工程系,上海,200030;浙江师范大学,计算机系,金华,321004;上海交通大学,计算机科学与工程系,上海,200030 |
| |
| 基金项目： | 国家杰出青年科学基金资助项目（60225012）;上海市科委重点项目（025115032） |
| |
| 摘 要： | 为了消除有限容量演算中的强干扰和控制资源的移动，改进了该演算的某些原语，提出了一种新的演算——安全有限容量演算。在新演算中，调整了2个能力，增加了3个能力（相当于动作）和2个余能力（余动作），并改进相应的归约语义，给出了安全有限容量演算的类型系统。该类型系统控制灰箱的移动性和线程数，并保证在计算过程中灰箱所拥有的资源数被静态地保持在其资源数范围内。
|
| 关 键 词： | 有限容量 进程演算 移动灰箱 移动资源 强干扰 |
| 文章编号： | 1006-2467(2005)08-1317-05 |
| 收稿时间： | 2004-06-17 |
| 修稿时间： | 2004年6月17日 |
Eliminating Grave Interference in Bounded Capacities |
| |
| ZHONG Fa-Rong,JIA Jiong,CHEN Jian-ming,FU Yu-Xi.Eliminating Grave Interference in Bounded Capacities[J].Journal of Shanghai Jiaotong University,2005,39(8):1317-1321. |
| |
| Authors: | ZHONG Fa-Rong JIA Jiong CHEN Jian-ming FU Yu-Xi |
| |
| Abstract: | There are some grave interferences in the calculus of bounded capacities(BoCa) , which can be baleful and can be considered as programming errors. In order to eliminate these grave interferences and to dominate the movement of resources, some BoCa primitives were modified. A new calculus, the safe bounded capacities (Safe BoCa) was proposed which modifies two capacities and adds three new capabilities and two new co-capabilities. The reduction semantics is modified accordingly. A type system for the Safe BoCa is given to control the mobility of ambients and the number of threads, and to guarantee that the intended capacity bounds are statically preserved throughout computation. |
| |
| Keywords: | bounded capacities process calculus mobile ambient mobile resource grave interferences |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
