从面向方面程序设计的定义到面向方面程序设计语言 被引量：9

1

作者 古思山 蔡树彬 李师贤 《计算机科学》 CSCD 北大核心 2011年第10期133-139,共7页

目前无论在学术界还是工业界,很多人士简单地将面向方面程序设计理解为模块化横切关注点,狭隘地认为面向方面程序设计构建在面向对象程序设计之上,是面向对象程序设计的扩展、有效的补充等。回顾了面向方面程序设计的定义,分析了面向方... 目前无论在学术界还是工业界,很多人士简单地将面向方面程序设计理解为模块化横切关注点,狭隘地认为面向方面程序设计构建在面向对象程序设计之上,是面向对象程序设计的扩展、有效的补充等。回顾了面向方面程序设计的定义,分析了面向方面程序设计区别于其它程序设计方法的本质特征,并形式化了定义中的量化语句与方面,给出了量化语句与方面的语义。重申了面向方面程序设计的本质特性是Quantification与Obliviousness,模块化横切关注点只是其带来的一个好处。同时指出了面向方面程序设计是一种新型的程序设计范式,独立于面向对象等其它程序设计方法。并且,基于此定义,给出了面向方面程序设计语言需满足的最小条件集,并比较了主流的面向方面程序设计语言,探讨了这些语言在面向方面程序设计理念上的差异。 展开更多

关键词 面向方面程序设计 面向方面程序设计语言 横切关注点 Quantification Obliviousness

在线阅读 下载PDF 职称材料

面向方面程序设计语言研究综述 被引量：8

2

作者 唐祖锴 彭智勇 《计算机科学与探索》 CSCD 2010年第1期1-19,共19页

作为控制软件复杂性、提高软件模块化程度、增强软件开发灵活性的重要技术手段之一,面向方面程序设计语言经过十多年的发展,日益受到软件研究者和实践者的关注,并发展成为软件工程的一个重要的研究领域。基于该领域近十年来的研究进展,... 作为控制软件复杂性、提高软件模块化程度、增强软件开发灵活性的重要技术手段之一,面向方面程序设计语言经过十多年的发展,日益受到软件研究者和实践者的关注,并发展成为软件工程的一个重要的研究领域。基于该领域近十年来的研究进展,分析总结了面向方面程序设计语言中的主要语言特性和关键实现技术;按照不同的语言特性对面向方面程序设计语言进行分类,并探讨了其发展与研究方向。 展开更多

关键词 面向方面程序设计 方面 连接点 切入点 通知 织入

在线阅读 下载PDF 职称材料

面向方面程序的静态语义研究 被引量：2

3

作者 谢刚 韦立 吴祥 《计算机科学》 CSCD 北大核心 2017年第9期184-189,215,共7页

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

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

在线阅读 下载PDF 职称材料

面向方面程序的调用图生成算法

4

作者 李楠 赵建军 +1 位作者 沈备军 张艳 《计算机应用与软件》 CSCD 北大核心 2008年第6期107-109,137,共4页

调用图(callgraph)分析是进行程序分析、程序理解、软件测试和软件维护的重要基础。目前已提出的调用图生成算法多数是针对面向对象编程;而面向方面编程作为面向对象编程的扩展,还没有比较良好的调用图生成算法。为此,分析了既有的面向... 调用图(callgraph)分析是进行程序分析、程序理解、软件测试和软件维护的重要基础。目前已提出的调用图生成算法多数是针对面向对象编程;而面向方面编程作为面向对象编程的扩展,还没有比较良好的调用图生成算法。为此,分析了既有的面向对象程序调用图生成算法,讨论了面向方面程序语言(AspectJ为例)的特殊语言元素及其对生成的调用图的影响,从而构筑了面向方面程序调用图的生成算法。 展开更多

关键词 调用图 面向方面程序 ASPECTJ RTA PVG

在线阅读 下载PDF 职称材料

面向方面程序的简化动态依赖图切片方法

