-
题名移动界程演算理论及应用研究综述
被引量：1
- 1
-
-
作者
林荣德
江华
黄建新
-
机构
华侨大学数学科学学院计算科学福建省高校重点实验室
惠州学院计算机科学与工程学院
闽南师范大学粒计算省重点实验室
-
出处
《计算机应用研究》
CSCD
北大核心
2020年第3期648-654,共7页
-
基金
国家自然科学基金资助项目(11871259,61379021,11701258)
福建省自然科学基金资助项目(2016J01304,2015J01269,2019J01751)
+1 种基金
福建省高校创新团队发展计划资助项目
泉州市高层次人才团队项目(2017ZT012)。
-
文摘
移动界程演算通过界程这一核心概念来表达有边界的计算场所,并提供界程移动、认证和授权等能力,从最基础层次刻画移动计算的本质,成为了移动计算系统形式化理论和应用领域内的重要研究分支。对移动界程演算的理论及应用方面的研究和发展进行了概述,对移动界演算的扩展语义和代数性质的分析方法、移动界演算的空间逻辑和模型检测算法以及移动界程在计算系统建模方面应用现状进行了整理和分析,并对该领域未来进一步研究的方向进行了展望。
-
关键词
移动界程演算
标号互模拟
上下文观察等价
界程逻辑
模型检测
-
Keywords
ambient calculus
bisimulation congruences
context barb congruences
ambient logic
model checking
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名移动进程的蛰伏性及空间逻辑
被引量：2
- 2
-
-
作者
林荣德
奚建清
郭玉彬
-
机构
华南理工大学计算机科学与工程学院
华侨大学数学科学学院
华南农业大学信息学院
-
出处
《计算机科学》
CSCD
北大核心
2009年第3期173-178,共6页
-
基金
国家教育部项目(D4109029)
广东省科技计划项目(2006B11301001)
+1 种基金
广东省工业科技攻关计划项目(2006B80407001)
广东省国际科技合作计划项目(2007A050100026)资助
-
文摘
界程逻辑(Ambient Logic)定义了一个示范性的空间逻辑来描述移动界程演算中移动进程的空间性质。然而在某些移动计算系统中,界程逻辑对移动进程空间性质的描述粒度是不够的。分析移动进程的蛰伏性质,用蛰伏和活跃来描述移动进程的存在状态,由此给出一种界程逻辑的扩展,称为状态空间逻辑。该逻辑能够描述移动进程的蛰伏性,进而更细粒度地刻画进程空间性质,且其在移动界程演算上的满足性是可判定的。同时还给出了状态空间逻辑公式的形式解释和蛰伏空间公式的逻辑推导规则。
-
关键词
移动界程演算
蛰伏进程
空间逻辑
-
Keywords
Mobile ambients, Dormant process, Spatial logic
-
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
TP301.6
[自动化与计算机技术—计算机系统结构]
-
