一种基于AOP的软件演化策略设计与实现

软件演化通常需要向系统的各个模块中添加新的通用功能,一般是在每个有需求的模块中直接插入相应的功能代码,但这种做法工作量大、出错率高,同时容易破坏系统的结构.为此介绍了一种基于面向方面的编程(AOP)的软件演化策略,该策略通过使用关注点,向演化系统中注入新的代码,而不改变系统的结构.除此,还介绍了基于此方法的支持软件演化所实现的一个工具,并通过实例对该方法加以了验证和说明. 该方法只是应用了AOP的思想,因此不局限于支持AOP的程序设计语言,对于一般的面向对象的程序设计语言都适用.     

基于RBAC设计安全系统的面向方面

随着安全政策模型的进化，设计安全系统使用的模型也变得越来越复杂，亟须一种适用于管理开发、重用及设计的演化的方法。针对这种情况，基于角色的访问控制技术，采用AspectJ的组件规则和为设计提供扩展的UML设计符号的方法，提出了面向方面的方法设计安全系统。该方法易于学习和应用，且不必依赖特殊的实现模式。     

一种基于Object-Z的面向方面建模方法

提出一种基于Object-Z的形式化面向方面建模语言及其建模方法。方面规范提供了观察基本模块和方面模块的行为、描述它们相互关系的手段,编织机制将两类模块系统地集成为一个完整的系统模型。该方法能有效地简化系统建模,提高系统模型的可复用性,也为进一步验证系统性质提供了理论基础。     

AOP在BPEL服务组合中的应用的研究

为了解决BPEL语言对横切关注点建模的缺乏和动态演化方面的不足,文中提出一种把协调策略附加到BPEL伙伴链接和作用域上,在部署时对参与业务过程事务的伙伴服务支持的协调类型进行验证,保证业务过程需要的协调类型被参与者支持。同时,引入了面向方面编程（Aspect Oriented Programming,AOP）的思想,分离事务需求横切关注点,通过利用现有的支持动态织入的BPEL引擎等相关技术,使得事务管理需求能够在运行时动态地织入,并且能够在伙伴服务或者是业务过程改变时实现动态的修改。     

一种基于面向方面的统一过程软件开发方法

对近年提出的面向方面(aspect oriented)软件开发方法和统一过程软件开发方法分别进行分析后,结合面向方面和统一过程的优势,提出了一种基于面向方面的统一过程软件开发方法.解决了传统软件开发方法中存在的许多问题.     

动态统计信息理论

将现有Shannon静态统计信息理论拓展至动态过程, 建立了以动态信息熵和动态信息的演化规律为核心的Shannon动态统计信息理论. 与此相对应, 还提出了Boltzmann动态统计信息理论. 基于动力学系统各自的态变量演化方程、即Fokker-Planck方程和Liouville扩散方程可看成是其信息符号演化方程, 推导出了表述动态熵和动态信息的演化规律的Shannon动态熵密度和动态信息密度的非线性演化方程以及Boltzmann动态熵密度和动态信息密度的非线性演化方 程. 这两种动态熵和动态信息的演化方程一致显示: 动态熵密度随时间的变化率是由其在系统内部的态变量空间和传递过程的坐标空间的漂移、扩散和产生三者引起的, 而动态信息密度随时间的变化率则是由其在系统内部的态变量空间和传递过程的坐标空间的漂移、扩散和耗损三者引起的. 熵和信息己与系统的状态和运动规律联系在一起. 进而给出了两种熵产生率公式和信息耗损率公式, 两种漂移信息流和扩散信息流的表达式. 证明了两种信息耗损率(或总信息的减少率)等于其相应的熵产生率(或总熵的增加率). 得到了反映信息在传递过程中耗损特性的两种动态互信息公式和动态信道容量公式, 它们在信道长度与信号传递速度之比趋于零的极限情况下变为现有的静态互信息公式和静态信道容量公式. 所有这些新的理论公式和结果都是从动态信息演化方程和动态熵演化方程统一推导出的. 综述了上述思想、方法、主要结果和典型运用, 讨论了两种动态统计信息理论的同异.     

基于SystemC描述的嵌入式系统的自动化验证

基于SystemC的嵌入式系统描述 ,提出了一种全新的自动化验证方法 .该方法采用面向方面编程技术、分离和封装测试代码 ,结合自动化测试框架 ,完成对系统的自动化验证 .此验证方法对被测系统无扰动 ,能适应测试要求的灵活变化 ,对嵌入式系统模型可自动、重复地测试 ,能够满足系统级模型快速验证和评估的要求 .     

基于分布式对象计算技术实现动态企业建模

为了实现企业结构、行为及信息等方面的集成并最终实现基于模型驱动的动态企业优化设计、分析与操作 ,文中从提高企业组织和运作的柔性的角度出发 ,系统分析了动态企业建模的技术内涵 ,讨论了动态企业建模环境及其基本构成、典型化的企业模型层次结构及各模型之间的关系 ,提出了基于分布式对象计算技术实现动态企业建模的策略及其系统实现的方案。动态企业建模技术使企业的应用系统能紧密匹配企业经常改进的业务流程和业务活动 ,减少了企业系统的复杂性 ,增加了应用柔性     

基于BPEIAWS的新型电信业务创建方法

