论文研究-基于进程代数的构件动态演化行为一致性研究.pdf

【文件属性】：
文件名称：论文研究-基于进程代数的构件动态演化行为一致性研究.pdf
文件大小：456KB
文件格式：PDF
更新时间：2022-08-11 16:37:28
构件,动态演化,进程代数,行为一致性,主动请求接口 为了保证构件在动态演化时的行为一致性，提出了一种基于进程代数的构件模型，形式化描述了构件及其对外交互协议，引入了对外主动请求接口和内部连接，并给出了行为一致性验证的规则和相关定理;然后给出了验证算法;最后，通过一个构件化系统的实例来说明所提出方法的可行性。