%0 Journal Article %A 马 川 %A 申利民 %A 王 涛 %T 基于构件动态演化的行为一致性验证方法 %D 2010 %R 10.3969/j.issn.1000-3428.2010.06.026 %J 计算机工程 %P 80-83 %V 36 %N 06 %X 为了保证构件在动态演化中的行为一致性,避免不合法的构件演化,提出一种基于进程代数的构件模型,引入对外主动请求接口和内部连接,形式化描述构件及其对外交互协议,给出相关定理和验证算法。实例证明,该构件模型可以验证动态演化中的接口兼容性、外部交互行为一致性,以及运行时行为完整性。
%U http://www.ecice06.com/CN/10.3969/j.issn.1000-3428.2010.06.026