导　　师： 喻寿益;陈松乔

学科专业： H1101

授予学位： 博士

作　　者： ;

机构地区： 中南大学

摘　　要： uml(unified modeling language)作为一种标准的可视化建模语言，在软件开发领域得到广泛应用，是近年来可视化建模和模型演化研究的热点。uml中得到广泛应用的用例模型由于缺乏严格一致的语法和语义规范，导致模型难以演化，严重影响用例模型的质量和建模效率。随着软件规模的不断扩大、软件复杂性的不断增加和软件变化的不断加剧，uml用例模型愈来愈难以适应。 论文主要研究基于图变换理论的用例建模及演化问题。首先对可视化用例建模、软件演化和图变换理论的研究和应用现状进行了分析，应用图变换理论和谓词逻辑，提出了一种基于图变换的可视化层次用例建模及演化方法，对方法涉及的模型、技术、过程和工具进行了系统深入的研究，并通过门禁系统实例论证了方法的有效性。 论文提出了基于重用的层次用例模型，给出了层次用例模型文本描述的扩展巴科斯范式，并应用带属性类型图及图变换原理，定义了层次用例模型可视化图形描述的抽象文法与具体文法，构建了由图形描述自动生成对应文本描述的算法，进一步结合事件序列，研究了层次用例模型文本描述的指称语义。 为提高图变换在软件演化应用中的表达能力和处理性能，结合谓词逻辑，论文提出了软件演化操作描述语言seol(softwareevolution operation language)，研究了seol语言的结构化操作语义，指出了软件演化操作语义等价的分析方法，针对seol语言表达式，构建了相应的处理机制，包括处理的基本原理和处理流程，讨论了图变换操作的seol描述。 针对层次用例模型描述的特点，论文提出了演化式用例建模过程模型，将用例建模及演化过程分为四个阶段：初始建模、扩展、分析和重构，并基于带属性类型图和seol语言，对各阶段的活动进行了详细讨论。在扩

关 键 词： 图变换 模型演化 可视化建模 层次用例模型 软件演化操作语言

领　　域： [自动化与计算机技术] [自动化与计算机技术]