Petri网和UML在建模过程中的转换机制研究
| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第1章 绪论 | 第9-13页 |
| ·研究背景及意义 | 第9-10页 |
| ·国内外研究现状 | 第10-11页 |
| ·主要研究内容 | 第11页 |
| ·论文的组织结构 | 第11-13页 |
| 第2章 Petri网的相关理论 | 第13-25页 |
| ·Petri网概述 | 第13页 |
| ·Petri网的优势 | 第13-14页 |
| ·Petri网的基本知识 | 第14-25页 |
| ·Petri网的相关定义 | 第14-15页 |
| ·Petri网的图形表示方法 | 第15-16页 |
| ·Petri网的分类 | 第16-19页 |
| ·Petri网的重要性质 | 第19-22页 |
| ·Petri网的分析方法 | 第22-25页 |
| 第3章 统一建模语言UML | 第25-33页 |
| ·UML概述 | 第25-26页 |
| ·UML发展简史 | 第25页 |
| ·UML的特点 | 第25-26页 |
| ·UML的建模机制 | 第26-31页 |
| ·UML的静态建模机制 | 第27-28页 |
| ·UML的动态建模机制 | 第28-31页 |
| ·UML存在的缺陷及其对策 | 第31-33页 |
| 第4章 Petri网和UML模型的转换机制研究 | 第33-53页 |
| ·Petri网和UML集成建模方法 | 第33-34页 |
| ·状态图到Petri网的转换规则 | 第34-39页 |
| ·通信图到Petri网的转换规则 | 第39-47页 |
| ·活动图到Petri网的转换规则 | 第47-53页 |
| 第5章 模型转换工具的设计与实现 | 第53-73页 |
| ·模型转换工具的设计思路 | 第53-56页 |
| ·模型导入模块 | 第54-55页 |
| ·模型转换模块 | 第55页 |
| ·模型导出模块 | 第55-56页 |
| ·关键技术问题的解决方案 | 第56-66页 |
| ·UML模型文件的解析 | 第56-59页 |
| ·模型转换的流程 | 第59-61页 |
| ·Petri网模型文件的存储 | 第61-66页 |
| ·实例应用 | 第66-73页 |
| 第6章 总结与展望 | 第73-75页 |
| ·工作总结 | 第73页 |
| ·研究展望 | 第73-75页 |
| 参考文献 | 第75-79页 |
| 攻读学位期间公开发表论文情况 | 第79-80页 |
| 致谢 | 第80-81页 |
| 研究生履历 | 第81页 |
