面向方面程序的属性推断

• 作者: 叶俊 李暾 谭庆平
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 面向方面程序 形式化验证 属性保持 属性推断 活性属性 安全属性
• 年，卷（期）: 2013,（2）
• 所属期刊栏目: 软件技术
• 页码范围: 344-351
• 页数: 8页
• 分类号: TP311.1
• 字数: 7154字
• 语种: 中文

摘要

为简化面向方面程序(aspect-oriented programming,AOP)的形式化验证问题,Djoko等人对aspect进行了系统的分类,并确定了每类aspect能够保持的属性.分类之一的observer指一类对基程序的变量只读不写,且不修改其控制流的aspect,这类aspect能够保持所有的不包含Next算子的安全属性和活性属性.Djoko等人的工作可以避免针对织后程序的直接验证.在Djoko等人工作的基础上,提出了一种新的aspect分类—functor,并提出了属性推断的概念.functor是一种仅在特定条件下修改基程序性质的aspect,functor的确会造成基程序已有性质的失效,但却是以一种可预测的方式.属性推断就是根据基程序已有的性质和functor的特有性质,直接推断出织后程序的性质.functor同样避免了针对织后程序的直接验证,是对Djoko等人工作的重要补充.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谭庆平	国防科学技术大学计算机学院	30	181	8.0	11.0
2	李暾	国防科学技术大学计算机学院	29	182	7.0	12.0
3	叶俊	国防科学技术大学计算机学院	2	2	1.0	1.0