论文部分内容阅读
“网构软件”是一种流行的网络资源整合模式,它由分布式的、具有主体化特征的软件实体组成,能够感知环境并通过动态演化来适应外部环境的变化。SOA是软件架构技术发展史上的一次革命性进步,是实现网构软件模式的最佳选择,SCA则是实践SOA架构的一套详细标准规范,它对基于SOA的软件开发作了详细的描述。遵循SCA规范的软件开发方法是通过开发独立的SCA组件来实现业务无关的单元功能,而通过组件组合来实现领域相关的业务系统。基于SCA组件的动态配置技术可以被用于实现网构软件的可演化性特征。本文主要针对SCA组件动态配置技术展开讨论,提出了一套动态配置实现的机制和方法,并依据该设计实现了原型系统,主要内容包括:支持动态配置的SOA系统体系架构、主要过程与关键功能。体系架构设计与动态配置技术紧密相关,包括监控模块、配置意图获取模块、实施与管理模块等;主要过程包含了配置触发、配置执行、配置验证和配置提交等;涉及到的关键技术有异常发现,组件运行时替换和配置结果验证等。SCA组件的异常检测机制。动态配置实施的前提是系统能主动发现异常情况,并触发动态配置,实施对异常组件的替换,本文中提出了基于组件QoS信息的异常检测机制。该机制通过计算组件运行时的QoS信息与组件提供者声明的QoS信息之间的偏离距离来判定是否发生了组件异常。SCA组件动态配置的执行过程。动态配置的执行涉及到系统暂停,状态快照,组合结构重组,配置正确性验证及运行恢复等复杂的流程,整个过程发生在软件系统运行过程中,对用户表现透明。SCA组件动态配置的一致性验证。组件行为的一致性验证是动态配置的关键步骤。本文引入了使用PI演算对组件行为一致性进行验证的方法,并介绍了相关实现步骤和功能。