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

Overview on theory and applications of ambients calculus

作　　者：林荣德 江华 黄建新[1] Lin Rongde;Jiang Hua;Huang Jianxin(Fujian Province University Key Laboratory of Computational Science,School of Mathematical Science,Huaqiao University,Quanzhou Fujian 362000,China;School of Computer Science&Engineering,Huizhou University,Huizhou Guangdong 516007,China;Key Laboratory of Granular,Minnan Normal University,Zhangzhou Fujian 363000,China)

机构地区：[1]华侨大学数学科学学院计算科学福建省高校重点实验室,福建泉州362000 [2]惠州学院计算机科学与工程学院,广东惠州516007 [3]闽南师范大学粒计算省重点实验室,福建漳州363000

出　　处：《计算机应用研究》2020年第3期648-654,共7页Application Research of Computers

基　　金：国家自然科学基金资助项目(11871259,61379021,11701258);福建省自然科学基金资助项目(2016J01304,2015J01269,2019J01751);福建省高校创新团队发展计划资助项目;泉州市高层次人才团队项目(2017ZT012)。

摘　　要：移动界程演算通过界程这一核心概念来表达有边界的计算场所,并提供界程移动、认证和授权等能力,从最基础层次刻画移动计算的本质,成为了移动计算系统形式化理论和应用领域内的重要研究分支。对移动界程演算的理论及应用方面的研究和发展进行了概述,对移动界演算的扩展语义和代数性质的分析方法、移动界演算的空间逻辑和模型检测算法以及移动界程在计算系统建模方面应用现状进行了整理和分析,并对该领域未来进一步研究的方向进行了展望。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.

关 键 词：移动界程演算 标号互模拟 上下文观察等价 界程逻辑 模型检测 

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