扩展UML实现面向方面思想建模

面向对象编程（oov）技术的出现主要是为了解决代码重用问题。降低开发成本。面向方面编程（AOP）是面向对象编程（OOV）的进一步发展,它很好地解决了应用系统中分布于各个模决的交叉关注点问题,进一步提高代码的重用。目前已经出现了许多面向方面的编程语言,例如AspectJ、AspectC、Aspectc＋＋等,但面向方面建模的相关研究仍处于起步阶段。     

基于UML模型的面向方面建模

面向方面建模的目标是将面向方面的思想应用到设计阶段。目前面向方面建模的相关研究仍处于起步阶段。本文采用基于UML模型的方法,分别从动态横切和静态横切的角度,根据连接点、切入点、通知、类型间声明的语义,结合AspectJ对横切关注点进行建模。文章所描述的面向方面建模方法考虑了连接点所在的业务环境,用顺序图和活动图描述连接点,用交互概览图描述切入点,用活动图描述通知,用类图描述类型间声明,使得编写方面的编码人员能够更好地理解业务需求。     

面向方面程序设计及其实现技术

面向方面程序设计（Aspect-Oriented Programming,以下文中简称AOP）是由Xerox Palo Alto研究中心（Xerox PARC）的研究人员提出的一种新的程序设计思想和模型,其目标是通过把问题分解成一系列功能模块和一系列贯穿多个功能模块的方面（aspect）,然后再通过工具自动化的重新组织这些模块和方面,以获得系统的实现。本文讨论了AOP提出的背景、核心概念以及在Java中的实现。     

一个面向方面的需求模型

分离横切关注点是软件工程的一项重要原则.应当被应用到整个软件开发过程中.然而至今,这一领域的研究多数只关注于实现和设计阶段.在需求工程中针对横切关注点的研究工作却很少.本文旨在需求层面使用UML描述横切关注点的分离.文章提出了一个面向方面的需求模型.在需求分析阶段识别出横切关注点,并使用扩展的UML模型将其整合到系统的功能需求描述中.该方法有利于开发前期对横切性需求的有效模块化.以及后期项目干系人之间的沟通协调.同时横切性需求的前期分离,为在后期开发阶段制品的映射提供便利.     

面向方面编程技术研究

面向方面编程是一项允许编程人员模块化横切关注点的新的编程技术,它引入了“方面”这一概念,“方面”把影响多个模块的行为封装到一个单独的可重用模块中,利用Xerox PARC发行的AspeetJ,Java开发者可以很方便地进行面向方面编程。本文介绍了AOP、AspeetJ的基本概念并举例说明了AOP在仓储管理系统中的应用。     

一种面向方面的UML建模方法研究

针对面向对象编程(OOP)中横切关注点与业务逻辑代码纠缠的现象,提出了一种面向方面编程(AOP)的统一建模方法以弥补OOP的不足;该基于UML的方面建模方法从AOP与OOP技术存在的问题出发,通过基于UML的AOP建模方法研究,提高了软件设计的模块化,增强了代码的重用性、维护性;最后,以银行系统ATM中的取款业务的建模为例来描述用UML建模过程,为AOP建模提供了一种新的研究思路。     

面向方面重构的研究与实现

重构是保留软件外部行为的同时重新组织代码的过程和一组技术,由于它在创建敏捷代码方面的实用价值而受到普遍欢迎。但是,目前的重构步骤只是将代码模块化为整洁的OO实现,不能很好得解决横切关注点引发的问题;面向方面编程（AOP）由于封装系统中的横切关注点的强大能力而日益受到关注,它使用了一种成为方面的新模块化单元。本文将AOP引入到重构中,协同地组合这两种技术来重构横切元素,研究面向方面重构的基本原理、所涉及的步骤以及一些常用技术。     

基于面向方面和UML的实时系统建模研究

利用面向方面的编程思想,在实时系统设计的需求分析阶段分离系统的功能性核心关注点和非功能性横切关注点,并着重对系统的非功能性等横切性关注点进行分析.通过扩展UML对实时系统时间切面建模,讨论了时间方面织入过程,利用AspectJ对建模的结果进行简单的编码实现.通过实际ATM自动提款机的实际例子说明如何在实时系统开发中运用这些技术进行系统建模和实现,充分显示了这些技术对实时系统进行分析建模的优越性.     

基于扩展UML的面向方面的建模

提出了一个新的扩展UML进行面向方面建模的方法,它以合适的语义表达了AspectJ和AspectC++的元素和织入机制。在这个方法中,方面继承自类,切入点和通知继承自特征,这样切入点和通知是方面的一部分,方面与基本类的关系用横切依赖表示。切入点的图符可以表达多个方面在相同连接点的横切行为,通知以一致的方式建模结构横切和行为横切,通过在顺序图上新加一个通知发出焦点,并通知表示为消息,这样可以清晰建模通知在何时何处怎样影响系统的行为。     

