郑明,李彤,莫启,周小煊,向文坤,何云.构件动态演化内部一致性保证方法[J].计算机科学,2018,45(3):151-157
构件动态演化内部一致性保证方法
Internal Consistency Preserving for Component Dynamic Evolution
投稿时间:2017-01-20  修订日期:2017-04-15
DOI:10.11896/j.issn.1002-137X.2018.03.024
中文关键词:  构件,动态演化,内部一致性,强模拟,同态映射
英文关键词:Component,Dynamic evolution,Internal consistency,Strong simulation,Homomorphism mapping
基金项目:本文受国家自然科学基金(61379032,61662085,61262024,61462092),云南省教育厅科学研究基金(2014Y012),云南大学研究生科研创新基金项目(111)资助
作者单位E-mail
郑明 云南大学软件学院 昆明650091  
李彤 云南大学软件学院 昆明650091
云南省软件工程重点实验室 昆明650091 
 
莫启 云南大学软件学院 昆明650091
云南省软件工程重点实验室 昆明650091 
602234341@qq.com 
周小煊 云南大学软件学院 昆明650091  
向文坤 云南大学软件学院 昆明650091  
何云 云南大学软件学院 昆明650091  
摘要点击次数: 290
全文下载次数: 199
中文摘要:
      基于构件的软件开发已成为软件开发的主流方法,针对构件式软件动态演化后的一致性保持问题,目前大多数学者主要是从构件式软件的外部一致性角度进行分析和研究。为此,从构件内部的角度出发,提出一种保证构件式软件动态演化构件内部一致性的方法。首先,对构件及其相关模型进行建模,并给出了构件内部类有向图的同态映射关系的判定算法;其次,给出构件式构件动态演化内部一致性的标准,基于进程代数的强模拟理论和图论中的同态映射关系,分别从全局和局部的角度定义了构件式软件动态演化前后构件内部一致性标准的充分条件和必要条件,并对其进行了证明;然后,基于上述工作,给出了构件动态演化内部一致性保证方法的流程;最后,通过案例研究表明该方法的可行性和有效性。
英文摘要:
      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 pre-sent.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.
查看全文  查看/发表评论  下载PDF阅读器