Introducing fuzziness in object models and database interfaces through aspects

Imperfection in information can be considered a crosscutting concern that manifests itself in diverse kinds of imprecision, uncertainty, or inconsistency in the data models of a software system. The extension of existing programming and querying interfaces for the different aspects of information imperfection requires a proper modularization of the different concerns of numerical imprecision handling, so that the extensions do not interfere with existing programming practices and do not obscure the original design. Aspect‐oriented design (AOD) enables such a form of nonintrusive extensions to be added to existing software libraries, clearly separating fuzziness or other imperfections in data as a differentiated concern that can be considered from the early phases of development. In this article, a general framework for aspect‐based extension of data models and fuzzy databases is described, and some design and implementation issues of such AOD‐based extensions on OJB database libraries are described as a case study. © 2006 Wiley Periodicals, Inc. Int J Int Syst 21: 1199–1216, 2006.     

面向方面中间件

中间件应用领域的不断扩展,给中间件体系结构的设计带来了困难,中间件的体系结构必须在通用性与专用性之间寻找平衡。传统的中间件体系结构产生这些问题的一个基本原因是:使用垂直分解过程获得的软件分解模型不能同时模块化共存的正交设计需求。本文总结了针对专门领域的面向方面中间件开发的三种工具:AspectIX和QuO处理QoS关注点,DIL从功能代码中分离协议实现。在建造一个中间件系统时,使用这些工具可以获得较好的模块性、可配置型和代码的演化性。     

基于OCL的面向方面监控框架

基于面向方面编程技术提出一种软件性质监控框架。该框架根据对象约束语言的约束条件生成监控方面,对监控方面与被监控软件进行编织,使软件在运行时具备发现约束违背的能力。使用模型约束检查工具USE可以进一步分析违约信息,实现其在模型上的可视化呈现。     

基于AOP的软件测试框架设计

通过研究AOP (Aspect Oriented Programming) 这种新兴发展中的技术,提出一种基于AOP的软件测试框架,适用于在对复杂的JAVA应用做回归测试和动态白盒测试,将需要测试的测试用例以测试方面的形式注册到容器,由容器统一将测试方面定义的测试建议织入到各动态测试连接点.     

Supporting the development of CAM/DAOP applications: an integrated development process

The increasing complexity of large‐scale distributed applications is driving the Software Engineering community to adopt new software technologies for the development of distributed systems. In this sense, the emergence of component‐based software engineering represents a significant advance towards assembling applications by plugging in pre‐fabricated components. Additionally, the principle of ‘advanced’ separation of concerns is nowadays widely applied to improve modularity, reusability and adaptability of software components. In this way, the aspect‐oriented software development paradigm separates into a new dimension, named aspect, those properties that crosscut the system ‘objects’ or ‘components’, reducing their dependencies. However, the development of software based on the composition of components and aspects is still in its early stages. Part of the reason for this is the lack of well‐defined development processes and tools that help software developers in the use of existing component and aspect‐based approaches. Therefore, the primary aim of this paper is to propose an integrated development process for deriving applications by the assembly of a set of prefabricated components and aspects. This process supports the development of Component‐Aspect Model/Dynamic Aspect‐Oriented Platform (CAM/DAOP) applications, where CAM/DAOP is a new model and platform based on components and aspects. Our intention is to show how, with the support of the integrated development process presented in this paper, it is possible to use CAM/DAOP as an alternative to current distributed platforms. Copyright © 2006 John Wiley & Sons, Ltd.     

Expressing aspectual interactions in requirements engineering: Experiences,problems and solutions

Aspect Oriented Requirements Engineering (AORE) provides support for modularizing crosscutting requirements. In the context of an industrial project in the domain of Slot Machines we needed to perform AORE, with a special emphasis on dependencies and interactions among concerns. We were however unable to find any report of large-scale industrial applications of AORE approaches that treat dependencies and interactions. We therefore evaluated two AORE approaches: Theme/Doc and MDSOCRE, to establish their applicability in our setting. In this paper we report on the limitations of both approaches we encountered and propose extensions that allow them to cope with concern interactions. We also show how these extensions provide the needed expressiveness by applying them to our industrial case study.     

多媒体彩铃项目中UP框架的设计与应用

设计了一种针对多媒体彩铃项目Portal系统的统一开发框架,并举例说明该框架在多媒体彩铃业务中的应用.UP(Unify Portal)框架基于传统的Spring+Hibernate开发框架,延续并优化了分层的体系结构;使用了面向接口编程和AOP(Aspect Oriented Programming,面向切面编程)的设...     

基于AOP的程序状态可视化方法研究与实现

论述了面向方面的编程（AOP）概念及其在处理横切关注点方面的优势,研究了其在程序状态可视化方面的应用,并利用AOP技术实现了一个表达式求值时的程序状态可视化的实例。程序状态可视化功能常常表现为一种横切关注点,相比利用面向对象的编程（OOP）来实现程序状态可视化功能,AOP技术提供了一种更加松耦合且更具模块性的实现方式。     

A new approach for component’s port modeling in software architecture

The component’s interaction points with the external world play a fundamental role in the specification of an application’s architecture. Current software architecture approaches consider an interaction point as an atomic element in the specification of interconnections, despite the complexity of its structure and the attached behavior. It is not possible in current component models to deal separately with an element of an interaction point when such an element is needed alone for specifying a specific logic. To support such logic and the specification of a wide range of early ideas in the process of elaborating a software system, the Integrated Approach to Software Architecture (IASA) uses an interaction point model which provides facilities to manipulate any structural or behavioral element defining an interaction point. In addition, such facilities represent the fundamental foundation of the native support by IASA of Aspect Oriented Software Architectures (AOSA) specifications.     

