基于 Petri 网的软件过程支撑环境设计

基于 Petri 网的软件过程支撑环境设计

1. 基于 Petri 网的软件过程支撑环境设计
   1. 摘要
   2. 第 1 章 绪论
      1. 1.1 软件过程与过程建模
      2. 1.3 软件过程支撑环境现状
      3. 1.3 本课题的研究内容及意义
         1. 1.3.1 研究内容
         2. 1.3.2 意义
      4. 1.4 Petri 网简介
   3. 第 2 章 软件过程定义语言
      1. 2.1 SPDL 概述
      2. 2.2 SPDL 元模型
         1. 2.2.1 XML Schema
      3. 2.3 模型变换
         1. 2.3.1 SPDL 域到 Java 域的变换
         2. 2.3.2 SPDL 实例的 Petri 网图生成
            1. 2.3.2.1 基元块
            2. 2.3.2.2 Petri 网图生成
      4. 2.4 基于 SPDL 的软件过程建模方法
   4. 第 3 章 软件过程执行控制
      1. 3.1 过程生存周期
      2. 3.2 过程执行控制
         1. 3.2.1 标记网初始化
         2. 3.2.2 点火控制
      3. 3.3 历史追踪
   5. 第 4 章 软件过程支撑环境设计
      1. 4.1 BeyondTrack 项目简介
      2. 4.2 体系结构设计
   6. 结论
   7. 致谢
   8. 参考文献
   9. 附录