摘要 | 第4-5页 |
Abstract | 第5-6页 |
第一章 绪论 | 第9-18页 |
1.1 研究背景和意义 | 第9-11页 |
1.2 国内外研究现状 | 第11-14页 |
1.3 研究内容与研究成果 | 第14-16页 |
1.4 论文结构安排 | 第16-18页 |
第二章 UML2.0 活动图及其相关理论基础 | 第18-26页 |
2.1 UML 概述 | 第18-19页 |
2.2 UML 2.0 活动图 | 第19-21页 |
2.3 UML 扩展机制和 UML SPT PROFILE | 第21-23页 |
2.4 XML 与 XMI 技术 | 第23页 |
2.5 活动图绘制工具 EA(ENTERPRISE ARCHITECT) | 第23-25页 |
2.6 本章小结 | 第25-26页 |
第三章 CPN 与软件性能评价 | 第26-35页 |
3.1 PETRI 网概述以及定义 | 第26页 |
3.2 CPN 概述以及定义 | 第26-28页 |
3.3 分层赋时着色 PETRI 网(HTCPN) | 第28-31页 |
3.3.1 赋时 CPN 概述 | 第28-29页 |
3.3.2 分层 CPN 概述 | 第29-30页 |
3.3.3 HTCPN 形式化定义 | 第30-31页 |
3.4 CPN TOOLS 与软件性能评价 | 第31-34页 |
3.4.1 软件性能 | 第31-32页 |
3.4.2 CPN tools 及其支持的 XML 格式 CPN 模型 | 第32-33页 |
3.4.3 CPN 性能评价方法 | 第33-34页 |
3.5 本章小结 | 第34-35页 |
第四章 自动转换关键技术研究与实现 | 第35-47页 |
4.1 UML2.0 活动图扩展前期准备 | 第35-36页 |
4.2 性能评价可执行模型完善与扩充 | 第36-40页 |
4.3 UML 活动图的扩展和中间模型的提取 | 第40-42页 |
4.4 中间模型向 CPN 模型的转换 | 第42-46页 |
4.5 本章小结 | 第46-47页 |
第五章 活动图/CPN 自动转换实例验证 | 第47-52页 |
5.1 活动图性能评价模型的建立 | 第47-48页 |
5.2 可执行模型以及 CPN 模型的建立 | 第48-51页 |
5.3 本章小结 | 第51-52页 |
结论与展望 | 第52-53页 |
参考文献 | 第53-57页 |
攻读硕士学位期间取得的学术成果 | 第57-58页 |
致谢 | 第58页 |