Computer Science ›› 2018, Vol. 45 ›› Issue (3): 151-157.doi: 10.11896/j.issn.1002-137X.2018.03.024

Previous Articles     Next Articles

Internal Consistency Preserving for Component Dynamic Evolution

ZHENG Ming, LI Tong, MO Qi, ZHOU Xiao-xuan, XIANG Wen-kun and HE Yun   

  • Online:2018-03-15 Published:2018-11-13

Abstract: 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.

Key words: Component,Dynamic evolution,Internal consistency,Strong simulation,Homomorphism mapping

[1] 王映辉.构件式软件技术[M].北京:机械工业出版社,2012.
[2] YANG F Q,MEI H.Software Reuse and Software Component Technology [J].Acta Electronica Sinica,1999,27(2):68-75.(in Chinses) 杨芙清,梅宏.软件复用与软件构件技术[J].电子学报,1999,27(2):68-75.
[3] ZHENG M,LI T,LIN Y,et al.Dynamic Evolution Consistency Verification Method for Component System Modeling[J].Computer Sccience,2017,4(11):80-86.(in Chinese) 郑明,李彤,林英,等.构件系统建模及其动态演化一致性验证方法[J].计算机科学,2017,44(11):80-86.
[4] VICTOR B,MOLLER F.The Mobility Workbench—a tool for the π-calculus[C]∥International Conference on Computer Aided Verification.Springer Berlin Heidelberg,1994:428-440.
[5] LUO Y,LI X Y,GUAN L W,et al.Study on Behaavior Consistency of System on Component Evolution [J].Computer Scien-ce,2008,35(1):266-270.(in Chinese) 罗毅,李兴宇,关连伟,等.构件演化中的系统行为一致性的研究[J].计算机科学,2008,35(1):266-270.
[6] SHEN L M,MA C,WANG T.Research on behavioral consistency of component dynamic evolution based on process algebra [J].Application Research of Computers,2009,26(4):1345-1348.(in Chinese) 申利民,马川,王涛.基于进程代数的构件动态演化行为一致性研究[J].计算机应用研究,2009,26(4):1345-1348.
[7] MA C,SHEN L M,WANG T.Behavior Consistency Verification Method Based on Component Dynamic Evolution [J].Computer Engineering,2010,36(6):80-83.(in Chinese) 马川,申利民,王涛.基于构件动态演化的行为一致性验证方法[J].计算机工程,2010,36(6):80-83.
[8] ZHOU X Y.Research of Consistency Insurance Technologiesfor Dynamic Evolution of Aspect-Oriented Internetware[D].Nanning:Guangxi University,2013.(in Chinses) 周学尧.面向方面的网构软件动态演化一致性保障技术研究[D].南宁:广西大学,2013.
[9] WAN X M.Key Techniques for Software Behavior Dynamic Analysis [D].Changsha:National University of Defense Techno-logy,2013.(in Chinses) 万小敏.软件行为动态分析关键技术研究[D].长沙:国防科学技术大学,2013.
[10] ZHOU Y,HUANG Y K,HUANG Z Q,et al.Towards an Approach of Consistency Verification for Online Software Evolution in Open Environments [J].Journal of Software,2015,26(4):747-759.(in Chinese) 周宇,黄延凯,黄志球,等.一种开放环境下软件在线演化一致性验证方法[J].软件学报,2015,26(4):747-759.
[11] XIE Z W,MING L,LIN Y,et al.Consistency Analysis of Software Dynamic Evolution Based on Petri Net [J].Computer Science,2016,3(11):234-241.(in Chinese) 谢仲文,明利,林英,等.基于Petri网的软件动态演化的一致性分析[J].计算机科学,2016,43(11):234-241.
[12] DOU L.Research on Dynamic Reconfiguration Technology inComponent-Oriented Complex Software System[D].Changsha:National University of Defense Technology,2005.(in Chinses) 窦蕾.面向构件的复杂软件系统中动态配置技术的研究[D].长沙:国防科学技术大学,2005.
[13] DENG A P.On Algebraic Representation and Characterization of Digraphs[D].Shanghai:Shanghai JiaoTong University,2005.(in Chinese) 邓爱平.有向图的代数表示与刻划[D].上海:上海交通大学,2005.
[14] 刘绍学,朱元森.数学辞海[M].北京:中国科学技术出版社,2002.
[15] LIANG Z C,SHEN B J.Approach to State Transition for Component Dynamic Update [J].Computer Engineering,2008,34(16):34-36.(in Chinese) 梁哲聪,沈备军.用于构件动态更新的状态传递方法[J].计算机工程,2008,34(16):34-36.

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!