5

作者 张广泉 黄静 +1 位作者 章晓芳 刘长林 《计算机科学与探索》 CSCD 2011年第3期229-237,共9页

程序切片是一种重要的程序分析技术,广泛应用于程序的调试、测试与维护等领域。面向方面程序设计作为一种新的软件开发范型,能够实现横切关注点的模块化,其特有的语言元素和功能为切片增加了难度。从静态切片和动态切片两种类型,讨论了... 程序切片是一种重要的程序分析技术,广泛应用于程序的调试、测试与维护等领域。面向方面程序设计作为一种新的软件开发范型,能够实现横切关注点的模块化,其特有的语言元素和功能为切片增加了难度。从静态切片和动态切片两种类型,讨论了面向方面程序切片技术。在此基础上,提出了一种基于简化动态依赖图的面向方面程序切片方法,可以减少动态依赖图中节点和边的数量,生成准确的面向方面程序的动态切片,从而有助于人们更好地对面向方面程序进行分析和理解。 展开更多

关键词 面向方面程序 静态切片 动态切片 简化动态依赖图

在线阅读 下载PDF 职称材料

面向方面程序的属性推断

6

作者 叶俊 谭庆平 李暾 《计算机研究与发展》 EI CSCD 北大核心 2013年第2期344-351,共8页

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

关键词 面向方面程序 形式化验证 属性保持 属性推断 活性属性 安全属性

在线阅读 下载PDF 职称材料

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

7

作者 谢刚 蒋强 石磊 《计算机科学》 CSCD 北大核心 2018年第8期179-185,207,共8页

目前,针对面向方面程序,许多研究者已定义了各种各样的形式语义。但是,没有一种语义能被软件设计者和开发者所理解。针对该问题,在已有研究的基础上,应用统一程序理论中的设计来定义面向方面的动态语义。同时,以一个例子来说明该语义的... 目前,针对面向方面程序,许多研究者已定义了各种各样的形式语义。但是,没有一种语义能被软件设计者和开发者所理解。针对该问题,在已有研究的基础上,应用统一程序理论中的设计来定义面向方面的动态语义。同时,以一个例子来说明该语义的使用。 展开更多

关键词 面向方面程序 动态 语义

在线阅读 下载PDF 职称材料

面向方面的程序设计的研究与应用 被引量：4

8

作者 刘营 王斯梁 《计算机应用研究》 CSCD 北大核心 2005年第11期157-159,178,共4页

从一个图元编辑器的例子开始,以图元的更新需求为例,分析了现有程序设计方法的不足及现有的其他解决方案,如设计模式的缺陷等,引出了面向方面的编程方法,提出一个典型AOP实现的三层架构模型。

关键词 面向方面的程序设计

在线阅读 下载PDF 职称材料

面向方面的计算误差处理技术:实例研究与评估 被引量：3

9

作者 崔展齐 王林章 +1 位作者 刘慧根 李宣东 《软件学报》 EI CSCD 北大核心 2011年第11期2639-2651,共13页

传统的实现方法通常把误差处理策略与程序的基本功能交织到一起,这会增加程序的耦合度,使得程序难以理解与维护.针对这一问题,提出一种面向方面的解决方案,即将程序的各种误差处理策略封装为方面.为评估该方法的有效性,将一个真实的卫... 传统的实现方法通常把误差处理策略与程序的基本功能交织到一起,这会增加程序的耦合度,使得程序难以理解与维护.针对这一问题,提出一种面向方面的解决方案,即将程序的各种误差处理策略封装为方面.为评估该方法的有效性,将一个真实的卫星轨道测算系统中的误差处理策略分别封装为类中的方法和方面,并设计了一系列实验来评估原程序及分别采用两种方式重构后的程序在关注点分离度、耦合度、程序规模及运行时间上的差异.结果实验结果和重构过程中获得的经验可以得出,采用面向方面技术将误差处理功能封装为方面来实现能够有效提高程序的模块化程度和可维护性,并且不会引起程序性能的显著下降. 展开更多

