论文部分内容阅读
工作流技术是在信息技术的快速发展下，一种实现业务流程管理自动化的核心技术。随着市场需求变化的加快和企业间竞争的加剧，工作流技术具有广阔的应用前景，对工作流技术的应用研究也具有积极的现实意义。业务流程的建模是开发工作流应用系统的一个重要的起始步骤，其模型的合理性会对整个应用系统的可靠性和稳定性具有重要意义。本文对开源工作流系统jBPM采用的jPDL建模语言进行了研究，jPDL具有简便性和灵活性，但在建模中可能出现设计的业务流程不合理的情况，而jBPM系统提供的jPDL模型本身又缺乏严格的形式化语义，不便于结构的合理性检查。本文通过对比jPDL模型与具有严格形式化语义的Petri网模型的基本流程控制结构，设计了一个将jPDL业务流程模型转换为Petri网表示的工作流网模型的算法。为了实现对转变后的工作流网模型进行合理性验证，引入并完善了一个基于状态空间模型的工作流网合理性的验证算法，并采用了基于矩阵和向量的方式来实现对工作流网的合理性验证，由此也完成了对jPDL建立的模型的合理性验证，提高了基于jBPM工作流的应用系统的可靠性，具有一定的理论与应用价值。在实际的工作流应用系统中，常会遇见会签、撤销等典型临时性需求的情况，本文对这些情况进行基本的分析，在对jBPM工作流引擎的基本原理研究的基础上，给出了基于jBPM的基本解决思路和方案。jBPM默认采用内存数据库，以及默认构架在实际应用的不足，采用与开源web框架S2SH整合，以增强jBPM在实际应用中的适应性和可扩展性，具有一定的实用性。通过利用工作流技术，采用针对业务流程的开发方法，基于jBPM和相关平台，本文最后设计了一个基本的报销审批原型系统。通过对系统的总体需求和业务流程的建模分析，总体构架的设计和数据库的设计，应用了对jPDL的建模验证技术、撤销和会签的临时动态需求解决方案以及web框架整合扩展技术，来实现报销审批系统，达到了预期目的，并对整个课题的研究进行总结和进一步展望，以期在推动工作流技术在实际开发中的应用做出一点努力和探索。