| 摘要 | 第1-10页 |
| ABSTRACT | 第10-12页 |
| 第1章 引言 | 第12-22页 |
| ·研究背景 | 第12-13页 |
| ·研究现状 | 第13-20页 |
| ·模型驱动体系结构(MDA) | 第13-14页 |
| ·ConcurTaskTrees任务模型表示法 | 第14-17页 |
| ·基于任务模型的用户界面生成系统 | 第17-20页 |
| ·主要研究内容和创新点 | 第20页 |
| ·本文的内容组织 | 第20-22页 |
| 第2章 用户界面自动生成过程 | 第22-27页 |
| ·整体架构 | 第22-24页 |
| ·设计构建任务模型 | 第24-25页 |
| ·预处理ConcurTaskTrees任务模型 | 第25页 |
| ·抽取对话/导航模型 | 第25-26页 |
| ·由任务映射到用户界面 | 第26-27页 |
| 第3章 ConcurTaskTrees任务表示法的形式化分析与描述 | 第27-42页 |
| ·命题逻辑和谓词逻辑基础 | 第27-30页 |
| ·命题 | 第27-29页 |
| ·谓词逻辑 | 第29-30页 |
| ·任务的暂态关系和状态谓词及其时态逻辑 | 第30-36页 |
| ·基本定义 | 第30-31页 |
| ·任务的暂态关系 | 第31-32页 |
| ·任务的状态谓词 | 第32-34页 |
| ·任务的时态逻辑 | 第34-36页 |
| ·ConcurTaskTrees暂态关系含义的形式化分析 | 第36-42页 |
| ·Enabling关系 | 第36-37页 |
| ·Disabling关系 | 第37-38页 |
| ·Concurrent关系 | 第38-39页 |
| ·Independence关系 | 第39-40页 |
| ·Choice关系 | 第40-42页 |
| 第4章 由任务模型到对话/导航模型 | 第42-54页 |
| ·活动任务集及其转移 | 第42-44页 |
| ·活动任务集(Enabled Task Set) | 第42-43页 |
| ·ETS的转移(Transition) | 第43-44页 |
| ·暂态关系的优先级树(Priority Tree) | 第44-45页 |
| ·暂态关系的运算表达式 | 第45-47页 |
| ·基本的暂态关系运算定义 | 第47-52页 |
| ·Enabling运算 | 第48页 |
| ·Choice运算 | 第48-49页 |
| ·Concurrent运算 | 第49-51页 |
| ·Disabling运算 | 第51-52页 |
| ·计算表达式的算法 | 第52-54页 |
| 第5章 原型系统及实例分析 | 第54-60页 |
| 第6章 结束语 | 第60-61页 |
| ·工作总结 | 第60页 |
| ·未来的工作 | 第60-61页 |
| 参考文献 | 第61-66页 |
| 致谢 | 第66-67页 |
| 攻读学位期间参与的主要项目 | 第67-68页 |
| 学位论文评阅及答辩情况表 | 第68页 |
