Ambient演算的框架设计

Ambient演算的框架设计

张晶¹, 张丽翠², 金成植¹

1. 吉林大学计算机科学与技术学院, 长春 130012; 2. 吉林大学通信工程学院, 长春 130012

收稿日期:2005-08-30 修回日期:1900-01-01 出版日期:2006-07-26 发布日期:2006-07-26
通讯作者: 张晶

A Framework Structure of Ambient Calculus

ZHANG Jing¹, ZHANG Licui², JIN Chengzhi¹

1. College of Computer Science and Technology, Jilin University, Changchun 130012, China; 2. College of Communication Engineering, Jilin University, Changchun 130012, China

Received:2005-08-30 Revised:1900-01-01 Online:2006-07-26 Published:2006-07-26
Contact: ZHANG Jing

摘要/Abstract

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

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

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 asynchronou, distributed, and mobile programming.

Key words: Ambient calculus, mobile computation, process calculus, concurrency, communication

中图分类号:

TP314

张晶, 张丽翠, 金成植. Ambient演算的框架设计[J]. J4, 2006, 44(04): 583-588.

ZHANG Jing, ZHANG Licui, JIN Chengzhi. A Framework Structure of Ambient Calculus[J]. J4, 2006, 44(04): 583-588.

[1]	王宏志, 郭嫚嫚, 胡黄水, 武莎莎. 基于改进烟花算法的以太网通信链路调度方法[J]. 吉林大学学报(理学版), 2021, 59(2): 359-364.
[2]	朱豪, 彭艺, 张申, 李启骞. 高速铁路场景中基于MAB模型的多信道选择算法[J]. 吉林大学学报(理学版), 2021, 59(2): 365-371.
[3]	吴佳楠, 温智皓, 贺曼利, 吴剑, 李念峰. 考虑环境影响的水下电场通信组网算法[J]. 吉林大学学报(理学版), 2021, 59(1): 115-122.
[4]	李蕾, 方明科. 基于证据理论加权融合的无线传感器网络路由算法[J]. 吉林大学学报(理学版), 2020, 58(5): 1223-1228.
[5]	朱豪, 彭艺, 张申, 李启骞. 基于改进遗传算法的自适应越区切换方案[J]. 吉林大学学报(理学版), 2020, 58(1): 133-139.
[6]	何宏骏, 崔岩, 孙观. 一个新非线性系统的动力学分析与混沌控制[J]. 吉林大学学报(理学版), 2019, 57(5): 1224-1230.
[7]	程子轩, 乔木. 物联网入侵的最优通信节点选取算法[J]. 吉林大学学报(理学版), 2019, 57(04): 903-909.
[8]	周忠华, 彭智朝. 基于频谱系数和比例公平算法的网络调度优化策略[J]. 吉林大学学报(理学版), 2018, 56(6): 1501-1507.
[9]	魏晓辉, 崔浩龙, 李洪亮, 白鑫. 支持大规模地震探测数据快速可视化的云端数据缓存技术[J]. 吉林大学学报(理学版), 2018, 56(5): 1147-1155.
[10]	张赛男, 刘东亮. 基于CW节约算法和遗传算法的网络优化[J]. 吉林大学学报(理学版), 2018, 56(5): 1219-1223.
[11]	刘晓静, 刘继平, 张晓茹, 刘晗, 潘庆, 梁禺, 张斯淇, 陆景彬, 吴向尧. 用多个光子晶体实现量子纠缠态的稳定性[J]. 吉林大学学报(理学版), 2018, 56(5): 1224-1228.
[12]	王刚, 陈贺新, 陈绵书. 基于HEVC的自适应插值滤波算法[J]. 吉林大学学报(理学版), 2018, 56(2): 320-328.
[13]	付宏睿, 董永刚, 张建刚. 基于三维自治系统复杂网络的混沌保密通信系统[J]. 吉林大学学报(理学版), 2018, 56(2): 420-425.
[14]	邓蕾蕾, 陈霄. 基于相关向量机的网络通信负载状态识别模型[J]. 吉林大学学报(理学版), 2017, 55(06): 1533-1538.
[15]	刘涛, 孟青, 韩建宁. 基于神经网络的计算机通信系统干扰信号分离[J]. 吉林大学学报(理学版), 2017, 55(06): 1545-1551.