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

发布时间：2021-01-16 01:49

　　软件需求的不断变更是如今的常态,为了既满足用户需求又适应系统依赖环境的改变,现有的构件系统就必须要进行改变演化,使之成为业务功能更强大、满足需求变动和适应系统环境的构件系统。演化后的构件系统中各个构件彼此能够无冗余的按照一定次序正常交互,且可以完成演化前的任务,达到用户的要求,即满足一致性是演化操作正确执行的必要条件。一致性判定选取的判定元素单一、不适用于演化阶段以及各个构件是否按照一定次序正常交互的判定局限性是构件系统演化一致性判定需要解决的问题。基于构件的软件开发方式已经是目前主要的开发方法,针对构件式软件在动态演化前后的一致性保持问题,本文基于外部和内部两方面从接口、流程结构、行为三点出发,提出了一种构件系统演化一致性判定方法,具体内容如下:。首先,在演化后的系统中,将每个构件视为判定执行者,让所有的构件协同参与一致性判定过程。从接口和流程结构出发,判断判定执行者和全局的一致性,其中接口一致性包括接口操作对称性和接口消息类型一致性,流程结构一致性是基于UML状态图来进行分析的,这是外部一致性;其次,在满足接口、流程结构一致性的情况下,通过比较判断演化构件在演化前后的行为一致性,这... 

【文章来源】：云南大学云南省 211工程院校

【文章页数】：70 页

【学位级别】：硕士

【部分图文】：

图３．１演化后的构件系统??从演化发起者订单管理构件出发，给出与它相关的形式化描述，其他构??

图３．２接口操作描述??

接口操作对称性算法流程图


本文编号：2979918