基于逻辑的软件演化执行引擎研究

发布时间：2021-09-01 16:18

　　软件演化是指在软件系统的生命周期中软件维护和软件更新的动态行为。随着软件系统规模的不断扩大以及需求的不断变化,对软件模型演化能力的要求也越来越高。目前,软件模型的演化方法主要采用图形的方式来处理。这种描述方式比较复杂,表达能力有限。特别是当软件系统规模增大时,图变换方式的表达和处理能力明显不足,速度和效率也明显下降。论文通过分析软件模型演化的图变换技术,提出一种基于带属性类型图的软件结构形式化描述方法,并进一步将其转化成谓词描述,给出两者互转化机制。这种方式既保证图形化特征又降低逻辑表达式描述的复杂度,提高了演化效率。在谓词逻辑的基础上,提出了软件演化操作语言SEOL,以描述软件演化操作。同时构建了SEOL语言的执行机制,从而最终达到软件模型演化的目的。论文针对SEOL语言,在Eclipse平台下以插件的形式设计并实现了一个针对软件演化的执行引擎工具。该工具采用三层模型设计思想,使整个系统结构清晰并具有良好的扩展性。最后,论文通过分析软件重构经典案例邮件系统的演化,论述了邮件系统演化的执行过程。从实践上证明了基于逻辑的软件演化方法的可行性和正确性。 

【文章来源】：中南大学湖南省 211工程院校 985工程院校 教育部直属院校

【文章页数】：60 页

【学位级别】：硕士

【部分图文】：

图产

演化操作沙节柯转“十些掣_户逆转化转化图1一2软件演化过程2)在EcliPse平台下以插件的形式设计和实现一个基于SEOL语言的软件演化执行引擎工具。3)利用软件演化执行引擎分析并实现邮件系统的演化过程。以实例证明基于逻辑的软件演化理论的正确性和可行性。.4论文的组织木文共分为六章，各部分安排如下:第一章为绪论部分，主要介绍了软件模型演化方面的国内外研究水平与现状、论文的选题和研究意义以及本文的主要工作和研究重点。第二章介绍了带属性的类型图的基本概念和基于带属性类型图的软件模型描述，以及软件模型的谓词逻辑描述形式，并建立了带属性的类型图和谓词逻辑描述之间的互转换机制。第三章重点介绍了软件演化操作语言SEOL的基本概念和处理机制。论述了基于SEOL语言的基本图变换操作和复杂图变化操作。以软件结构图的演化为例，给出了一些复杂图变换操作的组合定义。第四章在讨论SEOL语言的基础上，设计并实现了一个基于SEOL语言的软件演化执行引擎，对并对该引擎的设计思想，系统结构、实现方法和技术进行了论述。第五章通过软件重构的经典案例邮件系统的演化过程，讲解了基于SEOL语言的软件演化执行引擎的使用过程与步骤

3)ATG图中节点与边的映射集则用来确定节点与边之间的对应关系，如边描述的是哪两个节点之问的关系等。由上述二点可以得到软件结构ATG的抽象语法示意图，如图2一l所示。图中comPonentNode表示软件组件节点，它带有两个属性type和name，分别用来表示组件的名称和组件类型。RNode表示资源节点，用来描述软件结构中组件与组件直接的共享资源。componentLink和RLink分别表示组件与组件和组件与资源之间的连接关系。在图2一l中，对于节点 (Node)和连接(Link)都只给出了必要的属性，由于具体软件系统的组件、资源和关系可能存在多种复杂的情况，所以节点和连

【参考文献】：
期刊论文
[1]基于MVC模式的STRUTS框架的研究[J]. 章彪,姜良华,肖剑,张沫.  微计算机信息. 2007(33)
[2]基于Eclipse插件的软件演化操作语言编辑器设计[J]. 余莹,任胜兵,段成戈.  信息技术. 2007(10)
[3]模型转换中特性保持的描述与验证[J]. 刘辉,麻志毅,邵维忠.  软件学报. 2007(10)
[4]基于逻辑的软件演化操作语言及结构化操作语义[J]. 任胜兵,喻寿益,陈松乔,余莹.  小型微型计算机系统. 2007(06)
[5]软件体系结构研究进展[J]. 梅宏,申峻嵘.  软件学报. 2006(06)
[6]软件体系结构演化模型[J]. 王映辉,王立福.  电子学报. 2005(08)
[7]面向对象的软件重构[J]. 许文波,华奇兵,费娜.  计算机工程. 2005(05)
[8]软件工程技术发展思索[J]. 杨芙清.  软件学报. 2005(01)
[9]XML编程中的DOM与SAX技术[J]. 赵俊岚.  计算机工程. 2004(24)
[10]构件运算与软件演化研究[J]. 张友生.  计算机应用. 2004(04)

博士论文
[1]基于图变换的可视化层次用例建模及演化方法研究[D]. 任胜兵.中南大学 2007



本文编号：3377298