Ambient演算的框架设计  

A Framework Structure of Ambient Calculus

作　　者：张晶[1] 张丽翠[2] 金成植[1] 

机构地区：[1]吉林大学计算机科学与技术学院,长春130012 [2]吉林大学通信工程学院,长春130012

出　　处：《吉林大学学报（理学版）》2006年第4期583-588,共6页Journal of Jilin University:Science Edition

基　　金：吉林省科技厅项目基金(批准号:20050527)

摘　　要：给出Ambient演算的一种内部表示,称为Ambient框架,并给出了Ambient框架的构造方法和具体转换函数,以及基于Ambient框架的执行操作语义.该框架为异步、分布和移动代码提供了语言支持.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 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.

关 键 词：Ambient演算 移动计算 进程演算 并发 通信 

分 类 号：TP314[自动化与计算机技术—计算机软件与理论]