分布式系统中软件动态更新的形式化研究

一些服务于关键应用的分布式系统在持续运行中为了适应不断变化的需求，必须不断更新以修正软件故障、扩展服务功能。但目前还缺乏简单、可靠的形式化方法，以理解、推演、分析、预测和评价分布式系统中软件动态更新的问题。本项目旨在对分布式系统的软件更新行为的各类需求和机制进行分析，抽象出独立于特定语言和运行环境的有一定通用性的框架模型，设计出描述动态更新机制的形式化演算及相关类型系统，通过理论分析和观察系统原型考察动态更新可能出现的问题，预测系统的演化趋势，提出相应的解决方案以指导支持动态更新的分布式系统的设计。项目研究将对支持动态更新的分布式系统的开发产生积极的影响，提出的形式化方法将能够帮助系统设计者和使用者从理论上理解、描述并验证基于特定编程语言和具体运行环境的分布式系统的软件动态更新机制，并为可动态更新的分布式系统的开发提供可靠的理论指导和分析工具。