过程逻辑的形式化描述与过程解释器设计方法

目录

第一个书签之前

摘要

Abstract

第一章 绪论

1.1 研究背景

1.2 研究现状和意义

1.3 研究内容

1.4 论文结构

第二章 工作流相关技术概述

2.1 工作流相关概念

2.1.1 工作流定义

2.1.2 工作流管理系统

2.1.3 工作流管理系统的功能

2.2 工作流管理系统的体系结构

2.3 工作流参考模型

2.4 WFMC元模型

第三章 工作流中的过程逻辑

3.1 过程逻辑与业务逻辑

3.2 工作流模式

3.2.1 工作流模式定义

3.2.2 顺序模式（Sequence）

3.2.3 并行模式（Parallel Split）

3.2.4 同步模式（Synchronization）

3.2.5 独占式选择模式（Exclusive Choice）

3.2.6 简单聚合模式（Simple Merge）

3.2.7 多重选择模式（Multiple Choice）

3.2.9 多重聚合模式（Multiple Merge）

3.3 过程逻辑的形式化表示方法

3.3.1 过程逻辑的形式化分析

3.3.2 工作流模式的形式化表示方法

第四章ESR元模型

4.1 WFMC元模型问题分析

4.2 事件、状态、规则

4.3 ESR元模型和过程控制机制

4.4 过程建模实例

第五章规则文法分析和系统设计

5.1 逻辑规则文法分析

5.2 文法分析方法设计

5.2.1 工作流引擎和规则解释器

5.2.2 过程解释器设计

5.3 过程模型重构设计

第六章总结与展望

6.1 总结

6.2 展望

参考文献

致谢