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