分布式工作流的事件合成与事件进化

摘要

该文文对事件的形式化进行了探讨,分析了前人在工作流事件合成的语义和形式化方面的不足,提出了新的事件合成策略.在事件合成时,新策略根据工作流语义的要求决定组件实例的取舍,同样新的合成事件的形式化更好的反映了时间粒度的匹配问题及流程的语义.同时为了克服集中式时间戳的不足,实现系统的真正分布性,提出了差值时间戳技术进行事件合成.该技术不需要全局统一的参考时钟,但间接的实现了参考时间的一致性.为了支持对工作流事件动态修改的要求,提出了扩展的Petri网结构来实现,该结构考虑了当前工作流事件状态的影响,支持事件进化中各种语义的要求,将受影响的事件组成事务一起实现进化,从而保证进化的一致性.事件的合成与事件进化都用一个扩展的Petri网结构来实现,使得工作流的正常执行和动态修改能够同时进行.事件驱动工作流的一个重要特点是易于修改,事件修改的主要难点是历史事件与新的事件类型的连接问题.基于状态的Petri网是一个连接过去、现在和未来的优秀的数学模型,事件的进化需要这一模型的支持.

目录

摘要

ABSTRACT

第一章引言

1.1课题的背景

1.2本文的贡献

1.3本文的组织结构

第二章分布式工作流

2.1分布式的特点

2.2一个典型的事件驱动的分布式工作流体系结构

2.3事件驱动机制的内涵

第三章分布式工作流的事件合成

3.1前人工作的回顾、不足与原因分析

3.2时态技术

3.3事件历史与事件运算

3.4合成事件的检测

3.5一个简单的工作流例子

3.6事件类型

3.7差值时间戳技术

3.8事件出现

3.9事件历史的应用

第四章事件进化

4.1相关概念

4.2事件进化的一般性特征

4.3对事件的插入、删除及更新的分析

4.4事件进化与规则执行的关系

第五章事件合成与事件进化的实现

5.1事件检测

5.2扩展的Petri nets模型(E-PN，CE-PN)

5.3事件合成的实现

5.4事件进化的实现

第6章结束语

参考文献

致谢