基于支持动态变更工作流的审判管理系统的设计与应用

作     者：陈旭婧 

作者单位：上海交通大学 

学位级别：硕士

导师姓名：李国强;谭立球

授予年度：2015年

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主      题：柔性工作流 动态变更 Petri网 

摘      要：随着计算机技术的进步、软件技术的发展,以及企业强烈的信息化需求,工作流技术越来越多地被应用于企事业单位的业务系统中。人们通过应用工作流技术,隐藏具体业务内容、抽象业务逻辑、对资源和组织结构进行管理,实现业务的自动化与协作。而现实告诉我们,大部分的企事业单位和机关中,业务工作流程是非常复杂多变的,实际工作中,会出现由于异常情况的出现、技术进步、组织结构变动以及业务过程的优化、重组等情况。依据业务需求的变化对业务流程进行调整,即工作流的柔性,是现代工作流技术应具有的能力之一。工作流的柔性是指,工作流系统可以使得业务流程在无需停顿或二次开发的情况下即时应用变更,它增强了企业应对业务变化的能力,是一项具有重要理论意义和实用价值的研究课题。近年来,国内外的学者们对如何实现工作流柔性、及柔性的应用问题上进行了大量的研究,并取得了大量的成果。在这个研究趋势下,工作流的柔性研究受到了广泛的重视,并成为了工作流管理系统领域中的重要研究课题。本文的主要研究基于已在湖南省推广使用的审判管理系统,其内容是如何在已有的基础上对该系统进行改进,使得其工作流能有效地即时响应动态变更。在本文的开始,提出了传统工作流在现实中的问题,对目前国内外的动态工作流实现方法进行了简介;归纳总结了目前工作流实现柔性的种类和实现方式。对湖南省法院系统使用的审判流程管理系统进行了描述,并阐述了由于工作模式改进带来的业务动态变更需求;在此基础上,针对审判流程管理系统中的有向图模型,提出了其基于Petri网的验证分析模型,在用于分析的Petri模型中,节点路由用关系矩阵来定义,流程运行状态则由状态向量来表述,还可以通过出现序列记录追溯流程运行历史。当变更发生时,对Petri模型进行分析,根据其可达特性来确定变更的迁移策略。对动态变更需求的种类进行了研究,根据不同的变更类型,提出了不同的处理方式:针对实例变更,采用流程模型编辑器的方式,由用户自行临时更改流程定义;针对模型变更,基于本文设计的动态工作流模型,设计了变更处理算法,该算法采用Petri网的分析方法来确定迁移策略,提高了工作流的执行效率;依托于已有的工作流引擎,设计了附加的动态变更服务:包括流程编辑器、流程解析器、变更调度器、变更执行服务四大部分,并对每个部分进行了详细的阐述和功能设计;探讨了变更服务涉及的数据交互及持久化管理。最后,并针对审判流程管理系统中的一个典型诉讼流程应用变更处理算法,对比变更前的流程实例,可以看出该变更处理算法是可行和有效的。