构件系统演化一致性的判定方法

doi:10.11896／j.issn.1002-137X.2018.10.035

Abstract

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, Evolution consistency, Interface consistency, Software evolution, Structural consistency

CLC Number:

TP311

ZHENG Jiao-jiao, LI Tong, LIN Ying, XIE Zhong-wen, WANG Xiao-fang, CHENG Lei, LIU Miao. Judgement Method of Evolution Consistency of Component System[J].Computer Science, 2018, 45(10): 189-195.

0
/ / Recommend

Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks

URL: https://www.jsjkx.com/EN/10.11896／j.issn.1002-137X.2018.10.035

https://www.jsjkx.com/EN/Y2018/V45/I10/189

References

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

Related Articles 15

[1]	ZHANG Jiu-jie, CHEN Chao, NIE Hong-xuan, XIA Yu-qin, ZHANG Li-ping, MA Zhan-fei. Empirical Study on Stability of Clone Code Sets Based on Class Granularity [J]. Computer Science, 2021, 48(5): 75-85.
[2]	WANG Ji-wen, WU Yi-jian, PENG Xin. Approach of God Class Detection Based on Evolutionary and Semantic Features [J]. Computer Science, 2021, 48(12): 59-66.
[3]	HE Peng, YU Lv-jun. Analysis of Open Source Software Cliff Walls for Group Collaborative Development [J]. Computer Science, 2020, 47(6): 51-58.
[4]	ZHANG Jing-xuan, JIANG He. Research Status and Development Trend of Identifier Normalization [J]. Computer Science, 2020, 47(3): 1-4.
[5]	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.
[6]	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.
[7]	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.
[8]	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.
[9]	HE Yun, WANG Wei and LI Tong. Formal Method for Describing Software Evolution Ability Feature [J]. Computer Science, 2017, 44(7): 128-136.
[10]	ZHAO Hui-qun and HUANG Yu-han. Program Verification of Software Model’s Algebraic Properties [J]. Computer Science, 2017, 44(11): 240-245.
[11]	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.
[12]	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.
[13]	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.
[14]	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.
[15]	HAN Jun-ming and WANG Wei. Method of Modeling Software Evolution Confirmation Based on LDA [J]. Computer Science, 2015, 42(Z11): 464-466.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

Comments

Recommended 0

No Suggested Reading articles found!

Judgement Method of Evolution Consistency of Component System

PDF (PC)

Abstract

Cite this article

share this article

References

Related Articles 15

Metrics

Comments

Recommended 0