收藏本站
《中南大学》 2008年
收藏 | 手机打开
二维码
手机客户端打开本文

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

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

手机知网App
【相似文献】
中国博士学位论文全文数据库 前1条
1 任胜兵;基于图变换的可视化层次用例建模及演化方法研究[D];中南大学;2007年
中国硕士学位论文全文数据库 前2条
1 余莹;基于逻辑的软件演化执行引擎研究[D];中南大学;2008年
2 曾平安;基于图变换的软件演化工作流建模与分析[D];中南大学;2008年
中国知网广告投放
相关机构
>中南大学
相关作者
>任胜兵 >余莹
>曾平安
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026