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)
李长云,李莹,吴健,等.一个面向服务的支持动态演化的软件模型[J].计算机学报,2006,29(7):1020-1028.
[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)
谢仲文,明利,林英,等.基于Petri网的软件动态演化的一致性分析[J].计算机科学,2016,43(11):234-241.
[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)
张靖,雷航.网构软件可靠性演化计算研究[J].西南交通大学学报,2014,49(2):310-316.
[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)
王雷,彭鑫,赵文耘.基于非功能性特征的软件动态自演化框架[J].计算机工程,2008,34(24):74-76.
[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)
马于涛,何克清,李兵,等.网络化软件的复杂网络特性实证[J].软件学报,2011,22(3):381-407.
[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)
李良明,王志坚,唐龙业.构件功能行为测试的研究[J].小型微型计算机系统,2010,31(4):686-690.
[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)
周宇,黄延凯,黄志球,等.一种开放环境下软件在线演化一致性验证方法[J].软件学报,2015,26(4):747-759.
[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)
祁晓园,王涛,马川.构件演化的交互行为一致性研究[J].计算机工程,2010,36(24):51-53.
[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.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[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 .