采用基于万维网服务的业务过程执行语言（BPEL4WS）的方法开发新型环境下的电信业务，试图解决电信业务开发难度大、周期长的问题。首先针对电信业务的特点指出了BPEL4WS的不足，然后提出采用面向方面编程（AOP）的方法解决了其中的模块化和动态扩展的问题并给出了系统的架构和实现方法，最后实验结果证明该方法的可行性。     

面向方面的程序设计及其相关的关键技术

从软件开发方法学的角度探讨AOP为何成为结构化或者面向对象技术的补充,它怎样提供对横切关注点的标识、分离和封装技术;然后论述AOP的有关概念,支撑结构,优缺点等.并结合开发一个对C语言扩展的AOP系统的具体实践,阐明和总结要实现一个AOP语言所要涉及到的关注点和方面的封装、描述,方面代码的编译,静态或动态织入方面代码等关键技术.     

基于超图文法的软件体系结构动态演化

提出用带约束的超图表示软件体系结构,给出基于超图态射的软件体系结构动态演化通用产生式规则的形式化语义和操作,定义类型超图作为体系结构风格,运用超图文法和体系结构风格建模软件体系结构动态演化.为了验证软件体系结构动态演化的正确性,采用模型检测技术,设计算法对软件体系结构动态演化性质进行形式化验证,并应用模型检测工具进行实验分析.该方法既提供了图形化的直观表示,又展示了基于文法的形式化理论框架.     

XDL——基于XML的软件体系结构描述元语言

软件体系结构是指导基于体系结构的软件开发过程的系统蓝图,而软件体系结构是由软件体系结构描述语言(ADL)来描述的.提出1种基于XML的软件体系结构描述元语言XDL作为ADL的元语言.通过XDL构造出的ADL具备大多数基于XML的ADL描述高层软件体系结构的能力,支持系统的扩展与演化,支持系统的验证,保证与其他ADL的互操作性,在软件生命周期中保证体系结构模型的可追溯性.     

基于动态体系结构的形式化描述

随着软件工程的发展,对软件的动态演化提出很高的要求,动态体系结构语言成为描述复杂软件体系结构重要工具.提出基于形式化语言Z的描述,通过Z体系对构件、连接件、配置进行定义,以达到动态演化的目的.     

基于Z-ADL语言的动态体系结构描述

软件动态演化已成为软件发展的新动力,动态体系结构语言成为描述复杂软件体系结构的有效工具.提了一种基于Z-ADL语言的动态体系结构描述,可通过对构件、连接件添加和删除实现软件的动态演化.     

基于体系结构描述的软件测试技术

在软件结构描述语言的基础上,研究了组件之间交互所引起的错误测试,并提出静态分析和动态测试模型.静态模型通过检查组件端口及其所允许的消息类型来约束构件的交互,动态模型通过Petri网刻画组件执行过程中的动态行为,生成动态行为图.在此基础上,又提出了测试充分性准则和测试需求,根据不同的体系结构抽象层次,基于不同的路径覆盖级别,生成测试用例,由此平衡开发成本、进度与质量需求之间的关系.最后,以客户/服务器结构为例说明该方法是适用的.     

可动态维护的软件体系结构

将软件维护的方法和技术划分为方法级、源代码级和目标代码级等３个层次,并给出了可在目标代码级支持软件动态维护的软件的体系结构。     

软件体系结构动态特征建模与验证

针对软件体系结构描述语言在分析、验证软件构架动态行为中的不足,采用谓词/变迁(Pr/T)网为软件体系结构动态行为建模,并提出了基于线性时序逻辑的软件体系结构动态行为模型验证方法.首先根据体系结构层次模型扩展Pr/T网建立体系结构动态行为模型(DFM)并构造DFM的可达图,然后使用基于自动机理论的方法来验证模型的时态逻辑性质,最后通过对一个电子商务系统实例的并发控制机制建模和模型检测,验证了该方法的有效性.所提方法结合了Pr/T网和线性时序逻辑的优点,为进一步开展软件体系结构动态行为的分析、验证奠定了基础.     

基于UML的软件构件进化模型

在统一建模语言UML(Unified Modeling Language)的基础上提出应该从平面关系和进化关系两个方面来支持面向对象软件的开发。平面关系强调以各种视图显示软件构件(包括分析设计模型元素和代码模块)的体系结构;进化关系是指软件构件被引入系统、发展、实现、再扩充直至灭亡过程中的变换关系。提出并详细介绍了基于UML支持环境中的进化模型。进化模型系统描述了进化关系,并支持UML各模型之间的转换和各开发阶段的平滑过渡。     

Design and implementation of DBC based on dynamic AOP

Traditional approach of design by contract, due to mixing the contract code with application code, is difficult for the extensibility and reusability of software system. This paper presents a framework named JADBC for design by contract based on Aspect-Oriented Programming (AOP) to resolve these problems. By providing a new modularized element, aspect, the framework successfully separates the contracts in design by contract, from functional codes. The implementation of this framework is based on dynamic AOP which can have the contract changed at runtime, consequently, enhancing program flexibility. JADBC framework modularizes the contracts in a clear-cut fashion that is easier to design, implement, and maintain. Biography: WEN Jing (1982–), female, Ph.D. candidate, research directions: software engineer, aspect-oriented software development.