基于OOCPN的软件可执行模型建模方法的研究
| 摘要 | 第1-13页 |
| ABSTRACT | 第13-16页 |
| 第1章 绪论 | 第16-37页 |
| ·研究背景及意义 | 第16-27页 |
| ·软件开发方法的历史 | 第16-23页 |
| ·传统的软件建模方法及局限性 | 第23-25页 |
| ·课题研究意义 | 第25-27页 |
| ·相关研究工作 | 第27-33页 |
| ·传统模型存在的问题 | 第27-28页 |
| ·仿真可执行模型建模方法的分类 | 第28-29页 |
| ·可执行模型的建模语言和方法 | 第29-32页 |
| ·几种类型的可执行模型 | 第32-33页 |
| ·本文的主要工作和创新点 | 第33-35页 |
| ·本文的组织结构 | 第35-37页 |
| 第2章 面向对象与Petri网的结合 | 第37-49页 |
| ·Petri网的基本概念 | 第37-40页 |
| ·Petri网的基本定义 | 第37-38页 |
| ·Petri网的结构关系 | 第38-39页 |
| ·Petri网的行为特性 | 第39-40页 |
| ·面向对象与Petri网的结合方法与形式 | 第40-43页 |
| ·面向对象与Petri网结合的方法 | 第40-42页 |
| ·Petri网中嵌入对象 | 第42页 |
| ·对象中嵌入Petri网 | 第42-43页 |
| ·对象与Petri网相互嵌入 | 第43页 |
| ·面向对象Petri网的形式定义 | 第43-46页 |
| ·OOPN的面向对象特征分析 | 第46-48页 |
| ·本章小结 | 第48-49页 |
| 第3章 基于OOPN的图形界面交互行为的描述方法 | 第49-65页 |
| ·已有的用户界面建模方法 | 第49-51页 |
| ·基于OOPN的图形界面交互行为的建模过程 | 第51-59页 |
| ·基本操作对象的属性、行为描述 | 第51-57页 |
| ·操作对象的行为关联关系 | 第57-59页 |
| ·模型集成、整合 | 第59页 |
| ·实例应用 | 第59-62页 |
| ·模型的执行及检查 | 第62-64页 |
| ·本章小结 | 第64-65页 |
| 第4章 OOPN的化简和死锁检测 | 第65-80页 |
| ·基本定义 | 第65-66页 |
| ·分层和化简规则 | 第66-73页 |
| ·对象子网的分层原则 | 第67-68页 |
| ·OOPN的化简规则 | 第68-71页 |
| ·验证化简规则的适用性 | 第71-72页 |
| ·化简算法 | 第72-73页 |
| ·死锁的检测方法 | 第73-75页 |
| ·死锁标识的概念 | 第73-74页 |
| ·死锁标识检测算法 | 第74-75页 |
| ·实例应用 | 第75-79页 |
| ·本章小结 | 第79-80页 |
| 第5章 基于OOCPN的通信协议建模与性能分析 | 第80-100页 |
| ·OOCPN的定义 | 第80-82页 |
| ·基于OOCPN的基本通信协议建模 | 第82-92页 |
| ·基本通信协议建模的必要性 | 第82-83页 |
| ·传统通信协议建模方法的局限性 | 第83-84页 |
| ·一个简单通信协议的建模 | 第84-92页 |
| ·协议验证及性能分析 | 第92-99页 |
| ·协议验证及模型性质 | 第92-94页 |
| ·仿真执行及性能分析 | 第94-99页 |
| ·本章小结 | 第99-100页 |
| 第六章 总结与展望 | 第100-103页 |
| ·全文总结 | 第100-101页 |
| ·研究展望 | 第101-103页 |
| 参考文献 | 第103-112页 |
| 致谢 | 第112-113页 |
| 攻读学位期间发表的学术论文目录 | 第113-114页 |
| 攻读学位期间参与科研项目情况 | 第114-116页 |
| 学位论文评阅及答辩情况表 | 第116-118页 |
| 外文论文 | 第118-136页 |
