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

摘要：

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

关键词：Mobile Safe Ambients演算、控制流分析、静态分析

所属期刊栏目：46

分类号：TP311(计算技术、计算机技术)

资助基金：教育部博士学科点专项科研基金20060183044

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

页数：共7页

页码：704-710