面向方面程序的静态语义研究

摘要：

针对面向方面程序,许多研究者已定义了各种各样的形式语义.但是这些语义都不能够全面、准确地对面向方面程序的规范和方面声明部分进行描述.针对该问题,首先定义一种统一的面向方面程序的规范语言;其次对面向方面程序中的连接点和切点这两个重要概念进行形式化定义;再次引入结构变量表示面向方面程序的基本结构;最后应用统一程序理论中的设计定义面向方面的静态语义,并对其可靠性进行证明.同时,用一个例子说明该语义的使用.

关键词：面向方面程序、静态、语义

所属期刊栏目：44

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

资助基金：国家自然科学基金61309006,61563011;贵州师范大学资助博士科研项目资助

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

页数：共7页

页码：184-189,215