构件动态演化内部一致性保证方法

摘要：

基于构件的软件开发已成为软件开发的主流方法,针对构件式软件动态演化后的一致性保持问题,目前大多数学者主要是从构件式软件的外部一致性角度进行分析和研究.为此,从构件内部的角度出发,提出一种保证构件式软件动态演化构件内部一致性的方法.首先,对构件及其相关模型进行建模,并给出了构件内部类有向图的同态映射关系的判定算法;其次,给出构件式构件动态演化内部一致性的标准,基于进程代数的强模拟理论和图论中的同态映射关系,分别从全局和局部的角度定义了构件式软件动态演化前后构件内部一致性标准的充分条件和必要条件,并对其进行了证明;然后,基于上述工作,给出了构件动态演化内部一致性保证方法的流程;最后,通过案例研究表明该方法的可行性和有效性.

关键词：构件、动态演化、内部一致性、强模拟、同态映射

所属期刊栏目：45

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金61379032,61662085,61262024,61462092;云南省教育厅科学研究基金2014Y012;云南大学研究生科研创新基金项目111

在线出版日期：2018-04-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：151-157