基于时序逻辑的柔性工作流的研究与实现

摘要

本文对基于时序逻辑的柔性工作流进行了初步的研究。在分析基于时序逻辑的工作流模型和柔性工作流特性的基础上，详细描述了基于时序逻辑的柔性工作流管理系统的组成及其表示方法，提出了一种柔性工作流的建模方法。 此外，本文还展示了该系统在选择柔性和适应柔性方面如何实现对柔性的支持。在选择柔性方面，利用抽象活动来提供对流程的选择。当出现异常时，提供对异常处理的选择。在适应柔性柔性方面，针对基于时序逻辑的工作流模型的特点总结了对工作流模型和工作流实例的修改方法。 在基于时序逻辑的柔性工作流描述的基础上，实现了柔性工作流的系统原型。本文展示了原型系统中的主要组成部分及其联系。最后，通过一个应用举例来说明原型系统的工作方式以及对柔性的支持。

目录

文摘

英文文摘

独创性（或创新性）声明及关于论文使用授权的说明

前言

第一章 柔性工作流概述

1.1工作流概述

1.1.1工作流的有关定义

1.1.2工作流模型

1.2柔性工作流

1.3基于时序逻辑的柔性工作流

第二章 基于时序逻辑的工作流模型

2.1时序逻辑和XYZ系统

2.1.1时序逻辑

2.1.2 XYZ系统

2.2基于时序逻辑的工作流模型

2.2.1基于时序逻辑的工作流模型的扩展

2.2.2工作流描述语言

2.2.3工作流基本元素的表示

第三章 基于时序逻辑的柔性工作流描述

3.1概述

3.2工作流对柔性的支持

3.2.1工作流中的选择柔性

3.2.2工作流中的适应柔性

第四章 柔性工作流系统原型实现

4.1原型概述

4.2主要模块设计

4.2.1图形编辑

4.2.2工作流图形到WSL的自动转换

4.2.3 WSL的编译

4.2.4工作流的修改

4.2.5与工作流引擎的接口

4.3主要数据结构

4.3.1活动

4.3.2有向边

4.3.3 WSL语法定义

第五章应用举例

5.1流程描述

5.2流程修改

第六章结论

参考文献

致谢

攻读学位期间发表的学术论文