谢刚,韦立,吴祥.面向方面程序的静态语义研究[J].计算机科学,2017,44(9):184-189, 215
面向方面程序的静态语义研究
Static Semantics of Aspect-oriented Programming
投稿时间:2016-08-05  修订日期:2016-11-11
DOI:10.11896/j.issn.1002-137X.2017.09.035
中文关键词:  面向方面程序,静态,语义
英文关键词:Aspect-oriented programming,Static,Semantics
基金项目:本文受国家自然科学基金(61309006,61563011),贵州师范大学资助
作者单位
谢刚 贵州师范大学大数据与计算机科学学院 贵阳550001 
韦立 贵州师范大学大数据与计算机科学学院 贵阳550001 
吴祥 贵州师范大学数学科学学院 贵阳550001 
摘要点击次数: 215
全文下载次数: 110
中文摘要:
      针对面向方面程序,许多研究者已定义了各种各样的形式语义。但是这些语义都不能够全面、准确地对面向方面程序的规范和方面声明部分进行描述。针对该问题,首先定义一种统一的面向方面程序的规范语言;其次对面向方面程序中的连接点和切点这两个重要概念进行形式化定义;再次引入结构变量表示面向方面程序的基本结构;最后应用统一程序理论中的设计定义面向方面的静态语义,并对其可靠性进行证明。同时,用一个例子说明该语义的使用。
英文摘要:
      Till now,many researchers have developed various formal semantics for aspect-oriented program.However,none of the semantics have provided the characterization of aspect-oriented programming specification and the declaration section of an aspect comprehensively and precisely.To make a further step,we defined a unified aspect-oriented programming specification language in our research.Then, we provided a formal definition for joinpoint and pointcut for aspect-oriented programs.Next,we introduced structural variables into the static structure to represent the aspect-orien-ted programs.Finally,we defined static semantics of aspect-oriented programs using the definition of design in unifying theories of programming,and proved its soundness afterwards.The approach was enumerated with a case to demonstrate the usage of the semantics.
查看全文  查看/发表评论  下载PDF阅读器