| Ambient演算的一种分层语义 |
| |
| 引用本文： | 吕江花,马世龙. Ambient演算的一种分层语义[J]. 计算机研究与发展, 2009, 46(10) |
| |
| 作者姓名： | 吕江花 马世龙 |
| |
| 作者单位： | 北京航空航天大学计算机科学与工程学院,北京,100191;北京航空航天大学软件开发环境国家重点实验室,北京,100191 |
| |
| 基金项目： | 国家“九七三”重点基础研究发展计划基金项目(G2005CB321902)~~ |
| |
| 摘 要： | 网络计算系统中涉及的操作复杂,很难直接给出一种的语义描述框架.作为一种网络计算模型,Ambient演算主要刻画了计算的分布性和移动性.目前关于Ambient的语义研究很多,但均是基于规约规则的语义形式.这种描述方式尽管简洁,一方面却具有不确定性,不利于实际的网络计算系统的设计和直接实现;另一方面,这种语义描述方式均在一个层次上描述Ambient演算系统中的各种行为语义,使得Ambient演算中各种计算行为纠缠在一起,复杂而难以理解.根据Ambient演算的结构特点,给出了Ambient演算的一种分层语义描述形式,系统以ambient为单元,分成3层进行描述,分别给出不同层上行为的语法定义、语义定义、语义方程以及不同层间的转换函数的定义,从而给出Ambient演算系统的指称语义描述形式.这种描述方式从层次化的角度分析了Ambient演算的计算行为,有助于对Ambient演算中行为的理解和实际应用系统的实现.
|
| 关 键 词： | 语义 行为 ambient 基调 论域 |
A Denotational Semantic Description for Safe Ambient Calculus |
| |
| Lü Jianghua,Ma Shinglong. A Denotational Semantic Description for Safe Ambient Calculus[J]. Journal of Computer Research and Development, 2009, 46(10) |
| |
| Authors: | Lü Jianghua Ma Shinglong |
| |
| Affiliation: | College of Computer Science and Engineering;Beihang University;Beijing 100191;State Key Laboratory of Software Development Environment;Beijing 100191 |
| |
| Abstract: | |
| |
| Keywords: | semantics behavior ambient signature domain |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
