软件过程建模及驱动技术研究
| 表目录 | 第1-8页 |
| 图目录 | 第8-10页 |
| 摘要 | 第10-11页 |
| ABSTRACT | 第11-12页 |
| 第一章 绪论 | 第12-18页 |
| ·课题研究背景 | 第12-13页 |
| ·果题研究意义 | 第13页 |
| ·国内外研究现状 | 第13-15页 |
| ·果题研究内容 | 第15-16页 |
| ·仑文的组织结构 | 第16-18页 |
| 第二章 相关理论和技术研究 | 第18-24页 |
| ·软件过程 | 第18页 |
| ·软件过程建模方法分分析 | 第18-19页 |
| ·软件过程改进 | 第19-21页 |
| ·CMM／CMMI | 第19-21页 |
| ·GJB5000／GJB5000A | 第21页 |
| ·模型驱动框架研究 | 第21-23页 |
| ·支持软件过程驱动的语言 | 第23页 |
| ·本章小结 | 第23-24页 |
| 第三章 支持GJB5000A的软件过程元模型 | 第24-48页 |
| ·元模型抽象内容的分分析 | 第24-27页 |
| ·软件过程部分 | 第24-25页 |
| ·支持执行部分 | 第25-26页 |
| ·GJB5000A 内容部分 | 第26-27页 |
| ·元建模方案 | 第27-29页 |
| ·元建模策略 | 第27-29页 |
| ·元建模方法 | 第29页 |
| ·软件过程元模型 | 第29-42页 |
| ·总体结构概述 | 第30页 |
| ·基础逻辑主元包 | 第30-39页 |
| ·GJB5000A-SpM主包 | 第39-42页 |
| ·元模型的GJB5000A映射 | 第42-44页 |
| ·元模型的执行相关元类 | 第44-47页 |
| ·转移和执行序列关系 | 第44-45页 |
| ·舌动的状态空间定义 | 第45-46页 |
| ·舌动状态的约束变迁 | 第46-47页 |
| ·本章小节 | 第47-48页 |
| 第四章 基于XML的软件过程建模技术 | 第48-59页 |
| ·XML Schema | 第48页 |
| ·文本语法文件 | 第48-49页 |
| ·XSPDL | 第49-58页 |
| ·XSPDL总体结构 | 第49页 |
| ·包视图的schema | 第49-53页 |
| ·包程视图的schema | 第53-55页 |
| ·GJB5000A映射的schema | 第55-57页 |
| ·支持执行部分的schema | 第57-58页 |
| ·本章小结 | 第58-59页 |
| 第五章 软件过程驱动技术研究 | 第59-68页 |
| ·软件过程驱动因素 | 第59-60页 |
| ·软件过程驱动 | 第60页 |
| ·软件过程驱动能力 | 第60-61页 |
| ·监控开发过程 | 第60页 |
| ·活动的导航 | 第60-61页 |
| ·活动的动态调整 | 第61页 |
| ·软件过程驱动中的执行分析 | 第61-63页 |
| ·前置条件触发的执行 | 第61-62页 |
| ·时间条件触发的执行 | 第62-63页 |
| ·执行规则的形式化定义 | 第63-67页 |
| ·形式化定义和描述 | 第63-66页 |
| ·形式化定义的分分析 | 第66页 |
| ·软件过程驱动方式 | 第66-67页 |
| ·本章小结 | 第67-68页 |
| 第六章 系统实现与实例验证 | 第68-81页 |
| ·系统实现概述 | 第68-69页 |
| ·系统设计总要求 | 第68页 |
| ·总体设计 | 第68-69页 |
| ·实现技术与特性 | 第69页 |
| ·原型系统的实现 | 第69-74页 |
| ·浏览器部分 | 第69-72页 |
| ·服务器部分 | 第72-74页 |
| ·实例验证 | 第74-77页 |
| ·包和过程视图验证 | 第74-76页 |
| ·GJB5000A实践映射 | 第76页 |
| ·执行相关信息的录入 | 第76-77页 |
| ·一个实例 | 第77-80页 |
| ·本章小结 | 第80-81页 |
| 第七章 总结与展望 | 第81-82页 |
| ·工作总结 | 第81页 |
| ·下一步的研究工作 | 第81-82页 |
| 参考文献 | 第82-85页 |
| 作者简历 攻读硕士学位期间完成的主要工作 | 第85-86页 |
| 致谢 | 第86页 |
