随着新环境的出现,要求软件必须具有自治计算的能力、具有自省性和自适应性的能力、能够支持动态的重配置和网络在线维护和演化的能力。而反射是指系统推理和作用于自身的一种能力,能支持系统的自省和调整,还能支持系统在不同环境下的配置和重配置的能力。基于上述的这些原因,采用反射技术是满足和实现在新的环境中软件发展具有上述新特征的一种可行性途径。 Jose Meseger等人提出的推演系统和泛理论概念,为反射的统一描述奠定基础。但其中缺乏系统相应动态性描述机制,故本文引入重写规则来描述系统的动态变化过程,从而形式化了一个抽象的反射系统。这样不仅可以关联所有反射系统,使反射概念得到精练和统一化,而且能够为各种反射的应用提供理论基础,更容易地理解和建立各种具体反射系统。在此基础上,本文提出了一种比较抽象的对象式反射系统CAERM(composable multi-meta-object adaptable and extensible reflective model),以一种动态的方式形象刻画了整个对象式反射过程,并融入了相关的反射概念。这样解决了当前的对象式反射系统形式描述中两个方面的不足:一是缺乏反射系统动态变化过程的详细描述,二是相关反射概念如因果相连、重配置等描述在系统中的体现不够清晰。 最后,给出了CAERM在水情检测系统的应用,这说明了该模型的实际可行性,有一定的实用价值。