| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 绪论 | 第9-13页 |
| ·研究的背景及意义 | 第9页 |
| ·国内外研究现状 | 第9-11页 |
| ·主要研究内容 | 第11页 |
| ·论文组织结构 | 第11-13页 |
| 第二章 web应用及其需求描述方式 | 第13-15页 |
| 第三章 use cases建模 | 第15-19页 |
| ·文本use case | 第15-16页 |
| ·use case建模 | 第16-19页 |
| 第四章 基于用户导航获取系统需求 | 第19-34页 |
| ·用户导航与web应用 | 第19页 |
| ·获取log file | 第19-25页 |
| ·log file基本结构 | 第20页 |
| ·log file获取方法 | 第20-25页 |
| ·从log file中得到raw data | 第25-27页 |
| ·基于raw data提取use cases | 第27-34页 |
| 第五章 基于SCA的组件模型 | 第34-42页 |
| ·SCA简介 | 第34页 |
| ·SCA组件签名模型及基于端口的组件行为描述 | 第34-40页 |
| ·操作语义 | 第38-39页 |
| ·组件组合 | 第39-40页 |
| ·组件模型——SCA组件模型的UML描述 | 第40-42页 |
| 第六章 模型转换——将use case模型转换为SCA组件模型 | 第42-55页 |
| ·MDA模型转换简介 | 第42-43页 |
| ·use case模型与组件模型间的转换 | 第43-53页 |
| ·构建元模型 | 第44页 |
| ·构建源模型 | 第44-48页 |
| ·基于实现的系统需求得到use case模型 | 第48-49页 |
| ·模型转换规则的设计与实现 | 第49-53页 |
| ·SCA组件模型的可行性分析 | 第53-55页 |
| 第七章 基于SCA组件模型检查web应用的需求 | 第55-58页 |
| ·系统初始需求与实现阶段需求的分析 | 第55-56页 |
| ·SCA组件模型匹配 | 第56-58页 |
| 第八章 实例分析 | 第58-67页 |
| 第九章 总结 | 第67-68页 |
| 参考文献 | 第68-72页 |
| 致谢 | 第72-73页 |
| 附录 | 第73-80页 |
| 攻读学位期间的研究成果 | 第80页 |