基于AOP 的运行时验证中的冲突检测

现有的形式化验证方法除了在模型层面对系统进行验证以外,越来越倾向于直接针对系统的实际代码和具体运行.运行时验证技术验证的对象是具体程序,它试图把形式化验证技术部署到程序的实际运行过程中.然而在把形式化技术部署到实际运行过程中会出现一系列在模型层面验证通常不会出现的问题,对这些问题中的冲突现象进行了研究,定义了运行时验证技术中存在的两种冲突,并给出了相应的检测算法.最后,对这些算法进行了实现和实例研究,结果表明了该方法的有用性.     

动态增量式AOP框架的研究与实现

在研究AOP原理的基础上,提出一种面向aspect的编程框架AODF,采用基于日志技术的增量式编织机制,不仅提高了编织效率,而且基于Bigraph理论的AODF支持方面的动态演化,实现了行为的一致性与相容性。另外,AODF从语言层提供对方面的支持,无需改动语言本身任何结构及特性,而且可以把自行编制的aspect配置为标准组件入库,实现方面的重用。从而使得遗留系统无需变更就可以获得面向方面的扩展。     

一种轻量级的AOP容器实现方法

AOP(面向方面编程),所谓"方面",简单地说,就是将那些与业务无关,却为业务模块所共同调用的逻辑或责任封装起来,便于减少系统的重复代码,降低模块间的耦合度,并有利于未来的可操作性和可维护性。目前AOP多用代理的方式实现。以Spring为例,框架在核心业务组件对象外封装一个代理对象,并且在调用方法外封装了一层调用方法,将横切业务逻辑插入外部代理对象的调用方法中,以此实现AOP逻辑。这种实现方式显得笨重而又繁琐。本文将提供一种对AOP实现方法的改进,通过对Io C容器的改进,建立核心业务组件的通用接口,通过将横切业务组件直接插入核心业务组件通用接口的方式,来实现轻量级的AOP框架。这种实现方式完全满足AOP的业务需求,远比代理方式实现简单,并且更接近于AOP其原始概念,其中的关键是改进了Io C框架核心业务组件的调用方式,建立通用调用接口。     

基于AOP的异常处理研究与应用

异常处理是任何软件中都必须面对的一类问题,但传统的异常处理过程会和程序中的其它代码产生了一种紧耦合关系,这种紧耦合关系使得代码的重用和维护非常困难。本文将结合面向方面编程讨论基于AOP的异常处理模型,该模型能够比较好的实现异常处理代码和业务逻辑代码的解耦,大大提高整个程序的重用性和可维护性。     

基于AOP的异常处理框架

传统的异常处理代码存在许多问题,尤其是代码不具有模块性,异常代码的维护很困难.面向方面编程(AOP)是一种新的编程技术,它弥补了面向对象编程(OOP)在跨越模块行为上的不足.利用AOP能够很好地分离出"异常处理"这一横切关注点,模块化构建松散耦合的系统.文章研究了在异常处理方面的通用策略和AOP在异常处理方面的应用,并给出了基于JBoss AOP的具体实现.该框架简单灵活,实用.     

基于低级虚拟机的运行时多语言AOP系统

利用低级虚拟机的多阶段优化和多语言支持特性,通过设计一种良好的连接点模型,可以在一定语言范围内实现运行时多语言的AOP系统。     

基于AOP 的业务规则应用框架的研究与实现

构建基于AOP（AOP 是Aspect Oriented Programming 的缩写, 意思是面向方面编程）的业务规则应用框架。该框架引入连接方面来模块化规则引擎调用,从而实现规则引擎调用与核心业务逻辑的分离,通过面向方面编程织入技术最终把二者整合起来。这样业务规则和核心业务逻辑就能够相互独立地进行设计和实现,业务规则和规则引擎的变化不会影响到核心业务逻辑代码,大大提高业务策略调整的灵活性。     

Spring中AOP的连接点检测器

越来越多的系统开始使用AOP(面向切面编程),面向切面编程越来越重要,但是AOP的连接点丢失问题一直未能很好的解决,该文针对使用Spring框架的系统中日志生成业务设计了一种连接点检测器,可以遍历所有连接点,并在数据库中维护连接点状态。     

基于AOP技术的通用线程监控平台的研究与实现

