首页 | 本学科首页   官方微博 | 高级检索  
     

面向方面程序的动态语义研究
引用本文:谢刚,蒋强,石磊.面向方面程序的动态语义研究[J].计算机科学,2018,45(8):179-185, 207.
作者姓名:谢刚  蒋强  石磊
作者单位:贵州师范大学大数据与计算机科学学院 贵阳550001,贵州师范大学大数据与计算机科学学院 贵阳550001,北京邮电大学智能通信软件与多媒体北京市重点实验室 北京100876;北京邮电大学计算机学院 北京100876
基金项目:本文受国家自然科学基金(61563011),贵州师范大学资助
摘    要:目前,针对面向方面程序,许多研究者已定义了各种各样的形式语义。但是,没有一种语义能被软件设计者和开发者所理解。针对该问题,在已有研究的基础上,应用统一程序理论中的设计来定义面向方面的动态语义。同时,以一个例子来说明该语义的使用。

关 键 词:面向方面程序  动态  语义
收稿时间:2017/12/1 0:00:00
修稿时间:2018/3/19 0:00:00

Dynamic Semantics of Aspect-oriented Programming
XIE Gang,JIANG Qiang and SHI Lei.Dynamic Semantics of Aspect-oriented Programming[J].Computer Science,2018,45(8):179-185, 207.
Authors:XIE Gang  JIANG Qiang and SHI Lei
Affiliation:School of Big Data and Computer Science,Guizhou Normal University,Guiyang 550001,China,School of Big Data and Computer Science,Guizhou Normal University,Guiyang 550001,China and Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia,Beijing University of Posts and Telecommunications,Beijing 100876,China;School of Computer Science,Beijing University of Posts and Telecommunications,Beijing 100876,China
Abstract:At present,many researchers have developed various formal semantics for aspect-oriented program.How-ever,none of the semantics can be understood by software designers and developers.Based on the existing research,this paper defined a dynamic semantics of aspect-oriented programs through using the definition of design in unifying theories of programming.The approach was enumerated with a case to demonstrate the usage of the semantics.
Keywords:Aspect-oriented programming  Dynamic  Semantics
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号