首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--程序设计、软件工程论文--软件工程论文

图形化模型的一致性检查

摘要第1-13页
ABSTRACT第13-15页
第一章 绪论第15-22页
   ·研究背景第15-16页
   ·问题陈述第16-17页
   ·研究途径第17-18页
   ·贡献和创新点第18-20页
   ·论文结构第20-22页
第二章 相关工作第22-31页
   ·手工方式的一致性检查第22-23页
   ·语法方式的一致性检查第23-26页
     ·NDRDL第23-24页
     ·Xlinkit第24页
     ·UML/Analyzer第24-25页
     ·CAMLE第25-26页
   ·语义方式的一致性检查第26-30页
     ·用ADT 检查类图第27页
     ·用一阶逻辑检查类图第27-28页
     ·用进程代数检查行为模型第28-29页
     ·BON 模型的一致性第29-30页
   ·小结第30-31页
第三章 模型一致性的概念第31-34页
   ·建模语言和模型第31-33页
   ·一致性和一致性约束第33-34页
第四章 基于GEBNF 语法定义一致性约束第34-50页
   ·GEBNF第34-38页
   ·从GEBNF 推导约束语言第38页
   ·实例研究1:CAMLE 语言的抽象语法和一致性约束第38-48页
     ·CAMLE 语言的抽象语法第38-43页
     ·CAMLE 模型的一致性约束第43-48页
   ·小结第48-50页
第五章 基于元模型的一致性规约第50-60页
   ·元建模第50-52页
   ·由元模型导出符号表第52-54页
   ·实例研究2:从UML 元模型推导约束语言第54-58页
     ·简化的UML 元模型第54-57页
     ·UML 的一致性约束第57-58页
   ·小结第58-60页
第六章 一致性约束的语义基础第60-81页
   ·对元模型的形式化第60-68页
     ·对建模语言形式化的框架第60-62页
     ·公理映射第62-68页
   ·对元模型的分析第68-72页
     ·元模型的一致性第68-72页
     ·一致性约束的正确性第72页
   ·实例研究3: 元模型的一致性检验第72-78页
     ·案例第73-75页
     ·主要发现第75-78页
   ·实例研究4:一致性约束的正确性验证第78页
   ·小结第78-81页
     ·元模型语义形式化的复杂性第79页
     ·有待解决的问题第79页
     ·相关工作第79-81页
第七章 基于逻辑推理的一致性检查第81-102页
   ·描述语义第81-88页
     ·描述语义的概念第81-84页
     ·语义映射第84-86页
     ·语境映射第86-88页
   ·基于描述语义的一致性检查第88-89页
   ·实例研究5:对模型的形式化和一致性检查第89-96页
     ·简化的元模型第91页
     ·UML 2.0 元模型第91页
     ·聊天室模型第91-95页
     ·会议管理系统模型第95-96页
   ·实例研究6:规则的有效性第96-98页
   ·小结第98-102页
     ·相关工作第99-100页
     ·存在的问题第100-102页
第八章 翻译和分析元模型/模型的工具实现第102-107页
   ·逻辑系统第102-103页
   ·LAMBDES 的结构和功能第103-107页
     ·对元模型的形式化第105页
     ·对模型的形式化第105-107页
第九章 一致性检查工具的测试第107-129页
   ·数据变异测试方法概述第107-113页
   ·实例研究7:测试CAMLE 一致性检查工具第113-124页
     ·变异算子第113-115页
     ·种子数据和变异数据第115-116页
     ·测试结果第116-119页
     ·测试充分性第119-122页
     ·测试开销第122-124页
   ·小结第124-129页
第十章 结束语第129-131页
   ·工作总结第129-130页
   ·未来工作方向第130-131页
致谢第131-133页
参考文献第133-147页
攻读博士学位期间取得的学术成果第147-150页
攻读博士学位期间参与的主要科研项目第150页

论文共150页,点击 下载论文
上一篇:数据流分析关键技术研究
下一篇:异构数据映射技术研究