[发明专利]一种构件动态演化内部一致性保证方法

权利要求书

1.一种构件动态演化内部一致性保证方法，其特征在于，所述构件动态演化内部一致性保证方法包括：

对构件及相关建模，进行构件内部类有向图的同态映射关系的判定；

结合构件式构件动态演化内部一致性的标准，基于进程代数的强模拟理论和图论中同态映射关系，分别从全局和局部的角度定义构件式软件动态演化前后构件内部一致性标准的充分条件和必要条件并进行证明；

进行构件内部类有向图的同态映射关系的判定包括：

一)构件C的状态变迁为三元组t＝s,a,s’，记作其中：

s,s’∈S：分别表示构件内部动作a执行前和执行后的构件状态s和s’；

a∈A：表示引起构件状态从s变迁到s’的内部动作；

二)构件C在初始状态s_init下的状态变迁图为三元组：G＝s_init,SG,T，其中：

S_init：为构件的初始状态，表示构件状态变迁图的初始顶点；

SG：为s_init的非空可达状态集合，表示构件状态变迁图的顶点集，且SG∈S；

T：为构件的状态变迁集合，其表示的是构件状态变迁图中可达且相邻状态顶点的弧，且弧的方向由构件状态变迁的方向决定，其中每一个元素t＝s,a,s’满足a.s∈SG和a.s’∈SG；

三)源构件C₁和目标构件C₂的状态变迁图分别为G_C1＝s_init1,S_GC1,A_C1和G_C2＝s_init2,S_GC2,A_C2，若源构件C₁的状态s_init1∈S_GC1与目标构件C₂的状态s_init2∈S_GC2相对应，则C₂强模拟C₁，记为当且仅当：

如果在GC1中，状态sinit1在内部动作a∈AC1的状态变迁在GC2中存在动作a∈AC2下相应的状态变迁

四)类的有向图为二元组：D＝V,E表示，其中：

V：表示类的有向图的顶点集合，其中任意一个类的有向图的顶点v_i∈V对应于构件内部类集合中相应的一个类class_i∈M，且满足|V|1；

E：表示类的有向图中的弧集合，即类的有向图中顶点与顶点之间的关系，将类之间的泛化、关联、依赖关系抽象为弧，且弧的方向与UML中类关系的方向一致；类的有向图中的任意一条弧e_ij∈E定义为一个二元组v_i,v_j，其中：

v_i：表示类有向图中弧e_ij的弧尾；

v_j：表示与类有向图中弧e_ij的弧头；

类有向图中顶点与弧的关联关系包括：类的有向图D＝V,E，则D中的顶点与弧的关联关系由以下两个运算计算：尾运算i_D(e_ij)＝v_i,其中e_ij∈E；头运算t_D(e_ij)＝v_j,其中e_ij∈E；

五)演化前的源构件C₁，演化后的目标构件C₂下的类的有向图分别为G_C1＝s₁,V_c1,E_c1和G_C2＝s₂,V_c2,E_c2，若与演化前的源构件C₁和演化后的目标构件C₂满足映射关系，当满足以下任意一条：

class_c1与class_c2之间为泛化关系；

class_c1与class_c2之间为单向关联关系；

class_c1与class_c2之间为依赖关系；

六)演化前的源构件C₁，演化后的目标构件C₂的类的有向图分别为G_C1＝s₁,V_c1,E_c1和G_C2＝s₂,V_c2,E_c2，若与对应映射关系e_ij→e_mn，当且仅当满足下列条件：

若i_Dc1(e_ij)＝class_c1,i_Dc2(e_mn)＝class_c2，则顶点对应映射关系class_c1→class_c2；

若t_Dc1(e_ij)＝class_c1,t_Dc2(e_mn)＝class_c2，则顶点对应映射关系class_c1→class_c2；

七)演化前的源构件C₁和演化后的目标构件C₂的类的有向图分别为D_C1＝V_c1,E_c1和D_C2＝V_c2,E_c2；D_C1和D_C2满足同态映射关系，当且仅当存在一对映射:

满足：