移动进程的蛰伏性及空间逻辑

计算机科学 ›› 2009, Vol. 36 ›› Issue (3): 173-178.

移动进程的蛰伏性及空间逻辑

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文受国家教育部项目（134109029）,广东省科技计划项目（2006811301001）,广东省工业科技攻关计划项目（2006880407001）,广东省国际科技合作计划项目（2007A050100026）资助.

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 界程逻辑（Ambient Logic）定义了一个示范性的空间逻辑来描述移动界程演算中移动进程的空间性质。然而在某些移动计算系统中，界程逻辑对移动进程空间性质的描述粒度是不够的。分析移动进程的蛰伏性质，用蛰伏和活跃来描述移动进程的存在状态，由此给出一种界程逻辑的扩展，称为状态空间逻辑。该逻辑能够描述移动进程的蛰伏性，进而更细粒度地刻画进程空间性质，且其在移动界程演算上的满足性是可判定的。同时还给出了状态空间逻辑公式的形式解释和蛰伏空间公式的逻辑推导规则。

关键词: 移动界程演算蛰伏进程空间逻辑

Abstract: Ambient logic presented a schematic spatial logic for specifying and reasoning about spatial properties of reduced space of ambient processes. However, in some scenarios, spatial properties of processes should be specified and analyzed in fine-grained. Do

Key words: Mobile ambients, Dormant process, Spatial logic

. 移动进程的蛰伏性及空间逻辑[J]. 计算机科学, 2009, 36(3): 173-178. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed