| 摘要 | 第3-5页 |
| Abstract | 第5-6页 |
| 第1章 绪论 | 第12-25页 |
| 1.1 研究背景与意义 | 第12-14页 |
| 1.2 软件过程线的研究发展状况 | 第14-21页 |
| 1.2.1 软件过程共性和可变性研究进展 | 第15-16页 |
| 1.2.2 软件过程线体系结构研究进展 | 第16-17页 |
| 1.2.3 软件过程构件的研究进展 | 第17-18页 |
| 1.2.4 软件过程复用的研究进展 | 第18-19页 |
| 1.2.5 软件过程裁剪的研究进展 | 第19-21页 |
| 1.3 本文的主要研究内容 | 第21-22页 |
| 1.4 特色与创新点 | 第22-23页 |
| 1.5 本文的组织结构 | 第23-25页 |
| 第2章 相关研究基础 | 第25-33页 |
| 2.1 引言 | 第25页 |
| 2.2 Petri网与软件过程模型 | 第25-28页 |
| 2.2.1 基于Petri网的软件过程模型 | 第27页 |
| 2.2.2 基于对象的软件过程模型 | 第27-28页 |
| 2.2.3 基于过程树的软件过程模型 | 第28页 |
| 2.3 进程代数 | 第28-29页 |
| 2.4 软件过程的行为分支互模拟 | 第29-32页 |
| 2.5 Alloy语言 | 第32页 |
| 2.6 本章小结 | 第32-33页 |
| 第3章 SPrL-BPT体系结构 | 第33-48页 |
| 3.1 引言 | 第33页 |
| 3.2 SPrL-BPT工程及活动 | 第33-35页 |
| 3.3 SPrL-BPT的分层体系结构 | 第35-36页 |
| 3.4 SPrL-BPT的主要模型 | 第36-47页 |
| 3.4.1 SPrL-BPT项目上下文模型 | 第36-39页 |
| 3.4.2 SPrL-BPT软件过程模型与软件过程 | 第39页 |
| 3.4.3 SPrL-BPT软件过程树模型及其扩展 | 第39-43页 |
| 3.4.4 SPrL-BPT的特征模型 | 第43-47页 |
| 3.5 小结 | 第47-48页 |
| 第4章 SPrL-BPT的构建与应用 | 第48-76页 |
| 4.1 引言 | 第48页 |
| 4.2 SPrL-BPT的构建与应用过程 | 第48-56页 |
| 4.2.1 SPrL-BPT体系构建的基本方案 | 第48-50页 |
| 4.2.2 领域过程线的构建过程 | 第50-54页 |
| 4.2.3 过程实例配置生成过程 | 第54-56页 |
| 4.3 SPrL-BPT构建过程举例 | 第56-60页 |
| 4.4 SPrL-BPT的构建技术与方法 | 第60-75页 |
| 4.4.1 领域术语知识表示的相关技术和方法 | 第60页 |
| 4.4.2 上下文因素相似性的比较方法 | 第60-61页 |
| 4.4.3 过程模型的统一转换方法 | 第61-67页 |
| 4.4.4 模糊度量方法 | 第67-71页 |
| 4.4.5 过程模型相似性的比较方法 | 第71-75页 |
| 4.5 小结 | 第75-76页 |
| 第5章 SPrL-BPT过程特征模型形式化及Alloy规约 | 第76-98页 |
| 5.1 引言 | 第76页 |
| 5.2 过程特征模型相关定义 | 第76-80页 |
| 5.3 过程特征模型的形式化语义 | 第80-84页 |
| 5.3.1 特征模型结构的形式化语义 | 第81-83页 |
| 5.3.2 特征模型约束的形式化语义 | 第83-84页 |
| 5.4 过程特征模型的Alloy规约 | 第84-91页 |
| 5.4.1 过程特征模型的结构规约 | 第85-86页 |
| 5.4.2 过程特征模型的结构规约的有效性检查 | 第86-87页 |
| 5.4.3 过程特征模型的操作规约 | 第87-88页 |
| 5.4.4 过程特征模型操作的有效性检查 | 第88-89页 |
| 5.4.5 过程特征模型的有效性约束 | 第89-91页 |
| 5.5 SPrL-BPT模型的Alloy规约 | 第91-92页 |
| 5.6 过程实例生成约束 | 第92页 |
| 5.7 过程特征模型一致性分析实例 | 第92-97页 |
| 5.7.1 需求过程特征模型实例 | 第92-94页 |
| 5.7.2 需求过程特征模型Alloy规约 | 第94-96页 |
| 5.7.3 需求过程特征模型有效性检查 | 第96页 |
| 5.7.4 需求过程配置生成实例的有效性检查 | 第96-97页 |
| 5.8 小结 | 第97-98页 |
| 第6章 SPrL-BPT中的过程元素裁剪 | 第98-121页 |
| 6.1 引言 | 第98页 |
| 6.2 过程裁剪的概念 | 第98-99页 |
| 6.3 软件过程裁剪的参考标准 | 第99-107页 |
| 6.3.1 软件过程的上下文因素模型 | 第99-100页 |
| 6.3.2 软件过程的行为集合 | 第100-102页 |
| 6.3.3 上下文因素与过程行为的裁剪相关性 | 第102-107页 |
| 6.4 软件过程的裁剪规则 | 第107-108页 |
| 6.4.1 基于标准二值逻辑的定性裁剪规则 | 第107-108页 |
| 6.4.2 基于模糊逻辑的量化裁剪规则 | 第108页 |
| 6.5 软件过程的定性裁剪 | 第108-113页 |
| 6.6 软件过程的定性定量相结合的裁剪 | 第113-120页 |
| 6.6.1 基于多重集的裁剪方法 | 第114-117页 |
| 6.6.2 基于层次分析法的过程裁剪 | 第117-120页 |
| 6.7 小结 | 第120-121页 |
| 第7章 SPrL-BPT中的过程构件及复用 | 第121-128页 |
| 7.1 引言 | 第121页 |
| 7.2 过程构件的定义 | 第121-122页 |
| 7.3 过程构件的内部行为规约 | 第122页 |
| 7.4 过程构件的外部接口规约 | 第122-124页 |
| 7.4.1 外部接口规约描述语言 | 第122-123页 |
| 7.4.2 外部接口规约描述方法 | 第123-124页 |
| 7.5 常见的过程构件及规约 | 第124-126页 |
| 7.6 过程构件在过程特征模型中复用 | 第126-127页 |
| 7.7 小结 | 第127-128页 |
| 第8章 SPrL-BPT的裁剪和复用操作的一致性 | 第128-140页 |
| 8.1 引言 | 第128页 |
| 8.2 相关理论 | 第128-129页 |
| 8.3 SPrL-BPT特征模型裁剪操作的一致性验证 | 第129-138页 |
| 8.3.1 在特征模型顺序结构中的裁剪 | 第129-135页 |
| 8.3.2 在特征模型或选择结构中的裁剪 | 第135-137页 |
| 8.3.3 在特征模型基本结构中的元素裁剪 | 第137-138页 |
| 8.4 SPrL-BPT特征模型中的复用操作一致性验证 | 第138-139页 |
| 8.5 小节 | 第139-140页 |
| 第9章 SPrL-BPT的系统设计 | 第140-148页 |
| 9.1 引言 | 第140页 |
| 9.2 SPrL-BPT-AS的系统框架 | 第140-143页 |
| 9.2.1 SPrL-BPT-AS的功能 | 第141-142页 |
| 9.2.2 SPrL-BPT-AS的数据库 | 第142-143页 |
| 9.3 SPrL-BPT-AS的原型系统 | 第143-147页 |
| 9.3.1 SPrL-BPT-AS集成开发环境 | 第143-144页 |
| 9.3.2 SPrL-BPT-AS过程特征建模工具 | 第144-145页 |
| 9.3.3 SPrL-BPT-AS过程实例配置生成工具 | 第145-146页 |
| 9.3.4 SPrL-BPT-AS过程资产库管理 | 第146-147页 |
| 9.4 本章小结 | 第147-148页 |
| 第10章 SPrL-BPT的应用案例研究 | 第148-175页 |
| 10.1 引言 | 第148页 |
| 10.2 案例1：项目上下文因素相似性选择 | 第148-153页 |
| 10.3 案例2：嵌入式系统开发过程的特征模型构建及Alloy规约 | 第153-160页 |
| 10.3.1 特征模型构建 | 第153-157页 |
| 10.3.2 特征模型的Alloy规约及验证 | 第157-160页 |
| 10.4 案例3：业务流程管理系统开发过程的裁剪和复用 | 第160-174页 |
| 10.5 小结 | 第174-175页 |
| 第11章 结束语 | 第175-178页 |
| 11.1 本文的工作总结 | 第175-176页 |
| 11.2 未来的工作展望 | 第176-178页 |
| 参考文献 | 第178-185页 |
| 攻读博士学位期间发表和录用的论文 | 第185-186页 |
| 致谢 | 第186页 |
