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

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

基于UML状态图的面向方面软件建模

该文基于UML状态图对缓存并发读写问题进行面向方面的建模,把系统的同步和调度分离出来,建模为方面。该方法有效解决了面向对象中功能和代码混乱的现象,也提高了系统模块的可复用性。     

一种基于CSP的面向方面状态图形式化描述方法

面向方面通过分离关注点解决软件系统中的横切问题,通过扩展UML可实现对面向方面的建模。本文利用UML的扩展机制将方面加入状态图中,描述了状态图中的方面与核心组件以及方面之间的编织,然后利用进程代数的形式化语义描述了扩展后的UML状态图,克服了扩展UML描述状态图的缺乏形式化动态语义,不利于对模型进行形式化验证和证明的缺
点。最后,以ATM自动取款机为例验证了基于CSP的面向方面状态图形式化描述的有效性。     

面向方面的软件产品线需求建模

为了将软件产品线的横切关注点在开发的早期阶段分离出来,完成系统分析向设计阶段的顺利过渡,提出了一种面向方面的软件产品线需求分析模型,并给出该模型需求分析的基本步骤.通过冷库管理系统的实例,给出了识别和描述功能需求、非功能需求和横切关注点的方法,利用UML类图完成方面和功能整合,在此基础上介绍了用关系矩阵和合并非功能需求集合的方法来描述非功能需求.实验结果表明,该方法能够有效简化软件产品线需求建模的复杂性.     

面向操作的装备虚拟训练系统机理建模方法

针对现有装备虚拟训练系统中,外观模型与机理模型紧密耦合所导致的模型开发效率低、不可重用的问题,分析了装备仿真模型结构,提出了一种外观模型与机理模型独立开发的设计思想.在此基础上,介绍了面向操作的装备虚拟训练的概念,并提出一种面向操作的机理建模方法.该建模方法基于图形化、层次化的建模形式,具备标准的语义、语法,可以完备地描述装备系统的动态工作过程.应用实例结果表明了该建模方法的可行性和实用性.     

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

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

一种面向OSGi的构件化软件再工程方法

面向服务的构件模型可以解决当前大型软件系统难于管理、维护困难和缺乏动态性等问题,而OSGi框架为基于构件系统的服务化开发提供了有力支持。把OSGi作为基础框架对遗留软件系统进行再工程,设计了OSGi化软件的总体框架,提出了软件系统构件化方法,并针对再工程过程中普遍存在的问题给出了相应的解决方案。最后,通过对Web容器再工程的实例研究,验证了面向OSGi的构件化软件再工程方法的有效性。     

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

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

基于用例的面向方面需求建模

面向方面软件开发（AOSD）方法在编程阶段已能较好地实现横切关注点的分离,因此,对如何利用AOSD在软件开发的需求分析阶段实现横切关注点的分离进行探讨,结合用例技术实现对关注点的建模,以提高软件的重用性和可维护性。通过实际案例对模型进行分析说明,将横切关注点作为扩展用例处理,合成到需求模型中,可提高系统模块化程度和需求追踪性。     

一种面向方面的网格安全模型研究*

通过引入面向方面的核心思想,分析了网格安全实现方案GSI中存在的结构复杂和耦合度过高问题。在传统网格安全模型的基础上,利用方面机制来实现网格安全,提出了一种新的面向方面的网格安全模型(AOGSM),并对该模型进行了详细描述。仿真实验表明,面向方面的网格安全模型通过对网格安全横切特性的分离,降低了网格安全机制的复杂度和模块间的耦合度。     

基于面向方面的实时系统建模方法

分布式实时系统的实时特性可以利用面向方面软件设计方法来建模，把时间方面细分为确定的时间子方面、不确定的时间子方面和模糊时间子方面。根据面向方面技术，不同的时间子方面分别利用随机实时时序逻辑（SQTL）和模糊时间Petri网（FTN）来表示，并且每个不同形式化语言表示的子方面模型能够通过转化为时间自动机织入系统，实现系统的实时特性。     

基于面向方面的软件重用模式设计

针对传统的软件重用设计模式，分析了在采用当前流行的面向对象开发方法进行软件重用设计的不足之处，阐述了面向方面的程序设计理论，提出了一种新型的面向方面软件重用模式设计方法，并结合实际应用给出了具体的设计步骤以及面向方面的程序代码架构。     

基于AOP的时空Petri网的CPS建模

信息-物理融合系统(Cyber-Physical System,CPS)作为一系列物理过程和计算过程的紧密集成,体现为物理世界和信息世界的交互与融合。针对CPS的时空及非功能属性,提出一种面向方面的时空Petri网建模方法,在保证时空一致性的前提下,分离系统中的核心关注点和横切关注点,将横切关注点单独作为方面进行分析,并将构建规则方面重新织入系统。该方法在系统设计阶段可以对不同的非功能属性进行形式化分析,提高了系统的可靠性和可维护性。最后通过实例说明了该方法的可行性。     

基于软件总线的小卫星系统软件可重用结构设计

提出了一种小型探测卫星系统软件的可重用性结构设计方法。为实现可重用性,软件结构采用了模块化策略,各任务模块间相互通信采用了“软件总线”概念。软件总线为每个任务模块提供一个简单的标准化数据通信接口,因此对某一星载系统任务模块的修改或增加或替换时不影响其它任务模块,同时某些场合,卖命通过对地面上实时地改变软件总线上的调度表内容的方法,很容易改变卫星的工作状态。在星载系统软件软件开发周期内,各任务模块通     

基于并行工程的软件测试模型研究

结合并行工程和软件过程改进的思想，提出了一种适用的软件测试模型，并介绍了软件测试流程及相应的软件测试技术。     

基于时序逻辑的面向方面体系结构描述语言

运用传统体系结构描述语言描述的软件体系结构(SA)方案始终存在着一些横切行为和特征,它们混杂和散列在不同的SA设计单元中,使得SA难以理解、难以演化和难以重用。针对这一问题,基于时序逻辑语言XYZ/E,在统一的时序逻辑框架下设计出一种面向方面体系结构描述语言AC2-ADL。系统地阐述了AC2-ADL的概念框架并用XYZ/E进行语义解释,最后结合案例介绍了如何用AC2-ADL对SA进行描述。     

一种基于多Agent的并行设计支持系统体系

介绍了一种基于多智能体的CSCW环境下的并行设计智能支持系统体系，对并行设计过程进行了分析，根据群体工作及其计算机支持的思想，提出了一种基于CSCW的设计支持系统体系结构，重点介绍了其中的决策和推理模块，详细讨论了多智能体的实现，最后给出了一个应用实例。     

分布式计算环境下的并行设计系统

在并行设计过程中,如何把各个部门的设计信息有效的集成是需要解决的重要问题。该文中的并行设计系统利用面向对象技术描述各个部门建模的特征信息,建立起各个部门的类库。而各个部门的建模系统通过基于CORBA的分布式系统的支持可以方便的获取远端或异构建模系统的特征信息,也可以调用异构建模系统的应用程序,从而实现并行设计。     

一种建模软件体系结构非功能属性的方法

非功能属性的处理一直是困扰着研究人员和实践者的难题.针对体系结构设计阶段早期,提出一种建模非功能属性的方法.该方法利用面向方面软件开发中的关注点多维分离原理,提出建模软件体系结构的"1+X"模型,并在此基础上进一步划分体系结构非功能属性的维度,归纳各个维度上的关注点,利用XML对维度和关注点进行规约.该模型为后续设计面向方面的软件体系结构奠定了基础,为体系结构设计人员提供了方法支持,而且该成果可以直接用于不同领域内的软件体系结构设计.