《计算机应用研究》|Application Research of Computers

移动界程演算理论及应用研究综述

Overview on theory and applications of ambients calculus

免费全文下载 (已被下载 次)  
获取PDF全文
作者 林荣德,江华,黄建新
机构 1.华侨大学 数学科学学院 计算科学福建省高校重点实验室,福建 泉州 362000;2.惠州学院 计算机科学与工程学院,广东 惠州 516007;3.闽南师范大学 粒计算省重点实验室,福建 漳州 363000
统计 摘要被查看 次,已被下载
文章编号 1001-3695(2020)03-002-0648-07
DOI 10.19734/j.issn.1001-3695.2018.10.0722
摘要 移动界程演算通过界程这一核心概念来表达有边界的计算场所,并提供界程移动、认证和授权等能力,从最基础层次刻画移动计算的本质,成为了移动计算系统形式化理论和应用领域内的重要研究分支。对移动界程演算的理论及应用方面的研究和发展进行了概述,对移动界演算的扩展语义和代数性质的分析方法、移动界演算的空间逻辑和模型检测算法以及移动界程在计算系统建模方面应用现状进行了整理和分析,并对该领域未来进一步研究的方向进行了展望。
关键词 移动界程演算; 标号互模拟; 上下文观察等价; 界程逻辑; 模型检测
基金项目 国家自然科学基金资助项目(11871259,61379021,11701258)
福建省自然科学基金资助项目(2016J01304,2015J01269,2019J01751)
福建省高校创新团队发展计划资助项目
泉州市高层次人才团队项目(2017ZT012)
本文URL http://www.arocmag.com/article/01-2020-03-002.html
英文标题 Overview on theory and applications of ambients calculus
作者英文名 Lin Rongde, Jiang Hua, Huang Jianxin
机构英文名 1.Fujian Province University Key Laboratory of Computational Science,School of Mathematical Science,Huaqiao University,Quanzhou Fujian 362000,China;2.School of Computer Science & Engineering,Huizhou University,Huizhou Guangdong 516007,China;3.Key Laboratory of Granular,Minnan Normal University,Zhangzhou Fujian 363000,China
英文摘要 Ambient calculus, which introduces the central notion of ambients to describe the computation area with boundaries, and provides the capabilities of mobility, authentication and authorization to capture the fundamental characteristics of mobile computation systems, becomes an important research area on formal-modeling theory and applications of mobile computation systems. The paper reviewed the main theoretical and applied research works and its development of ambient-based calculus, and analyzed the extended semantics and the algebra behavior analyzing methods, the spatial logics and the model checking algorithms, and the applications of formal-modeling in computation systems; and discussed the future research directions on these areas.
英文关键词 ambient calculus; bisimulation congruences; context barb congruences; ambient logic; model checking
参考文献 查看稿件参考文献
 
收稿日期 2018/10/24
修回日期 2018/12/24
页码 648-654
中图分类号 TP311
文献标志码 A