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

摘要：

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

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

所属期刊栏目：36

分类号：TP3;R2

资助基金：国家教育部项目D4109029;广东省科技计划项目2006811301001;广东省工业科技攻关计划项目2006880407001;广东省国际科技合作计划项目2007A050100026

在线出版日期：2009-04-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：173-178