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