首页 | 本学科首页   官方微博 | 高级检索  
     

构件系统演化一致性的判定方法
引用本文:郑交交,李彤,林英,谢仲文,王晓芳,成蕾,刘妙.构件系统演化一致性的判定方法[J].计算机科学,2018,45(10):189-195.
作者姓名:郑交交  李彤  林英  谢仲文  王晓芳  成蕾  刘妙
作者单位:云南大学软件学院 昆明650091,云南大学软件工程重点实验室 昆明650091,云南大学软件学院 昆明650091;云南大学软件工程重点实验室 昆明650091,云南大学软件学院 昆明650091;云南大学软件工程重点实验室 昆明650091,云南大学软件学院 昆明650091,云南大学软件学院 昆明650091,云南大学软件学院 昆明650091
基金项目:本文受国家自然科学基金项目(61379032,5)资助
摘    要:构件系统演化一致性是确保演化操作可靠的必要条件,若一致性得不到满足,则会致使演化后的系统达不到既定的功能目标。针对该问题,文中提出基于接口、流程结构、内部行为的构件系统演化一致性判断方法。首先,在演化后的系统中将每个构件视为判定执行者,使所有的构件协同参与一致性判定过程,从接口和流程结构出发,判断执行者和全局的一致性;其次,在满足接口、流程结构一致性的情况下,判断演化构件在演化前后的内部行为一致性;最后,通过对一个构件实例的完整分析,详细描述了该判定方法,并验证了其可行性。

关 键 词:构件系统  软件演化  演化一致性  接口一致性  结构一致性
收稿时间:2017/9/27 0:00:00
修稿时间:2017/12/9 0:00:00

Judgement Method of Evolution Consistency of Component System
ZHENG Jiao-jiao,LI Tong,LIN Ying,XIE Zhong-wen,WANG Xiao-fang,CHENG Lei and LIU Miao.Judgement Method of Evolution Consistency of Component System[J].Computer Science,2018,45(10):189-195.
Authors:ZHENG Jiao-jiao  LI Tong  LIN Ying  XIE Zhong-wen  WANG Xiao-fang  CHENG Lei and LIU Miao
Affiliation:College of Software,Yunnan University,Kunming 650091,China,Key Laboratory for Software Engineering of Yunnan University,Kunming 650091,China,College of Software,Yunnan University,Kunming 650091,China;Key Laboratory for Software Engineering of Yunnan University,Kunming 650091,China,College of Software,Yunnan University,Kunming 650091,China;Key Laboratory for Software Engineering of Yunnan University,Kunming 650091,China,College of Software,Yunnan University,Kunming 650091,China,College of Software,Yunnan University,Kunming 650091,China and College of Software,Yunnan University,Kunming 650091,China
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.
Keywords:Component system  Software evolution  Evolution consistency  Interface consistency  Structural consistency
点击此处可从《计算机科学》浏览原始摘要信息
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号