论文部分内容阅读
工作流技术在当今企业级信息化系统中正被广泛的应用,随着其应用的普及,工作流中存在的长事务问题也就成为工作流系统开发者急需解决的问题。与此同时,伴随移动互联网技术的发展,各种无线终端设备应运而生,移动办公已经成为一种趋势,而工作流系统在移动环境中的应用也成为发展的热点,本文将重点对工作流中的长事务和移动环境下的事务工作流进行分析和研究。工作流系统能够可靠执行的一个重要前提是良好的事务处理能力,因此对工作流长事务的研究将具有十分重要的应用价值和理论意义。而随着无线互联网技术和移动终端设备的发展,工作流技术在移动环境下的应用将大幅增加,因此对移动环境下的事务工作流的研究也将具有重要的意义。本文对当前工作流长事务和移动事务方面的国内外相关算法和技术进行了介绍,包括事务处理概述、工作流技术、事务工作流技术和移动事务工作流。本文介绍了国内外学者在工作流长事务和移动事务方面的研究现状和相关技术,分析了这方面常用的模型,包括Sagas事务模型、Flexible事务模型和Kangaroo事务模型。通过对这些事务模型的分析,明确了当前常用工作流事务模型和移动事务模型的特点及优缺点,然后本文针对工作流事务需要人参与处理的特点提出了一种基于语义控制的工作流长事务模型——LTW-SC模型,然后对移动环境下的工作流长事务问题进行了有价值的探索,提出了一种可行的基于Kangaroo事务的LTW-SC混合模型,较好的解决了移动事务工作流中的长事务问题。本文通过C++SIM模拟器和基于概率的理论分析模型仿真实现和分析了LTW-SC模型和基于Kangaroo事务的LTW-SC混合模型,并与Sagas事务模型和Flexible事务模型进行对比,分析结果说明了LTW-SC模型在工作流长事务中具有更理想的撤销率和执行时间。本文还将LTW-SC模型应用到一个实际的会签工作流系统中,成功验证了该模型在实际应用中的可行性。