Computer Science ›› 2018, Vol. 45 ›› Issue (10): 189-195.doi: 10.11896/j.issn.1002-137X.2018.10.035

• Software & Database Technology • Previous Articles     Next Articles

Judgement Method of Evolution Consistency of Component System

ZHENG Jiao-jiao1, LI Tong2, LIN Ying1,2, XIE Zhong-wen1,2, WANG Xiao-fang1, CHENG Lei1, LIU Miao1   

  1. College of Software,Yunnan University,Kunming 650091,China 1
    Key Laboratory for Software Engineering of Yunnan University,Kunming 650091,China 2
  • Received:2017-09-27 Online:2018-11-05 Published:2018-11-05

Abstract: A necessary condition to ensure the reliability of evolution operations is the evolution consistency of component system.If this condition is not satisfied,the evolved system will miss the established functional target.In response to this problem,this paper proposed a judgement method of evolution consistency of component system based on interface,process structure and internal behavior.Firstly,in the evolved system,each component is considered as a judgement executor,so that all the components can participate in the process of consistency judgment collaboratively.Based on the interface and the process structure,the consistency between judgement executors and the global system can be judged.Secondly,in the case of satisfying consistency of interface and process structure,the internal behavior consistency of components before and after evolution is judged.Finally,the complete analysis of a component case is used to describe the judgement method in detail and verify the feasibility of the proposed method.

Key words: Component system, Software evolution, Evolution consistency, Interface consistency, Structural consistency

CLC Number: 

  • TP311
[1]LI C Y,LI Y,WU J,et al.A Service-Oriented Software Model Supporting Dynamic Evolution[J].Chinese Journal of Compu-ters,2006,29(7):1020-1028.(in Chinese)
[2]MOKNI A,URTADO C,VAUTTIER S,et al.A formal approach for managing component-based architecture evolution[J].Science of Computer Programming,2016,127:24-29.
[3]QING G,JUN L,YINGFEI X,et al.High-confidence software evolution[J].Science China(Information Sciences),2016,59(7):94-112.
[4]XIE Z W,MING L,LIN Y,et al.The consistency analysis of software dynamic evolution based on Petri net[J].Computer Science,2016,43(11):234-241.(in Chinese)
[5]ZHANG J,LEI H.Research on the reliability evolution of network software[J].Journal of Southwest Jiaotong University,2014,49(2):310-316.(in Chinese)
[6]JIANMEI G,YINGLIN W,TRINIDAD P,et al.Consistency maintenance for evolving feature models[J].Expert Systems With Applications,2011,39(5):4987-4998.
[7]LYTRA I,TRAN H,ZDUN U.Constraint-Based Consistency Checking between Design Decisions and Component Models for Supporting Software Architecture Evolution[C]∥European Conference on Software Maintenance & Reengineering.IEEE,2012:287-296.
[8]RAMOS R,SAMPAIO A,MOTA A.Conformance notions for the coordination of interaction components[J].Science of Computer Programming,2010,75(5):350-373.
[9]GURUNATHAM C H,RAJARAJESWARI P,VASUMATHI D D.Consistency Evolution of Process models based on Structural Analysis and Behavioral Profiles[J].International Journal of Modern Engineering Research,2012,4(2):2568-2573.
[10]QUINTON C,PLEUSS C,BERRE D L,et al.Consistency Checking for the Evolution of Cardinality-based Feature Models[C]∥International Software Product Line Conference.2014:122-131.
[11]WANG L,PENG X,ZHAO W Y.Framework for Software Dynamic Adaptation Evolution Based on Non-Functional Features[J].Computer Engineering,2008,34(24):74-76.(in Chinese)
[12]ZHOU Y,GE J D,ZHANG P C,et al.Model based verification of dynamically evolvable service oriented systems[J].Science China(Information Sciences),2016,59(3):5-21.
[13]MA Y T,HE K Q,LI B,et al.Empirical Study on the Characteristics of Complex Networks in Networked Software[J].Journal of Software,2011,22(3):381-407.(in Chinese)
[14]LI L M,WANG Z J,TANG L Y.Research on the Testing of Component Functional Behavior[J].Journal of Chinese ComputerSystems,2010,31(4):686-690.(in Chinese)
[15]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)
[16]MILADI M N,JMAIEL M,KACEM M H.A UML profile and a FUJABA plugin for modelling dynarnic software architectures [C]∥Proceedings of the Workshop on Model-Driven Software Evolution.Washington:IEEE Press,2007:20-26.
[17]KACEM M H,KACEM A H,JMAIEL M,et al.Describing dynamic software architectures using an extended UML model [C]∥ACM the Symposium on Applied Computing.New York:ACM Press,2006:1245-1249.
[18]QI X Y,WANG T,MA C.Research on interactive behavior consistency of Component Evolution[J].Computer Engineering,2010,36(24):51-53.(in Chinese)
[1] HE Peng, YU Lv-jun. Analysis of Open Source Software Cliff Walls for Group Collaborative Development [J]. Computer Science, 2020, 47(6): 51-58.
[2] ZHANG Jing-xuan, JIANG He. Research Status and Development Trend of Identifier Normalization [J]. Computer Science, 2020, 47(3): 1-4.
[3] ZHONG Lin-hui, FU Li-juan, YE Hai-tao, QI Jie, XU Jing. Study on Reverse Engineering Generation Method of Software Evolution History [J]. Computer Science, 2020, 47(11A): 549-556.
[4] PAN Hao, ZHENG Wei, ZHANG Zi-feng, LU Chao-qun. Study on Fractal Features of Software Networks [J]. Computer Science, 2019, 46(2): 166-170.
[5] TANG Qian-wen, CHEN Liang-yu. Analysis of Java Open Source System Evolution Based on Complex Network Theory [J]. Computer Science, 2018, 45(8): 166-173.
[6] WANG Xiao-fang, XIE Zhong-wen, LI Tong, CHENG Lei, ZHENG Jiao-jiao and LIU Xiao-fang. Saas Service Evolution Consistency Checking with Tenant Tolerance [J]. Computer Science, 2018, 45(5): 147-155.
[7] HE Yun, WANG Wei and LI Tong. Formal Method for Describing Software Evolution Ability Feature [J]. Computer Science, 2017, 44(7): 128-136.
[8] ZHAO Hui-qun and HUANG Yu-han. Program Verification of Software Model’s Algebraic Properties [J]. Computer Science, 2017, 44(11): 240-245.
[9] ZHENG Ming, LI Tong, LIN Ying, ZHOU Xiao-xuan, LI Xiang and MING Li. Dynamic Evolution Consistency Verification Method for Component System Modeling [J]. Computer Science, 2017, 44(11): 80-86.
[10] ZHONG Lin-hui, LI Jun-jie, XIA Jin and XUE Liang-bo. Research on Evolution Similarity Measurement of Component-based Software Based on Multi-dimensional Evolution Properties [J]. Computer Science, 2016, 43(Z11): 499-505.
[11] QIAN Ye, LI Tong, YU Yong, SUN Ji-hong, YU Qian and PENG Lin. Approach to Modeling Software Evolution Process for Synchronous Interaction [J]. Computer Science, 2016, 43(8): 154-158.
[12] LIU Jin-zhuo, YU Qian, ZHAO Na, XIE Zhong-wen, YU Yong, HANG Fei-Lu and JIN Yun-zhi. Structure Verification Method for Software Evolution Process Based on Incidence Matrix [J]. Computer Science, 2015, 42(Z6): 519-524.
[13] HAN Jun-ming and WANG Wei. Method of Modeling Software Evolution Confirmation Based on LDA [J]. Computer Science, 2015, 42(Z11): 464-466.
[14] LIU Yang, LIU Qiu-rong and LIU Hui. Automated Detection of Extract Method Refactorings [J]. Computer Science, 2015, 42(12): 105-107.
[15] YU Han, WANG Hai, PENG Xin and ZHAO Wen-yun. Software Evolution Visualization Based on 3D Animation [J]. Computer Science, 2015, 42(12): 36-39.
Full text



