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

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

张红, 刘磊

吉林大学计算机科学与技术学院, 长春 130012

收稿日期:2007-11-20 修回日期:1900-01-01 出版日期:2008-07-26 发布日期:2008-07-26
通讯作者: 刘磊

Static Analysis Scheme for Mobile Safe Ambients Based on Control Flow

ZHANG Hong, LIU Lei

College of Computer Science and Technology, Jilin University, Changchun 130012, China

Received:2007-11-20 Revised:1900-01-01 Online:2008-07-26 Published:2008-07-26
Contact: LIU Lei

摘要/Abstract

摘要： 在Mobile Safe Ambients演算进程的拓扑结构抽象表示基础上, 通过识别可被激活的移动原语和通讯原语, 计算系统运行的所有动态进程拓扑结构, 并在文法规则中显示地标识约束名字和变量, 使分析结果在α变换下保持不变. 该策略可被应用于静态分析和验证基于Mobile Safe Ambients演算描述的并行与分布式系统的动态行为及属性.

关键词: MobileSafeAmbients演算, 控制流分析, 静态分析

Abstract: 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.

Key words: Mobile Safe Ambients calculus, control flow analysis, static analysis

中图分类号:

TP311

张红, 刘磊. 基于控制流的Mobile Safe Ambients演算的静态分析策略[J]. J4, 2008, 46(04): 704-710.

ZHANG Hong, LIU Lei. Static Analysis Scheme for Mobile Safe Ambients Based on Control Flow[J]. J4, 2008, 46(04): 704-710.