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

Internal Consistency Preserving for Component Dynamic Evolution

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

Component-based software development has become the mainstream of the software development method.Aiming at the problem of consistency preserving after component-based software dynamic evolution,most scholars analyze and study the component-based software dynamic evolution mainly from the perspective of external consistency at present.For this reason,a new method was proposed to preserve the internal consistency of component-based software dynamic evolution from internal perspective.Firstly,the component and its correlation were modeled,and an algorithm was put forward for judging the homomorphism mapping relation of a class directed graphs.Secondly,the criterion of internal consistency of component-based software dynamic evolution was given,based on strong simulation theory in process algebra and homomorphism mapping in graph theory,the sufficient condition and necessary condition for the internal consistency criterion of component in the component-based software before and after dynamic evolution were defined from global and local perspective,and proof was carried out respectively lastly.Thirdly,on the basis of the above work,the process of internal consistency preserve way of component dynamic evolution was give.Finally,case study shows that the proposed approach is feasible and effective.