动态更新是指,对运行中的程序(代码和数据),在不中断其运行的前提下,对其进行更新。动态更新策略为动态更新过程中的关键步骤提供必要的信息,并作为这些步骤执行的重要依据。具体来说,动态更新中更新时机确定,更新顺序确定以及状态转换操作等具体操作的实施都需要参考制定好的更新策略,系统根据这些策略来做出决策(例如,更新操作是否可以完成,何时进行更新等等)并采取相应的步骤(按照更新顺序对模块进行更新)。国内外对于动态更新的研究已经开展多年,已经存在大量相关的模型、技术的研究成果。但是目前仍缺少一种描述动态更新策略的模型,同时在现有系统中,对动态更新存在诸多约束,并不能完全反应目前对于动态更新研究的最新进展。在这一背景下,本课题在深入研究OSGi框架的内部工作原理的基础上,定义了一种用于描述OSGi框架中动态更新策略的领域特定语言——upDSL。该语言可以用简便的方法描述出动态更新过程中所需的关键信息,系统可以方便的对其进行解析、验证和控制。使用upDSL对动态更新策略进行描述的优点在于:1.放宽了动态更新对于新旧版本成员类型的约束;2.可以用简洁的方式结构化的描述动态更新策略;3.动态更新所涉及的对象和操作易于描述(相比其它通用语言,领域特定语言的描述更贴近问题域);4.使用upDSL刻画的信息可以方便的在动态更新过程中使用(与软件运行平台结合紧密)。考虑到在可动态更新的环境下,各个软件模块的开发、部署、功能等方面都有很大的差异性以及动态性。因此要制定针对于软件系统整体的动态更新策略显然是不可行的。换句话说,在动态更新的背景下,需要从模块开发者的角度来制定局部于单个模块的更新策略,并且通过软件系统的更新策略管理模块来解析、运用、管理、整合这些局部策略,以此来间接获得适用于系统整体的更新策略。在定义了upDSL之后,本课题在OSGi平台中实现了动态更新策略的管理模块。通过动态更新策略管理模块,系统可以集中化的控制和运用动态更新的策略,实现策略和机制分离,及早发现策略定义(一定情况下还能够解决)问题,尽可能避免各类运行时错误,以此保证动态更新的动态性,以及更新前后系统数据的一致性等。此管理模块主要具有下述功能:1. upDSL程序的解释器:解析upDSL文件,将upDSL语言描述的动态更新策略信息转化为系统内部各个部分所需要的表达形式;2.及早发现可能导致运行时异常的问题;3.产生更新顺序。本课题的上述两个成果为OSGi平台提供了一种动态更新策略刻画以及集中式管理的方案,增强了动态更新的可控性,在保证更新动态性和正确性要求的基础上,放宽了传统对动态更新的约束。