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

Dormancy and Spatial Logic of Mobile Ambients

作　　者：林荣德[1,2] 奚建清[1] 郭玉彬[3] 

机构地区：[1]华南理工大学计算机科学与工程学院,广州510640 [2]华侨大学数学科学学院,泉州362021 [3]华南农业大学信息学院,广州510640

出　　处：《计算机科学》2009年第3期173-178,共6页Computer Science

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

摘　　要：界程逻辑(Ambient Logic)定义了一个示范性的空间逻辑来描述移动界程演算中移动进程的空间性质。然而在某些移动计算系统中,界程逻辑对移动进程空间性质的描述粒度是不够的。分析移动进程的蛰伏性质,用蛰伏和活跃来描述移动进程的存在状态,由此给出一种界程逻辑的扩展,称为状态空间逻辑。该逻辑能够描述移动进程的蛰伏性,进而更细粒度地刻画进程空间性质,且其在移动界程演算上的满足性是可判定的。同时还给出了状态空间逻辑公式的形式解释和蛰伏空间公式的逻辑推导规则。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. Dormancy of mobile processes was analyzed, and their existence states can be described as dormant or active. Based on this, an extension of ambient logic, Spatial-state Logic, was presented. This logic can express dormancy of processes, thus spatial properties of processes can be specified in fine-grained. And satisfiability of the logic is decidable. Furthermore, formal interpretation over mobile ambients and inference rules of dormant spatial formulas were given.

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

分 类 号：TP316[自动化与计算机技术—计算机软件与理论] TP301.6[自动化与计算机技术—计算机科学与技术]