首页 >>  从构件化软件在运行时过程中动态更新的功能和非功能需求着手，首先分析研究在构件化软件中提供动态更新支持需要解决的关键技术问题及其解决方案；其次是结合动态模块化、事务处理、状态迁移等动态更新支持需求，扩展高阶π演算（HOπ演算），以分别刻画动态模块化、事务处理和状态保持等动态更新支持机制，开发一种刻画构件化软件动态更新的形式化演算（称为updateπ演算），以期为动态更新安全性、一致性等的保证提供形式化推演机理；最后构建动态更新服务框架和支持平台。