| 献辞 | 第1-4页 |
| 摘要 | 第4-6页 |
| Abstract | 第6-9页 |
| 目录 | 第9-16页 |
| 第1章 绪论 | 第16-24页 |
| ·研究背景 | 第16-19页 |
| ·研究目的 | 第19页 |
| ·研究内容 | 第19-21页 |
| ·论文创新点 | 第21-22页 |
| ·论文组织结构 | 第22-24页 |
| 第2章 软件过程执行综述 | 第24-29页 |
| ·引言 | 第24页 |
| ·PSEE对过程执行的支持方法 | 第24-26页 |
| ·过程建模技术对过程执行模式的影响 | 第26-28页 |
| ·过程执行时控制机制 | 第28页 |
| ·小结 | 第28-29页 |
| 第3章 相关工作基础 | 第29-42页 |
| ·引言 | 第29页 |
| ·Petri网 | 第29-31页 |
| ·EPMM元模型和基于EPMM的建模方法 | 第31-34页 |
| ·软件演化过程描述语言EPDL | 第34-36页 |
| ·EPMM与EPDL的比较 | 第35页 |
| ·EPDL定义软件演化过程模型中活动的相关文法 | 第35页 |
| ·EPDL定义任务的文法 | 第35-36页 |
| ·EPDL定义结构体类型的文法 | 第36页 |
| ·EPDL定义全局层的文法 | 第36页 |
| ·软件自动化技术基本概念 | 第36-38页 |
| ·软件自动化技术基本概念 | 第36-37页 |
| ·自动化技术在业务流程管理和软件测试等领域中的应用 | 第37-38页 |
| ·Prolog中的基本概念 | 第38-41页 |
| ·Prolog编译器对多线程的支持 | 第40页 |
| ·SWI-Prolog的多线程技术 | 第40-41页 |
| ·小结 | 第41-42页 |
| 第4章 EPM过程层活动分类方法 | 第42-57页 |
| ·引言 | 第42-44页 |
| ·分类方法的选择标准和基本定义 | 第44-45页 |
| ·分类方法的选择标准 | 第44页 |
| ·基本定义 | 第44-45页 |
| ·活动前提、后提分类方法 | 第45-47页 |
| ·活动前提分类方法 | 第45-46页 |
| ·活动后提分类方法 | 第46-47页 |
| ·活动前后提类型完备集定义 | 第47页 |
| ·依据活动前提类型进行活动分类的方法及各类活动的性质 | 第47-50页 |
| ·确定前提活动以及性质 | 第48页 |
| ·选择前提活动、依赖集以及性质 | 第48-50页 |
| ·混合前提活动以及性质 | 第50页 |
| ·按照活动后提类型进行活动分类方法和各类活动的性质 | 第50-54页 |
| ·确定后提活动及其后提资源产生机制的性质 | 第50-51页 |
| ·选择后提活动及其后提资源产生机制的性质 | 第51-52页 |
| ·混合后提活动及其后提资源产生机制的性质 | 第52-54页 |
| ·依据活动前后提类型对活动进行分类 | 第54页 |
| ·EPM中活动的前提资源分配策略和运行机制 | 第54-56页 |
| ·确定前提活动的资源分配策略和运行机制 | 第54页 |
| ·选择前提活动的资源分配策略和运行机制 | 第54-55页 |
| ·混合前提活动的资源分配策略和运行机制 | 第55-56页 |
| ·小结 | 第56-57页 |
| 第5章 EPM过程层活动类型完备集证明 | 第57-80页 |
| ·引言 | 第57-58页 |
| ·基本块替换初始过程模型中的活动 | 第58-61页 |
| ·基本定义 | 第58页 |
| ·引理5.1 | 第58-61页 |
| ·推论 | 第61页 |
| ·EPM中活动前后提类型完备集证明 | 第61-78页 |
| ·EPM活动前后提类型完备集定理 | 第61页 |
| ·数学归纳法证明定理5.1 | 第61-78页 |
| ·化简软件演化过程模型后活动的前后提类型完备集 | 第78-79页 |
| ·活动类型完备集 | 第79页 |
| ·小结 | 第79-80页 |
| 第6章 EPM过程层转换方法 | 第80-118页 |
| ·引言 | 第80-82页 |
| ·资源谓词、规则名产生方法和基本定义 | 第82-84页 |
| ·EPM中的资源名转换规则 | 第82页 |
| ·EPM执行模型中规则名的命名规则 | 第82-83页 |
| ·基本定义 | 第83-84页 |
| ·EPM过程层到其执行模型的转换方法 | 第84-89页 |
| ·支持执行模型的规则引擎驱动功能的谓词judge | 第84页 |
| ·支持活动并发执行的enabled谓词 | 第84-85页 |
| ·跟踪过程层执行迹的eventrace谓词 | 第85页 |
| ·算法6.1初始化EPM执行模型算法 | 第85-86页 |
| ·EPM初始标记转换规则 | 第86页 |
| ·EPM过程层中任一活动转换到其执行模型的方法 | 第86页 |
| ·算法6.2将转换EPM成其执行模型算法 | 第86-89页 |
| ·活动的确定前提转换规则 | 第89-90页 |
| ·确定前提的活动执行条件子句片段 | 第89页 |
| ·确定前提的活动正确执行子句片段 | 第89-90页 |
| ·活动的确定后提转换规则 | 第90-91页 |
| ·活动的确定后提转换成活动执行条件子句片段 | 第90页 |
| ·活动的确定后提转换成活动正确执行子句片段 | 第90-91页 |
| ·活动的选择前提转换方法 | 第91-95页 |
| ·活动选择前提的外部环境决策 | 第91-92页 |
| ·外部环境选择决策转换规则 | 第92-94页 |
| ·活动的选择前提执行条件规则转换方法 | 第94-95页 |
| ·活动的选择前提活动正确执行规则转换方法 | 第95页 |
| ·活动的选择后提转换规则 | 第95-97页 |
| ·活动的选择后提转换成活动执行条件子句片段 | 第96页 |
| ·活动的选择后提转换成活动正确执行子句片段 | 第96-97页 |
| ·活动的混合前提转换规则 | 第97-98页 |
| ·混合前提中选择前提的外部环境决策 | 第97页 |
| ·混合前提的活动执行条件转换规则 | 第97-98页 |
| ·混合前提的活动正确执行转换规则 | 第98页 |
| ·活动的混合后提转换规则 | 第98-99页 |
| ·混合后提活动执行条件转换规则 | 第98-99页 |
| ·活动的混合后提转换到执行模型中的活动正确执行转换规则 | 第99页 |
| ·过程层转换规则完备集证明 | 第99-100页 |
| ·EPM转换成其执行模型相关算法 | 第100-107页 |
| ·算法6.3求活动的确定前提集、选择前提集和依赖活动集算法 | 第100-101页 |
| ·算法6.4确定前提任意后提活动转换算法 | 第101-102页 |
| ·算法6.5选择前提任意后提转换算法 | 第102-104页 |
| ·算法6.6增加外部环境决策活动算法 | 第104-105页 |
| ·算法6.7混合前提任意后提活动转换算法 | 第105-107页 |
| ·EPM中活动转换到其执行模型的例子 | 第107-116页 |
| ·确定前提确定后提活动的转换示例 | 第107-109页 |
| ·确定前提选择后提活动的转换示例 | 第109-111页 |
| ·选择前提确定后提活动的转换示例 | 第111-113页 |
| ·选择前提选择后提活动的转换示例 | 第113-114页 |
| ·确定前提混合后提活动的转换示例 | 第114-115页 |
| ·混合前提确定后提的转换示例 | 第115-116页 |
| ·小结 | 第116-118页 |
| 第7章 EPM活动层全局层转换规则 | 第118-135页 |
| ·引言 | 第118-119页 |
| ·活动层转换方法 | 第119页 |
| ·活动层结构体类型转换规则 | 第119-120页 |
| ·活动资源类型定义 | 第119-120页 |
| ·结构体类型定义的转换方法 | 第120页 |
| ·活动层输入资源的转换规则 | 第120-121页 |
| ·系统类型变量的转换方法 | 第120-121页 |
| ·结构体类型变量的转换方法和转换规则 | 第121页 |
| ·活动层输出资源的转换规则 | 第121-124页 |
| ·系统类型变量的转换方法 | 第122-123页 |
| ·结构体类型变量的转换方法和转换规则 | 第123-124页 |
| ·执行任务角色资源的转换规则 | 第124页 |
| ·记录跟踪活动层任务的执行信息 | 第124-125页 |
| ·算法7.1 EPM活动层转换算法 | 第125-129页 |
| ·EPM活动层转换到其执行模型例子 | 第129-133页 |
| ·全局层到其执行模型的转换方法 | 第133-134页 |
| ·小结 | 第134-135页 |
| 第8章 EPM执行模型的规则引擎 | 第135-146页 |
| ·引言 | 第135页 |
| ·执行模型的规则引擎 | 第135-136页 |
| ·执行过程模型规则 | 第136页 |
| ·捕获EPM执行模型中的并发执行活动 | 第136-138页 |
| ·判定所有活动的前件 | 第137页 |
| ·产生当前可并发活动列表 | 第137-138页 |
| ·规则引擎终止执行条件 | 第138页 |
| ·执行模型中可并发活动的并发执行 | 第138-139页 |
| ·捕获并执行下次可并发执行的活动列表 | 第139-140页 |
| ·规则引擎的初始化 | 第140-141页 |
| ·驱动规则引擎的规则 | 第141页 |
| ·EXECUTED_EPM执行模型资源筹备方法 | 第141-144页 |
| ·执行模型需要筹备资源类型 | 第142页 |
| ·活动层资源筹备算法8.1 | 第142-144页 |
| ·小结 | 第144-146页 |
| 第9章 EPMTC转换工具的设计和实现 | 第146-152页 |
| ·引言 | 第146页 |
| ·SEPMT的体系结构 | 第146-147页 |
| ·SEPMT的用例图 | 第147-148页 |
| ·SEPMT的类图 | 第148-149页 |
| ·SEPMT的设计和实现 | 第149-151页 |
| ·SEPMT中转换单个活动为执行模型代码片段的顺序图 | 第149-150页 |
| ·SEPMT的系统界面 | 第150-151页 |
| ·小结 | 第151-152页 |
| 第10章 案例研究 | 第152-166页 |
| ·引言 | 第152-153页 |
| ·案例1 | 第153-157页 |
| ·分析瀑布模型中活动类型 | 第153-154页 |
| ·根据瀑布模型过程层转换规则得到执行模型片段 | 第154页 |
| ·瀑布模型中活动层的转换 | 第154-155页 |
| ·为调度执行模型活动或者并发活动做准备 | 第155-156页 |
| ·瀑布模型执行模型的资源筹备 | 第156页 |
| ·瀑布模型执行模型的驱动执行 | 第156-157页 |
| ·案例2 | 第157-162页 |
| ·分析SIS演化过程模型中活动类型 | 第158页 |
| ·根据SIS演化过程模型过程层转换规则得到执行模型片段 | 第158-159页 |
| ·为调度执行模型活动或者并发活动做准备 | 第159页 |
| ·SIS演化过程模型执行模型的资源筹备 | 第159页 |
| ·SIS演化过程模型执行模型的驱动执行 | 第159-162页 |
| ·案例3 | 第162-164页 |
| ·ISO/IEC 12207中维护过程模型 | 第163页 |
| ·规则引擎驱动iso_iec_12207执行模型的执行结果 | 第163-164页 |
| ·小结 | 第164-166页 |
| 第11章 总结和展望 | 第166-169页 |
| ·总结 | 第166-167页 |
| ·未来工作展望 | 第167-169页 |
| 参考文献 | 第169-176页 |
| 攻读博士学位期间主持和参与的课题 | 第176-177页 |
| 攻读博士学位期间发表和录用的论文 | 第177-179页 |
| 致谢 | 第179-181页 |
| 附录 | 第181-218页 |