在传统的OOP编程中,由于需求空间是N维而实现空间是一维的,导致了软件开发中横切关注点的代码纠缠问题,严重影响了软件的质量.作为OOP的补充,AOP很好地解决了横切关注点带来的问题,提供了核心关注点和横切关注点互相分离的解决方案.本文从具体工程中开发线程监控这一需求所暴露的问题出发,提出了为什么需要AOP编程;然后着重讨论如何通过AOP技术解决这一问题,提出并实现了基于AOP技术的通用线程监控平台.该平台可以在不手工改变系统源代码的情况下通过工具植入系统内部,实现对运行线程信息的监视、对指定线程运行速度的变换和对整个系统运行行为的控制.     

基于面向方面编程的线程自主管理

将面向方面编程的关注点分离思想应用于线程运行的自主管理研究中,提出面向方面的线程自主管理模型,在此基础上实现通用线程自控制器(GTAC)。它能在不改变源程序的情况下织入系统内部,按照用户制定的策略,通过反射机制提供线程运行的自主管理功能。GTAC已实际应用到一个大规模高可用信息传输系统中,取得了良好的效果。     

基于形式化监控的可信软件构造模型

传统的形式化方法和软件运行时监控都是提高软件可信性的有效途径,但存在监控需求表达能力不强及代码分散等问题。针对该问题,提出基于形式化监控的可信软件构造技术FM-TSPM,将形式化方法和运行时监控相结合,实现跨领域的方法融合。用形式化方法描述监控约束,根据监控约束生成方面监控代码,解决代码分散问题。采用AOP编织器将方面代码编织到目标系统中,构造出带监控能力的可信软件。     

用于支持契约的AOP代码生成器的研究与实现

面向方面编程(AOP)是一种新兴的编程方法,其核心思想是分离程序中的关注点,并提供某种机制,以表达横切多个组件的关注点。契约式设计(DbC)是构建高可靠面向对象系统的设计方法,它通过规定组件间的行为契约来保证程序的正确性。本文简单介绍了AOP和DbC,然后通过尝试在Observer设计模式中加入契约,研究了使用AOP支持DbC的方法,进而设计和实现了一个AOP代码生成器,并分析了该生成器的特点。     

基于AOP的智能Web缓存框架

通过引入面向方面编程技术,提出一种新的智能Web缓存框架。描述该框架的组成结构与工作原理,对缓存设计时需要解决的透明性、一致性、替换算法和预取策略等主要问题进行讨论并给出性能测试和分析。实验结果表明,该缓存框架可较大程度提高Web应用系统的性能。     

基于AOP和Web服务的多层分布式系统

把面向方面编程的思想引入到Web服务中,将其横切关注点(日志、事务、权限认证等)实现为方面服务,在系统执行时用编织器在SOAP消息层编织Web服务和方面服务来构建最终系统,并结合面向服务软件体系结构和J2EE的多层架构提出一个基于方面服务和Web服务的软件架构。给出一个应用该软件架构的实例。     

面向方面的程序设计的研究与应用

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

基于AOP的软件运行轨迹捕获技术研究与实现

借助面向方面编程（AOP）的关注点分离思想,提出了基于AOP的软件运行轨迹捕获技术,它能在不改变源代码的情况下为系统注入运行轨迹捕获和运行行为监测功能,从而有效提高系统中监控模块的松耦合性。以该技术为基础实现了系统运行轨迹分析工具SRT,该工具能够在改善系统模块性的同时,为软件轨迹监测、系统故障定位提供量化依据与可信性保障。     

基于CAR构件的面向方面编程聚合模型的研究

通过识别、封装和集成不同种类的关注点来构件系统，从而提高系统的适应性、可维护性和重用性。面向方面编程（AOP）技术是目前较好的分离关注点的编程范式。基于CAR构件系统，提出了AOP的动态聚合模型及其实现。与其他系统的静态聚合方法相比，动态聚合所具有的随时聚合、随时拆卸的特点更加有效的提高了系统的适应性和重用性。     

基于本体和多Agent的面向任务协同编程

针对面向对象编程与面向方面编程存在的问题,提出一种基于本体和多Agent的面向任务协同编程方法,给出任务分解原则、任务描述方法及编程的9个阶段。通过实例验证该方法可以提高目标软件系统的模块化程度,使目标软件系统易于实现、理解、演化和复用。