论文部分内容阅读
随着计算机应用的普及，很多业务系统被开发出来用于企业的业务流程管理，从而大大降低了企业的运营成本，也提高了企业的生产效率。为了应对市场变化，企业需要根据市场的变化及时调整自己的生产运营流程，于是业务系统对动态流程的支持就显得很重要。着眼于此，本文做了如下工作：
首先，阐述了业务系统发展过程中各种支持动态流程的建模方法，并详细分析了作为本文研究基础的SPDM模型，给出了SPDM模型的优缺点；接着，为了克服SPDM模型不能支持流程动态修改的缺点，本文对SPDM模型进行扩展，提出ESPDM模型，ESPDM引入强关联操作序列和操作回滚标记，使状态模型和操作模型的描述能力有了很大的提高，从而使ESPDM模型支持业务系统在运行时对流程模式进行修改，实现了流程模式一级的动态性；另外，本文对基于ESPDM模型的业务实例进行形式化描述，并通过特权通道扩展实例的描述信息，使ESPDM模型增加支持实例特权通道的功能，并给出特权通道设置和实例状态跳转的算法，实现了实例一级的动态性。
为了解决流程模式修改后所带来的实例迁移问题，本文细化实例可迁移的判断标准，提出基于数据依赖关系和操作回滚的实例实时迁移策略。相比于使用较广泛的实例重启和分类执行等迁移策略，实例实时迁移策略可以减少用户工作量，同时使更多的实例迁移到新的流程模式上继续运行。
最后，本文设计并实现了基于ESPDM模型的业务流程建模工具EPBTool，并通过一个案例说明ESPDM模型如何支持流程的动态修改和实例的迁移。