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

摘要

本发明属于软件构件演化技术领域，公开了一种构件动态演化内部一致性保证方法及系统，首先从构件内部对其动态演化前后的一致性进行分析，在此领域尚属鲜见；其次，将图论中的有向图的同态映射关系迁移到构件的内部类中，并与进程代数中的强模拟理论相结合，分别为保证构件动态演化内部一致性的必要条件和充分条件提供了支持，为实验的全局角度和局部角度的分析提供了基础；然后，通过提出了一种构件内部类的有向图的同态映射关系的判定算法。本发明分别从充分条件和必要条件出发，定义了构件动态演化前后的内部一致性标准，通过进程代数的强模拟理论和图论中的同态映射关系分别对满足一致性的充分条件和必要条件进行了证明。