关键词 面向方面程序设计 重构 计算误差处理 科学计算

在线阅读 下载PDF 职称材料

基于Petri网的面向方面用况建模研究

10

作者 胡罗凯 蔡恒进 邱长春 《计算机应用与软件》 CSCD 2009年第4期140-142,160,共4页

将现有的在面向对象领域中的一些比较成熟的技术使用到面向方面领域是一个重要的研究方向。提出在需求分析时通过UML的扩展机制来进行面向方面的用况建模方法,阐述如何应用Petri网来对面向方面用况模型进行形式化,以增加用况模型的语义... 将现有的在面向对象领域中的一些比较成熟的技术使用到面向方面领域是一个重要的研究方向。提出在需求分析时通过UML的扩展机制来进行面向方面的用况建模方法,阐述如何应用Petri网来对面向方面用况模型进行形式化,以增加用况模型的语义约束。通过一个在线外汇交易平台系统的建模实例,详细说明基于Petri网的面向方面用况建模方法,最后应用这种方法在需求分析阶段方便、有效地产生测试用例。实践证明,基于Petri网的面向方面用况建模方法取得了良好的效果。 展开更多

关键词 用况图 PETRI网 面向方面程序设计 测试用例

在线阅读 下载PDF 职称材料

基于面向方面调用图的AspectJ动态通知编织优化 被引量：2

11

作者 曹璟 徐宝文 +2 位作者 周晓宇 钱巨 杨彬 《软件学报》 EI CSCD 北大核心 2008年第9期2218-2227,共10页

在提出一种适合ApsectJ程序分析的面向方面调用图的基础上,给出了一种AspectJ动态通知编织优化方法.该方法利用程序调用图求解调用栈,并对栈中节点进行类型推导,再将调用栈与切点匹配,根据匹配结果决定通知织入方式.实例研究结果表明,... 在提出一种适合ApsectJ程序分析的面向方面调用图的基础上,给出了一种AspectJ动态通知编织优化方法.该方法利用程序调用图求解调用栈,并对栈中节点进行类型推导,再将调用栈与切点匹配,根据匹配结果决定通知织入方式.实例研究结果表明,该方法精确度高,能够静态确定程序中大部分动态通知的织入点. 展开更多

关键词 通知编织 编译优化 调用图 ASPECTJ 面向方面程序设计

在线阅读 下载PDF 职称材料

一种基于通知波动效应的面向方面系统依赖图构造方法

12

作者 黄静 章晓芳 张广泉 《计算机工程与科学》 CSCD 北大核心 2010年第9期98-101,共4页

为更好地分析面向方面程序中的控制依赖关系和数据依赖关系,需要对面向方面程序构造系统依赖图。本文针对面向方面程序的结构和机制,考虑通知优先级对程序依赖关系的影响,提出通知波动效应图(AFG)及其生成算法,从而构造基于通知波动效... 为更好地分析面向方面程序中的控制依赖关系和数据依赖关系,需要对面向方面程序构造系统依赖图。本文针对面向方面程序的结构和机制,考虑通知优先级对程序依赖关系的影响,提出通知波动效应图(AFG)及其生成算法,从而构造基于通知波动效应的面向方面系统依赖图(AOSDG)。此方法构造的系统依赖图能够更准确地表示面向方面程序中的依赖关系,且构造成本相对较小,可应用于面向方面程序切片。 展开更多

关键词 系统依赖图 面向方面程序 通知波动效应

在线阅读 下载PDF 职称材料

方面化构件组装体系结构描述语言AWright 被引量：2

13

作者 王斌 周亮 +2 位作者 朱薇 盛津芳 桂卫华 《计算机工程》 CAS CSCD 北大核心 2009年第12期67-69,共3页