[1] . [J]. Computer Science, 2018, 1(1): 1 .
[2] LEI Li-hui and WANG Jing. Parallelization of LTL Model Checking Based on Possibility Measure[J]. Computer Science, 2018, 45(4): 71 -75 .
[3] SUN Qi, JIN Yan, HE Kun and XU Ling-xuan. Hybrid Evolutionary Algorithm for Solving Mixed Capacitated General Routing Problem[J]. Computer Science, 2018, 45(4): 76 -82 .
[4] ZHANG Jia-nan and XIAO Ming-yu. Approximation Algorithm for Weighted Mixed Domination Problem[J]. Computer Science, 2018, 45(4): 83 -88 .
[5] WU Jian-hui, HUANG Zhong-xiang, LI Wu, WU Jian-hui, PENG Xin and ZHANG Sheng. Robustness Optimization of Sequence Decision in Urban Road Construction[J]. Computer Science, 2018, 45(4): 89 -93 .
[6] SHI Wen-jun, WU Ji-gang and LUO Yu-chun. Fast and Efficient Scheduling Algorithms for Mobile Cloud Offloading[J]. Computer Science, 2018, 45(4): 94 -99 .
[7] ZHOU Yan-ping and YE Qiao-lin. L1-norm Distance Based Least Squares Twin Support Vector Machine[J]. Computer Science, 2018, 45(4): 100 -105 .
[8] LIU Bo-yi, TANG Xiang-yan and CHENG Jie-ren. Recognition Method for Corn Borer Based on Templates Matching in Muliple Growth Periods[J]. Computer Science, 2018, 45(4): 106 -111 .
[9] GENG Hai-jun, SHI Xin-gang, WANG Zhi-liang, YIN Xia and YIN Shao-ping. Energy-efficient Intra-domain Routing Algorithm Based on Directed Acyclic Graph[J]. Computer Science, 2018, 45(4): 112 -116 .
[10] CUI Qiong, LI Jian-hua, WANG Hong and NAN Ming-li. Resilience Analysis Model of Networked Command Information System Based on Node Repairability[J]. Computer Science, 2018, 45(4): 117 -121 .