随着对软件系统的连续运行性要求的提高,构件的动态演化逐渐成为研究热点,而保证构件系统的行为一致性是构件动态演化的首要问题和根本目标。不受约束的系统行为改变可能导致系统出错,因此在演化中引入某些约束条件以保证行为的一致对于系统正确运行有着十分重要的意义。本文对构件动态演化中的行为一致性进行了深入研究。首先,分析了构件动态演化和行为协议方面的相关研究,指出构件动态演化在验证构件间协议级行为兼容性和完整性方面的不足,阐述了课题研究的意义,论述了课题的研究内容,给出了相关的理论知识。其次,在总结已有的动态演化和行为协议研究的基础上,提炼出动态演化系统中共有的行为一致性。通过分析行为一致性应满足的约束条件,提出了一种基于进程代数的构件模型,形式化描述了构件及其对外交互协议,引入了对外主动请求接口和内部连接,并为行为协议构造了直观的状态变迁图。再次,利用所提出的构件模型,结合进程代数中行为无死锁的定义和观察等价理论,形式化定义了构件接口行为兼容性和对外交互行为一致性;为了定义系统中需要保证完整性的行为序列的边界,引入了事务概念,对运行时行为的完整性进行了形式化的定义。最后,根据行为一致性的形式化定义,给出了验证的规则和相关定理并提出了验证算法。通过一个构件化系统的实例验证了所提出途径的可行性和正确性。