方面化构件组装平台迫切需要一种新的软件体系结构描述语言来支持该平台的体系结构描述及验证。针对该平台特点,在分析Wright的基础上,提出一种扩展Wright的方面化构件组装体系结构描述语言——AWright。给出该体系结构描述语言的医疗... 方面化构件组装平台迫切需要一种新的软件体系结构描述语言来支持该平台的体系结构描述及验证。针对该平台特点,在分析Wright的基础上,提出一种扩展Wright的方面化构件组装体系结构描述语言——AWright。给出该体系结构描述语言的医疗诊断系统实例,以说明AWright的机制及其描述能力。 展开更多

关键词 AWright语言 方面化构件 面向方面程序设计

在线阅读 下载PDF 职称材料

一种AOP方面的代数语义

14

作者 古思山 蔡树彬 李师贤 《计算机科学与探索》 CSCD 2011年第10期932-941,共10页

面向方面程序设计可以模块化横切关注点,因此受到工业界及学术界的广泛关注。目前模块化横切关注点几乎成为面向方面程序设计的代名词,而且有不少人士狭隘地将面向方面程序设计认为是面向对象程序设计的延续、扩展或补充。回顾了面向方... 面向方面程序设计可以模块化横切关注点,因此受到工业界及学术界的广泛关注。目前模块化横切关注点几乎成为面向方面程序设计的代名词,而且有不少人士狭隘地将面向方面程序设计认为是面向对象程序设计的延续、扩展或补充。回顾了面向方面程序设计的定义,分析了产生这一现象的原因。并且形式化了定义中的量化语句和方面,给出了它们的语义。探讨了量化语句和方面的一系列性质,包括量化语句和方面的可满足性,量化语句的包含、交叉及精化关系,方面的同态、同构、构成、完全语义保持精化、语义保持精化及等价替换等关系。该研究为面向方面程序设计的理论研究打下了坚实的基础,也为更好地理解面向方面程序设计提供了有效的帮助。 展开更多

关键词 面向方面程序设计(AOP) 方面 语义 精化 同构 等价替换

在线阅读 下载PDF 职称材料

对象的功能扩充机制的比较研究

15

作者 余秋惠 《计算机工程与设计》 CSCD 北大核心 2010年第12期2762-2764,2818,共4页

为了准确理解和选择面向对象程序设计中的对象功能扩充方法,提出一个对象功能扩充机制的比较模型。该模型包括动态性、依赖性、类型无关性、层次性和语言要求等几个指标,分别描述了对象功能扩充方法的灵活程度、非功能对象的内聚度、功... 为了准确理解和选择面向对象程序设计中的对象功能扩充方法,提出一个对象功能扩充机制的比较模型。该模型包括动态性、依赖性、类型无关性、层次性和语言要求等几个指标,分别描述了对象功能扩充方法的灵活程度、非功能对象的内聚度、功能对象和非功能对象的耦合程度、对象功能扩充的影响范围等。基于这些指标分析了几种典型的对象功能扩充方法,给出了这些方法的比较结果。比较结果表明,面向方面的程序设计是对象功能扩充的一种有效手段,比较结果对于对象功能扩充方法的选择具有指导意义。 展开更多

关键词 面向对象程序设计 面向方面程序设计 对象 类 功能扩充

在线阅读 下载PDF 职称材料

基于路径覆盖准则的AOP路径生成方法研究

16

作者 王波 柴玉梅 王黎明 《计算机工程与设计》 CSCD 北大核心 2012年第11期4209-4213,共5页

在检验面向方面程序质量时,常常会依据路径覆盖准则对其进行测试,所以生成符合路径覆盖准则的AOP路径是很重要的。生成AOP路径,对AOP的控制流信息进行分析、表示,构造其单个模块、基本方面等的语句控制流图,确定类与方面之间交互的表示... 在检验面向方面程序质量时,常常会依据路径覆盖准则对其进行测试,所以生成符合路径覆盖准则的AOP路径是很重要的。生成AOP路径,对AOP的控制流信息进行分析、表示,构造其单个模块、基本方面等的语句控制流图,确定类与方面之间交互的表示方法,构造出完整AOP语句控制流图;遍历完整AOP语句控制流图,得到从源节点到终节点的所有路径,这些路径中的可执行路径即是满足路径覆盖准则的测试路径。 展开更多