PHP语言中的面向方面编程实现

面向方面编程（AOP）技术能够有效提高软件系统的可维护性、复用性和可扩展性,PHP语言是当前最流行的脚本语言之一。分析了主流语言平台下的AOP实现策略,提出了基于PHP语言的AOP实现目标和实现原理,还描述了应用AOP技术的软件系统结构和核心文件,并设计了相应的AOP支持类。最后通过实例演示该AOP技术的用法,程序结果表明该AOP实现是有效的。     

Aspectual templates in UML

UML Templates allow to capture reusable models through parameterization. The construct is general enough to be used in many ways, ranging from the representation of generic components (such as Java generics or C++ templates) to aspectual usage, including pattern-, aspect- and view-oriented modeling. We concentrate on this last usage and so-called aspectual templates which require that parameters must form a model of systems in which to inject new functionalities. Starting from this strict constraint, we derive an in-depth semantic enhancement of the standard. It is formalized as a fully UML-compliant interpretation in OCL of the template construct and its binding mechanism. In particular, this aspectual interpretation must be ensured in case of partial binding (not all parameters are valued). Partial binding of UML is a powerful technique which allows to obtain richer templates from the composition of other ones. As a major result, the present semantic enhancement is consistent with this capacity so that partial binding of aspectual templates produces aspectual templates. Finally, at an operational level, an algorithm for aspectual template (partial) binding operation is formulated and consequent reusable technology made available in EMF (Eclipse Modeling Framework) is presented.     

UML状态机的模型检验方法

模型检验是一种确保设计规范正确性的形式化自动验证技术,本文提出了对UML状态机进行模型检验的方法。文中首先对UML状态机的语法和语义进行描述,然后基于语义中的RTC步给出生状态机全局可达状态迁移图的方法,方法的核心是在当前格局下根据使能条件确定所有的最大无冲突迁移集。文章最后给出算法以验证UML状态机是否满足用计算树逻辑（CTL）公式表示的性质。     

面向方面的UML建模

为了解决软件开发中建模对于系统级关注点被忽略的问题,提出了面向方面的UML建模模型。对面向方面技术和UML进行全面介绍,使其了解它们的主要构成及参数,并基于AspectJ语言扩展UML中的特征文件(profile),来实现面向方面UML建模(AUML)。该扩展是UML体系的一种扩充,它既结合了UML面向对象的特点,又对面向方面横切关注点在语义和结构上进行了规范。最后就图书管理系统进行举例说明,总结了面向方面软件开发(AOSD)profile的参数。     

Extending UML with coordination contracts

Coordination contracts are a software analysis and design construct which enable separation between the stable components of a system and the rules which define the interactions of these components. This separation supports rapid evolution of rules without requiring modification to components. In this paper we show that contracts can be defined in UML, and we define an MDA-based development process which makes use of contracts.Communicated by Jos Warmer     

方面化双核中间件模型

本文从框架扩展性、依赖关系可管理性和AOP支持粒度的角度分析了三种典型的中间件平台的架构及内核结构。针对它们存在的问题,提出了一种新的方面化中间件模型--双核中间件模型。该模型具有更好的可扩展性、依赖关系管理能力和细粒度AOP支持,同时还加入了组件移动性支持,更好地满足了按需定制计算的需求。     

方面化构件模型及其组装方法

结合基于构件开发的软件工程思想和面向方面开发的优点,提出了方面化构件模型,探讨了利用AspectJ中的方面以及动态代理实现核心模块构件和全局性约束构件的组装方法。使得构件在组装过程中获得了透明性、可重用性和灵活性。     

基于AOP的角色访问控制模型设计与实现

随着信息技术的不断发展,用户可访问的信息资源越来越复杂,越来越难以管理。当前,在Web信息系统开发中,角色访问控制已经成为了一个研究热点。介绍了角色访问控制(RBAC)、AOP以及AspectJ的相关知识;根据RBAC的基本理论,以笔者曾参与开发的一个Web信息系统为原型,给出了一个基于角色-表单模型的设计,并采用AOP技术,给出了相应的实现方案。     

扩展UML语义以支持并行和分布式仿真系统设计

标准UML中不包含虚拟时间和时间同步语义,因而缺乏对并行和分布式仿真(parallel and distributed simulation,PADS)系统设计的支持,对标准UML语义进行扩展以支持PADS领域的概念并降低PADS系统构造的复杂性．主要的工作包括在UML,中引入虚拟时间语义,用包含虚拟时间标记和约束的状态图和交互图来描述仿真实体的功能属性,另外,通过创建虚拟时间同步构造型(stereotype),提出“分离法”将时间同步细节与仿真模型内部的功能属性逻辑地分离,不仅使得仿真对象建模更加容易,而且使仿真模型和时间同步策略两者的重用性大大提高。