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

摘要：

构件系统演化一致性是确保演化操作可靠的必要条件,若一致性得不到满足,则会致使演化后的系统达不到既定的功能目标.针对该问题,文中提出基于接口、流程结构、内部行为的构件系统演化一致性判断方法.首先,在演化后的系统中将每个构件视为判定执行者,使所有的构件协同参与一致性判定过程,从接口和流程结构出发,判断执行者和全局的一致性;其次,在满足接口、流程结构一致性的情况下,判断演化构件在演化前后的内部行为一致性;最后,通过对一个构件实例的完整分析,详细描述了该判定方法,并验证了其可行性.

关键词：构件系统、软件演化、演化一致性、接口一致性、结构一致性

所属期刊栏目：45

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目61379032,61662085

在线出版日期：2018-11-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：189-195