10.3969/j.issn.1000-3428.2010.06.026
基于构件动态演化的行为一致性验证方法
为了保证构件在动态演化中的行为一致性,避免不合法的构件演化,提出一种基于进程代数的构件模型,引入对外主动请求接口和内部连接,形式化描述构件及其对外交互协议,给出相关定理和验证算法.实例证明,该构件模型可以验证动态演化中的接口兼容性、外部交互行为一致性,以及运行时行为完整性.
构件、动态演化、行为一致性、进程代数、主动请求接口
36
TP311.5(计算技术、计算机技术)
国家自然科学基金资助项目60873008;河北省自然科学基金资助项目F2008000861
2010-05-24(万方平台首次上网日期,不代表论文的发表时间)
共4页
80-83