摘要
移动界程演算通过界程这一核心概念来表达有边界的计算场所,并提供界程移动、认证和授权等能力,从最基础层次刻画移动计算的本质,成为了移动计算系统形式化理论和应用领域内的重要研究分支。对移动界程演算的理论及应用方面的研究和发展进行了概述,对移动界演算的扩展语义和代数性质的分析方法、移动界演算的空间逻辑和模型检测算法以及移动界程在计算系统建模方面应用现状进行了整理和分析,并对该领域未来进一步研究的方向进行了展望。
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.
作者
林荣德
江华
黄建新
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)
出处
《计算机应用研究》
CSCD
北大核心
2020年第3期648-654,共7页
Application Research of Computers
基金
国家自然科学基金资助项目(11871259,61379021,11701258)
福建省自然科学基金资助项目(2016J01304,2015J01269,2019J01751)
福建省高校创新团队发展计划资助项目
泉州市高层次人才团队项目(2017ZT012)。
关键词
移动界程演算
标号互模拟
上下文观察等价
界程逻辑
模型检测
ambient calculus
bisimulation congruences
context barb congruences
ambient logic
model checking
