基于行为的可视化建模方法研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-8页 |
| 1 绪论 | 第8-14页 |
| 1．1 课题来源 | 第8页 |
| 1．2 课题研究的背景 | 第8-9页 |
| 1．3 课题研究的目的意义 | 第9-10页 |
| 1．4 国内外研究现状 | 第10-12页 |
| 1．5 本文主要研究的内容 | 第12-14页 |
| 2 可视化模型表示方法 | 第14-22页 |
| 2．1 引言 | 第14页 |
| 2．2 面向对象的模型表示方法 | 第14-18页 |
| 2．3 基于体系结构的模型框图 | 第18-22页 |
| 3 建立基于行为的模型方法 | 第22-33页 |
| 3．1 引言 | 第22页 |
| 3．2 基于行为方法的提出 | 第22-23页 |
| 3．3 基于行为方法的有关概念和属性 | 第23-26页 |
| 3．4 基于行为的系统模型转换方法 | 第26-28页 |
| 3．5 其它模型图的建立 | 第28-31页 |
| 3．6 模型之间的一致性 | 第31-33页 |
| 4 建立可执行模型并验证 | 第33-42页 |
| 4．1 引言 | 第33页 |
| 4．2 PETRI 网简介 | 第33-37页 |
| 4．3 PETRI 网可执行模型的建立 | 第37-40页 |
| 4．4 结论 | 第40-42页 |
| 5 超市电子标签自动刷卡购物系统可视化模型设计 | 第42-59页 |
| 5．1 系统概述 | 第42页 |
| 5．2 系统分析 | 第42-44页 |
| 5．3 构建可视化模型 | 第44-57页 |
| 5．4 PETRI 网仿真验证 | 第57-58页 |
| 5．5 结论 | 第58-59页 |
| 6 全文总结和展望 | 第59-60页 |
| 致谢 | 第60-61页 |
| 参考文献 | 第61-65页 |
| 附录1 攻读硕士学位期间发表的论文 | 第65-66页 |
| 附录2 购物系统的仿真结果 | 第66-68页 |
| 附录3 PETRI 网变迁元素字符名称对照表 | 第68页 |
