基于面向对象Petri网的用户界面描述方法的研究
| 摘要 | 第1-9页 |
| ABSTRACT | 第9-11页 |
| 第一章 绪论 | 第11-15页 |
| ·问题提出的背景和意义 | 第11-12页 |
| ·用户界面描述方法的研究现状 | 第12-13页 |
| ·本文的主要工作和创新点 | 第13-14页 |
| ·本文组织结构 | 第14页 |
| ·本章小结 | 第14-15页 |
| 第二章 相关研究和分析 | 第15-24页 |
| ·Petri网的特点 | 第15-16页 |
| ·基于Petri网用户界面模型的相关研究和分析 | 第16-23页 |
| ·PUIST模型 | 第16-18页 |
| ·CPN模型 | 第18-20页 |
| ·ObCS模型 | 第20-23页 |
| ·本章小结 | 第23-24页 |
| 第三章 面向对象Petri网模型 | 第24-32页 |
| ·面向对象概念与Petri网的整合 | 第24-26页 |
| ·面向对象Petri网的形式定义 | 第26-29页 |
| ·OOPN的面向对象特征 | 第29-31页 |
| ·本章小结 | 第31-32页 |
| 第四章 基于OOPN建模用户界面的方法和过程 | 第32-42页 |
| ·需求分析 | 第32页 |
| ·确定界面对象 | 第32-37页 |
| ·添加对象基本信息 | 第37-38页 |
| ·确定对象之间的关联关系 | 第38-39页 |
| ·OOPN模型整合 | 第39-40页 |
| ·模型检查 | 第40-41页 |
| ·本章小结 | 第41-42页 |
| 第五章 建模环境及实例 | 第42-51页 |
| ·建模环境 | 第42-43页 |
| ·实例 | 第43-50页 |
| ·需求分析 | 第43-44页 |
| ·确定对象控件 | 第44页 |
| ·添加对象基本信息 | 第44-45页 |
| ·确定对象之间的关联关系 | 第45-47页 |
| ·OOPN整合 | 第47-48页 |
| ·模型检查 | 第48-50页 |
| ·本章小结 | 第50-51页 |
| 第六章 结束语 | 第51-52页 |
| 参考文献 | 第52-56页 |
| 致谢 | 第56-57页 |
| 攻读学位期间发表的主要学术论文 | 第57-58页 |
| 学位论文评阅及答辩情况表 | 第58页 |
