基于控制流的Mobile Safe Ambients演算的静态分析策略  

Static Analysis Scheme for Mobile Safe Ambients Based on Control Flow

作　　者：张红[1] 刘磊[1] 

机构地区：[1]吉林大学计算机科学与技术学院,长春130012

出　　处：《吉林大学学报（理学版）》2008年第4期704-710,共7页Journal of Jilin University:Science Edition

基　　金：教育部博士学科点专项科研基金(批准号:20060183044);吉林省科技发展计划项目基金(批准号:20050527)

摘　　要：在Mobile Safe Ambients演算进程的拓扑结构抽象表示基础上,通过识别可被激活的移动原语和通讯原语,计算系统运行的所有动态进程拓扑结构,并在文法规则中显示地标识约束名字和变量,使分析结果在α变换下保持不变.该策略可被应用于静态分析和验证基于Mobile Safe Ambients演算描述的并行与分布式系统的动态行为及属性.On the basis of the abstract representation of the process of Mobile Safe Ambients, an approximation of the topology of all dynamic processes is computed by exploring the activated movement abilities and communication abilities. Otherwise, the control flow estimate makes no difference among processes which are congruent under α-conversion by labeling restricted names and variables with stable names in the syntax of Mobile Safe Ambients. The schema can be exploited to investigate and validate the dynamic behavior and properties of the distributed and mobile systems specified in Mobile Safe Ambients.

关 键 词：MOBILE SAFE Ambients演算 控制流分析 静态分析 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]