| Ambient演算的框架设计 |
| |
| 引用本文： | 张晶,张丽翠,金成植. Ambient演算的框架设计[J]. 吉林大学学报(理学版), 2006, 44(4): 583-588 |
| |
| 作者姓名： | 张晶 张丽翠 金成植 |
| |
| 作者单位： | 吉林大学,计算机科学与技术学院,长春,130012;吉林大学,通信工程学院,长春,130012 |
| |
| 摘 要： | 给出Ambient演算的一种内部表示, 称为Ambient框架, 并给出了Ambient框架的构造方法和具体转换函数, 以及基于Ambient框架的执行操作语义. 该框架为异步、 分布和移动代码提供了语言支持.
|
| 关 键 词： | Ambient演算 移动计算 进程演算 并发 通信 |
| 文章编号： | 1671-5489(2006)04-0583-06 |
| 收稿时间： | 2005-08-30 |
| 修稿时间： | 2005-08-30 |
A Framework Structure of Ambient Calculus |
| |
| ZHANG Jing,ZHANG Li-cui,JIN Cheng-zhi. A Framework Structure of Ambient Calculus[J]. Journal of Jilin University: Sci Ed, 2006, 44(4): 583-588 |
| |
| Authors: | ZHANG Jing ZHANG Li-cui JIN Cheng-zhi |
| |
| Affiliation: | 1. College of Computer Science and Technology, Jilin University, Changchun 130012, China; 2. College of Communication Engineering, Jilin University, Changchun 130012, China |
| |
| Abstract: | We gave a frame structure of Cardelli and Gordon's Mobile Ambients,a process calculus for(modelling) mobile agents in wide-area networks.We presented the concept,definition of Ambient calculus(frame),proposed the construction method and transformation functions and developed a code running operating semantics based on the frame structure.The frame is in an attempt to provide languages support for(asynchronous),distributed,and mobile programming. |
| |
| Keywords: | Ambient calculus mobile computation process calculus concurrency communication |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《吉林大学学报(理学版)》浏览原始摘要信息 |
|
点击此处可从《吉林大学学报(理学版)》下载全文 |
|