从面向方面程序设计的定义到面向方面程序设计语言

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

面向特征编程范式的形式化验证技术研究综述

以面向对象编程范式开发软件经常面临类(Class)与用户需求项无法直接对应的尴尬,面向特征编程范式(FOP)旨在解决这个问题,因此具有重要意义。本文首先简介了FOP编程范式的思想,它与面向方面编程范式的异同,以及它给相应的形式化验证技术带来的挑战;然后综述了现有的FOP形式化验证方法以及我们所做的相关工作,比较了它们的优缺点;最后讨论了FOP形式化验证今后可能的研究方向。     

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

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

面向方面软件重构等价性形式化证明方法

软件重构在不改变程序行为的情况下通过对代码进行小的改进以提升设计,使之更容易理解和维护,面向方面的程序设计是软件开发的新技术,为了有效实施面向方面的软件重构,需要开发者识别面向方面程序的转化规则。然而,由于使用的AOP语言没有形式化的语义定义,难以确认转化和重构的程序运行行为。本文对MCI操作语义的面向方面的扩展使之支持程序的方面特征的描述,定义了两个程序的观测等价,讨论了AspectJ的形式语义模型的建立,在MCI的语义下形式化地精确证明了Add Before-executing编程规则的观测等价性,其基本原理和方法可以适用于其他规则的证明,通过上述工作提出了面向方面重构的程序和它的面向对象程序原型等价性的证明方法。     

AOP--横切关注点的解决之道

介绍了软件开发中横切关系带来的问题,以及这些问题的当前解决方法和这些方法的缺点。进而介绍AOP的编程方式及其模块化横切关注点的实现,最后总结了AOP的好处并对其在软件开发的前景进行了展望。     

面向方面编程技术的研究

介绍了软件开发中横切关系带来的问题,以及这些问题的当前解决方法和这些方法的缺点。进而介绍AOP的编程方式及其模块化横切关注点的实现,最后总结了AOP的好处并对其在软件开发的前景进行了展望。     

Unifying design and runtime software adaptation using aspect models

Software systems are seen more and more as evolutive systems. At the design phase, software is constantly in adaptation by the building process itself, and at runtime, it can be adapted in response to changing conditions in the executing environment such as location or resources. Adaptation is generally difficult to specify because of its cross-cutting impact on software. This article introduces an approach to unify adaptation at design and at runtime based on Aspect Oriented Modeling. Our approach proposes a unified aspect metamodel and a platform that realizes two different weaving processes to achieve design and runtime adaptations. This approach is used in a Dynamic Software Product Line which derives products that can be configured at design time and adapted at runtime in order to dynamically fit new requirements or resource changes. Such products are implemented using the Service Component Architecture and Java. Finally, we illustrate the use of our approach based on an adaptive e-shopping scenario. The main advantages of this unification are: a clear separation of concerns, the self-contained aspect model that can be weaved during the design and execution, and the platform independence guaranteed by two different types of weaving.     

一种基于横切特征分析的软件体系结构自动重构方法

软件体系结构中的横切关注点增加了软件体系结构的复杂性,从而加剧了体系结构演化与维护的困难.这种设计问题可以通过体系结构层面的重构来进行改善.在已有的横切特征分析方法基础上,提出了一种面向横切特征分析的体系结构自动重构方法.该方法首先基于特征与构件之间的追踪关系分析横切特征,然后将与横切特征有直接追踪关系的构件从初始体系结构中提取出来,实现方面构件,完成体系结构重构.在面向方面体系结构描述语言AO-ADL基础上开发了相应的体系结构重构工具,并针对一个业务系统进行了体系结构重构实验.实验结果表明,该方法能有效地实现体系结构横切特征的自动化重构.     

Unifying design and runtime software adaptation using aspect models

Software systems are seen more and more as evolutive systems. At the design phase, software is constantly in adaptation by the building process itself, and at runtime, it can be adapted in response to changing conditions in the executing environment such as location or resources. Adaptation is generally difficult to specify because of its cross-cutting impact on software. This article introduces an approach to unify adaptation at design and at runtime based on Aspect Oriented Modeling. Our approach proposes a unified aspect metamodel and a platform that realizes two different weaving processes to achieve design and runtime adaptations. This approach is used in a Dynamic Software Product Line which derives products that can be configured at design time and adapted at runtime in order to dynamically fit new requirements or resource changes. Such products are implemented using the Service Component Architecture and Java. Finally, we illustrate the use of our approach based on an adaptive e-shopping scenario. The main advantages of this unification are: a clear separation of concerns, the self-contained aspect model that can be weaved during the design and execution, and the platform independence guaranteed by two different types of weaving.     

面向方面编程方法的研究

本文介绍了一种新型的编程方法——面向方面编程(Aspect-OrientedProgramming,AOP),它是面向过程、面向对象方法的进一步发展。面向方面编程解决了代码分散和代码纠缠问题,提高了软件开发效率、可重用性、系统的可理解性、可维护性和可演进性。     

AOP程序控制流图的生成方法

面向方面编程AOP(Aspect Oriented Programming)为开发者提供了一种机制来描述横切关注点.它能够自动地将横切关注点织入到面向对象的软件系统中,从而实现了横切关注点的模块化.然而AOP这种对横切关注点封装、织入的独特性为分析程序结构带来了困难,对传统的程序分析技术提出了新课题.通过分析AOP程序的特殊性,提出了基于AspectJ构造AOP程序控制流图的方法.该方案可以为AOP程序的理解、验证、测试以及重构提供控制流分析平台.