关键词 面向方面程序 控制流信息 路径覆盖 语句控制流图 交互

在线阅读 下载PDF 职称材料

基于谓词动态切片技术的AOP测试用例生成方法研究

17

作者 王波 柴玉梅 王黎明 《小型微型计算机系统》 CSCD 北大核心 2013年第6期1321-1327,共7页

面向方面程序设计是面向对象程序设计技术的补充和完善,高效的面向方面程序测试方法是面向方面程序的质量保证.提出一个基于谓词动态切片技术的测试方法.首先,构造完整的AOP语句控制流图,它包含AOP的方面、切入点、连接点、建议等因素.... 面向方面程序设计是面向对象程序设计技术的补充和完善,高效的面向方面程序测试方法是面向方面程序的质量保证.提出一个基于谓词动态切片技术的测试方法.首先,构造完整的AOP语句控制流图,它包含AOP的方面、切入点、连接点、建议等因素.然后,根据完整的AOP语句控制流图生成所有路径,针对每条路径,构造其分支函数,计算得到相应的测试数据,若路径不可执行,则不再计算其测试数据.在这个过程中,通过构建简化动态依赖图来生成谓词动态切片,再用谓词动态切片来帮助调整测试数据.最后,将各路径的实际输出数据与期望输出数据相比较,即可判断该程序是否有错误.经实例分析和实验验证,此方法可以系统地测试一个完整的面向方面程序,提高了测试数据的生成效率,并产生有效的测试用例. 展开更多

关键词 面向方面程序设计 语句控制流图 谓词动态切片 分支函数

在线阅读 下载PDF 职称材料

在Java中使用契约式设计 被引量：2

18

作者 孙巨 《计算机应用与软件》 CSCD 北大核心 2006年第11期67-69,共3页

契约式设计DBC是面向对象程序设计的一项技术,其目的在于提高软件的质量、可靠性与可复用性。Java语言本身还不直接支持契约式设计,但借助一些外部辅助工具可以使该项技术获得应用。对此,给出了两种实现方法:一种是使用预编译器;另一种... 契约式设计DBC是面向对象程序设计的一项技术,其目的在于提高软件的质量、可靠性与可复用性。Java语言本身还不直接支持契约式设计,但借助一些外部辅助工具可以使该项技术获得应用。对此,给出了两种实现方法:一种是使用预编译器;另一种是使用面向方面的程序设计技术。 展开更多

关键词 契约式设计DBC JAVA JMSAssert预编译器 面向方面的程序设计 AOP

在线阅读 下载PDF 职称材料

应用AOP设计的可动态重构工作流引擎架构 被引量：2

19

作者 孙中轶 何牧 +1 位作者 蔡鸿明 姜丽红 《计算机工程》 CAS CSCD 北大核心 2007年第6期62-64,共3页

鉴于现有的AOP技术并不能适应工作流系统的需要,该文应用AOP的基本概念和方法,提出了一种可动态重构的工作流引擎架构,解决了工作流引擎基本结构的动态扩展以及工作流定义的动态修改问题。在应用此架构开发的一个符合WFMC标准的工作流... 鉴于现有的AOP技术并不能适应工作流系统的需要,该文应用AOP的基本概念和方法,提出了一种可动态重构的工作流引擎架构,解决了工作流引擎基本结构的动态扩展以及工作流定义的动态修改问题。在应用此架构开发的一个符合WFMC标准的工作流引擎上,验证了此架构的可行性及动态重构的便利性,分析了架构的优缺点。 展开更多

关键词 工作流 工作流引擎 面向方面的程序设计 动态重构

在线阅读 下载PDF 职称材料