一种面向服务的动态协同架构及其支撑平台

为了让面向服务的架构下的应用系统能够灵活地动态演化以适应底层因特网计算环境和用户需求的变化，该文提出了一种面向服务的动态协同架构．该架构引入内置的运行时体系结构对象来解耦系统中的各个服务构件，并通过该对象以体系结构的视角来重解释服务部件之间的引用和交互．这样就把体系结构这一抽象概念具体化为可直接操控的对象，从而可以利用面向对象程序设计语言的继承和多态等整套机制，导出一种面向体系结构的系统动态演化技术．为支持这一架构，设计并实现了一个支撑平台Artemis-ARC，为具有动态调整能力的面向服务应用系统的开发、运行和监控提供了一套可视化的集成环境．在此平台上还开发了一个简单的示例应用以展示动态调整的效果．  

一个面向服务的支持动态演化的软件模型

为了使面向服务的架构更适应动态演化的需求，提出了基于体系结构空间、支持动态演化的软件模型SASM．SASM是使用反射技术，通过具有因果相联的基层和元层来构造．基层由可运行的服务形成，元层是一个具备树形层次、层间存在求精关系的体系结构空间．该空间反映了需求的层次性，提供给用户不同抽象级别的视图和管理手段．通过对体系结构空间的观察，可获知系统的结构和行为信息．通过对体系结构空间的在线调整可实现对基层的修改进而实现系统的非预设动态演化，而空间中不同层次之间的求精关系保证了应用的完整性和演化的一致性．  

基于服务组合的可信软件动态演化机制

以基于服务组合的可信软件为研究对象,重点研究通过组合服务的动态演化机制保障网络化软件的可信性.首先,提出了一个合理性保持的演化操作集,避免复杂的验证过程,使得演化后的组合服务保持结构合理性;在此基础上,通过构造冗余路径的方式给出了一个面向可用性保障的组合服务演化方法;然后,针对组合服务动态演化过程中运行实例的处理,设计了一个组合服务演化中运行实例在线迁移算法,为正确实施演化提供支持;最后,设计实现了一个支持动态演化的组合服务执行引擎,并通过实验验证了所提出方法的有效性.  

动态演化环境中可信软件行为监控研究与进展*

提出了一个软件行为监控框架，在此基础上，从软件行为描述、软件行为监测、软件行为可信管理和软件行为控制四个方面，阐述了可信软件行为监控的研究进展，分析了目前研究中存在的问题，并探讨了其未来的发展趋势。  

软件体系结构的属性图文法描述及其约束验证*

在前人工作的基础上,使用了一种利于约束检查和属性刻画的属性图文法,该方法形式地描述了体系结构及其演化;接着给出了一个算法检查演化动作是否会破坏体系结构约束.在对属性图文法系统AGG的图形解析器进行定制和改进的基础上,设计并实现了体系结构自动检查器.该检查器已应用于面向体系结构的服务集成开发平台Artemis-ARC系统中.  

基于不动点转移的SA动态演化模型

构造性和演化性是软件的两个基本特性．而软件演化包括静态演化和动态演化两个方面．动态演化更为复杂，这种复杂性决定了．对动态演化的研究首先应从宏观层面人手．软件体系结构SA作为软件的蓝图和支撑骨架．为人们宏观把握软件的动态演化提供了一条有效的途径．该文描述了构件——连接件组成的SA动态语义网络模型．分析了SA动态语义网络模型中的浸润过程．给出基于不动点的浸润过程收敛的判定，提出了邻接矩阵过滤和原子过滤的概念，阐明了基于邻接矩阵原子过滤的SA动态语义网络浸润步的原子性．指出SA动态演化过程可用一系列邻接矩阵原子过滤在时刻上相继的逻辑衔接来描述．最后给出了两个层面上对SA动态演化波及效应的分析方法．为基于矩阵变换的SA动态演化的进一步研究和计算机自动量化描述奠定了基础．  

基于构件的网构软件系统动态演化

为适应网构软件系统在线演化的需求，提出一种基于构件的网构软件系统动态演化模型。该模型以构件为基本单位，基于软件体系结构部署和实施演化，给出构件添加、删除和替换需求的演化算法，通过引入一致性检查机制保证演化的安全和可靠。该模型实施简单、具有普遍适用性，软件系统无须进行大量的改动即可适应该演化模型。  

面向软件动态演化的需求建模及其模型规范化

针对目前需求工程阶段对软件动态演化考虑不足的现状,在分析软件动态演化面临的挑战的基础上,设计了面向动态演化的需求元模型(dynamic-evolution-orientedrequi rements meta-model,DERM)。该元模型以特征为基本部件,按特征组合的方式建立需求模型,需求模型由行为特征和属性特征组成。行为特征被区分为计算行为特征和交互行为特征,以实现计算和交互的相对隔离;属性特征通过其作用域,指定其在行为特征模型中的作用范围,从而将行为特征模型和属性特征模型统一为需求模型。在此基础上,讨论了需求模型的参照完整性、依赖一致性和互斥一致性,并进一步把需求模型规范化为需求模型第一范式到第三范式,需求模型规范化的过程提供了一种保证需求模型一致性的方法。最后通过案例研究,表明了该方法的可行性及其对软件动态演化的有效支持。  

基于进程代数的构件动态演化行为一致性研究*

为了保证构件在动态演化时的行为一致性，提出了一种基于进程代数的构件模型，形式化描述了构件及其对外交互协议，引入了对外主动请求接口和内部连接，并给出了行为一致性验证的规则和相关定理;然后给出了验证算法;最后，通过一个构件化系统的实例来说明所提出方法的可行性。  

基于身份的一次性公钥分析与重构

针对一种基于身份一次性公钥的构造方案给出2种攻击方法，指出其是可伪造的。基于超奇异椭圆曲线并利用一般椭圆曲线签名算法对基于身份的一次性公钥方案进行重新构造，新的构造方案能够抵抗伪造性攻击，是安全高效的。由于用户每次可以使用不同的公钥，方案可用于解决Internet通信中的匿名认证问题，实现用户隐私的有效保护。