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