分布式系统动态更新的研究

为了动态更新分布式系统,研究了多结点分布式系统的更新顺序问题以及更新过程中新旧版本共存的难题,同时提出一种动态更新分布式系统的方法,该方法基于设计模式中的代理模式,不需要运行时机制的支持。最后通过实验证明了该方法的有效性和安全性。     

upDSL：一种描述动态更新策略的领域特定语言

定义了一种刻画软件动态更新策略的领域特定语言upDSL.该领域特定语言可以对OSGi平台中模块动态更新策略进行结构化描述,并可提供动态更新关键步骤的必要信息,从而实现动态更新的可控性和安全性,并为不同的动态更新机制实现提供良好的描述和推理基础.     

普适环境中的动态更新模型

致力于普适计算下的动态更新的研究,首先分析了普适计算下动态更新的场景,针对普适环境的动态性,我们提出了区别于传统更新方式的路径更新;通过分析集中式更新模型的局限性,提出了适合普适环境的分布式更新模型;最后使用类型与效果系统为更新模型做形式化分析.     

基于抽象状态机的普适服务组合分析与验证

提出了一个普适环境下服务组合的框架,使用抽象状态机对服务的行为进行不同精化层级的形式化描述,然后利用 CoreASM 这一模型检测工具对服务组合进行模拟执行验证,从而验证服务组合的正确性.最后给出了一个运用此方法进行服务组合验证的典型应用场景.     

基于R-OSGi平台的语义服务

R-OSGi是基于OSGi的一个分布式应用框架,可以透明地访问远程OSGi平台的服务,R-OSGi平台的服务查找基于严格的句法匹配,通常存在"同义异形"和"同形异义"的问题.利用OWL引入语义信息,提出了基于R-OSGi平台的语义服务(包含语义信息的服务),解决了句法匹配所带来的问题,并通过一个智能家庭具体应用说明了方法的可行性和有效性.     

基于分片、松耦合的分布式文件系统的设计与实现

文章介绍为CGSP^＊（China Grid Support Platform）身定制的一个基于分片的、松耦合的分布式文件系统。与现存的分布式文件系统相比，本系统有以下特点：（1）将资源层与管理层完全分离；（2）基于分片而不是整个文件进行管理；（3）数据资源和用户虚拟空间都纳入WSRF框架。以上几点都是针对网格海量数据密集型应用而设计的：     

基于ASM的普适环境下的服务动态组合

在综合研究已有的服务组合的各种方案的基础上,采用层次结构的服务组合框架,同时利用回溯树进行服务的动态组合,最后用ASM建立一个普适环境下服务动态组合的基础模型并对其进行精化,同时通过CoreASM对该模型进行模拟执行验证.