摘要
构件系统演化一致性是确保演化操作可靠的必要条件,若一致性得不到满足,则会致使演化后的系统达不到既定的功能目标。针对该问题,文中提出基于接口、流程结构、内部行为的构件系统演化一致性判断方法。首先,在演化后的系统中将每个构件视为判定执行者,使所有的构件协同参与一致性判定过程,从接口和流程结构出发,判断执行者和全局的一致性;其次,在满足接口、流程结构一致性的情况下,判断演化构件在演化前后的内部行为一致性;最后,通过对一个构件实例的完整分析,详细描述了该判定方法,并验证了其可行性。
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.
作者
郑交交
李彤
林英
谢仲文
王晓芳
成蕾
刘妙
ZHENG Jiao-jiao;LI Tong;LIN Ying;XIE Zhong-wen;WANG Xiao-fang;CHENG Lei;LIU Miao(College of Software,Yunnan University,Kunming 650091,China;Key Laboratory for Software Engineering of Yunnan University,Kunming 650091,China)
出处
《计算机科学》
CSCD
北大核心
2018年第10期189-195,共7页
Computer Science
基金
国家自然科学基金项目(61379032
61662085)资助
关键词
构件系统
软件演化
演化一致性
接口一致性
结构一致性
Component system
Software evolution
Evolution consistency,Interface consistency
Structural consistency
