| 中文摘要 | 第1-6页 |
| 英文摘要 | 第6-7页 |
| 目录 | 第7-9页 |
| 第一章 绪论 | 第9-15页 |
| 1．1 研究问题来源 | 第9-12页 |
| 1．2 研究内容 | 第12-15页 |
| 1．3 论文组织 | 第15页 |
| 第二章 软件过程技术 | 第15-27页 |
| 2．1 软件过程 | 第16-19页 |
| 2．2 软件过程技术研究 | 第19-23页 |
| 2．2．1 定义软件过程的必要性 | 第19-20页 |
| 2．2．2 标准过程框架 | 第20页 |
| 2．2．3 有效的软件过程模型的基本标准 | 第20-21页 |
| 2．2．4 软件过程模型的现状 | 第21-22页 |
| 2．2．5 现存模型的问题的原因 | 第22-23页 |
| 2．3 一种基于工作流管理系统的PSEE | 第23-26页 |
| 2．3．1 工作流管理系统概述 | 第23-26页 |
| 小结 | 第26-27页 |
| 第三章 基于PETRI网的软件开发过程建模 | 第27-54页 |
| 3．1 过程建模语言 | 第27-34页 |
| 3．1．1 软件过程建模语言 | 第27-29页 |
| 3．1．2 工作流过程定义语言 | 第29-33页 |
| 3．1．3 选择Petri网建模的原因 | 第33-34页 |
| 3．2 PETRI网概述 | 第34-38页 |
| 3．2．1 经典Petri网 | 第34-37页 |
| 3．2．2 Petri网的基本属性 | 第37-38页 |
| 3．2．3 高级Petri网 | 第38页 |
| 3．3 软件过程网 | 第38-41页 |
| 3．4 PETRI网对软件过程基本结构的表示 | 第41-42页 |
| 3．5 XMWPDL语言 | 第42-50页 |
| 3．5．1 XML语言 | 第43-44页 |
| 3．5．2 语言模型定义 | 第44-49页 |
| 3．5．3 XMWPDL的正确性 | 第49-50页 |
| 3．6 运行机制 | 第50-53页 |
| 3．6．1 工作流路由 | 第50-51页 |
| 3．6．2 SWPLL语言 | 第51-53页 |
| 小结 | 第53-54页 |
| 第四章 SOFTEV SUITE系统 | 第54-76页 |
| 4．1 系统结构 | 第54-58页 |
| 4．1．1 设计思想 | 第55-57页 |
| 4．1．2 关键技术 | 第57-58页 |
| 4．2 SPNET模型的面向对象表示 | 第58-61页 |
| 4．3 SPNET模型的关系数据模型 | 第61-62页 |
| 4．4 建模工具MODEL | 第62页 |
| 4．5 消息管理器MESSAGER | 第62-64页 |
| 4．6 引擎ENGINE | 第64-68页 |
| 4．7 资源分配RESOURCE | 第68-70页 |
| 4．8 客户端应用 | 第70-71页 |
| 4．9 监控器SUPERVISOR | 第71-73页 |
| 4．10 系统特点 | 第73-74页 |
| 小结 | 第74-76页 |
| 第五章 基于SOFTEV SUITE系统的软件开发流程 | 第76-81页 |
| 5．1 SOFTEV的使用流程 | 第76-78页 |
| 5．2 关于TSP／PSP | 第78-80页 |
| 小结 | 第80-81页 |
| 第六章 结束语 | 第81-84页 |
| 6．1 论文总结 | 第81-82页 |
| 6．2 进一步的工作 | 第82-84页 |
| 参考文献 | 第84-94页 |