软件需求的不断变更是如今的常态,为了既满足用户需求又适应系统依赖环境的改变,现有的构件系统就必须要进行改变演化,使之成为业务功能更强大、满足需求变动和适应系统环境的构件系统。演化后的构件系统中各个构件彼此能够无冗余的按照一定次序正常交互,且可以完成演化前的任务,达到用户的要求,即满足一致性是演化操作正确执行的必要条件。一致性判定选取的判定元素单一、不适用于演化阶段以及各个构件是否按照一定次序正常交互的判定局限性是构件系统演化一致性判定需要解决的问题。基于构件的软件开发方式已经是目前主要的开发方法,针对构件式软件在动态演化前后的一致性保持问题,本文基于外部和内部两方面从接口、流程结构、行为三点出发,提出了一种构件系统演化一致性判定方法,具体内容如下:。首先,在演化后的系统中,将每个构件视为判定执行者,让所有的构件协同参与一致性判定过程。从接口和流程结构出发,判断判定执行者和全局的一致性,其中接口一致性包括接口操作对称性和接口消息类型一致性,流程结构一致性是基于UML状态图来进行分析的,这是外部一致性;其次,在满足接口、流程结构一致性的情况下,通过比较判断演化构件在演化前后的行为一致性,这是内部一致性;最后,本文分析了演化过程中可能出现的异常演化情况,并且用π演算对其进行了建模描述。除此之外,对一个图书订购的构件系统实例进行了完整分析,详细描述了本文所提判定方法的分析过程,并且运用π演算对其进行建模检测和推演,然后代码实现了演化一致性分析的原型工具,验证了本文所提方法的可行性和有效性。总之,本文提出了一种演化一致性判定方法,并完整描述了其分析过程。