工作流模型的CSP语义描述与分析研究

华东师范大学硕士学位论文工作流模型的CSP语义描述与分析研究姓名：郭李华申请学位级别：硕士专业：系统分析与集成指导教师：吕钊20080401工作流模型的CSP语义描述与分析研究作者：郭李华学位授予单位：华东师范大学相似文献(10条)1.学位论文杨新艳复杂事件处理在分布式工作流监控中的应用研究2007工作流技术是实现企业业务流程管理自动化的一项重要的计算机技术。随着计算机网络技术的不断成熟和发展，企业的规模越来越庞大，企业物理位置的分散性和决策制定过程的分散性日益明显，分布式工作流技术迅速发展。如何来监控分布式工作流系统的执行，如何能更好地根据用户不同需求从分布的企业信息资源中提取相关数据，这对工作流监控工具提出了更高的要求。复杂事件处理是一种从基于消息的分布式系统中提取信息的新技术。它的思想是根据对复杂事件建立关系以及相应映射来划分事件的等级，通过设置用户感兴趣的层次提取出有用信息。本论文有效利用复杂事件处理技术提取分布式系统中信息的优势，研究了便于分布式工作流监控的复杂事件处理方法。并分析了这种处理机制的应用相关问题。本论文首先介绍了工作流的起源发展、工作流监控的现状和课题研究的意义等。第二章首先阐述了工作流的体系结构、WfMC定义的参考模型、工作流的建模等基本问题。然后介绍了分布式工作流系统的特点，分析了现有的分布式工作流技术，并介绍了工作流监控的功能。第三章首先介绍复杂事件处理技术，然后在详细定义了工作流中事件的相关概念以及事件的形式化表示基础上，研究了工作流监控中的复杂事件处理方法。引入了事件块的概念，通过事件块的检测，最终将复杂事件转化为具有等级特点的事件树，完成工作流中复杂事件处理。根据复杂事件处理技术的特点，引入了基于角色的访问控制机制。第四章介绍了角色访问控制机制的概念和基本模型，并研究了在事件监控中的应用。第五章比较．了传统的分布式工作流和基于事件的分布式工作流，分析了基于事件的分布式工作流管理系统的优势以及在其监控系统中应用复杂事件处理的好处，然后研究了监控系统的功能和实现技术等问题并对异常处理做了阐述。2.学位论文宋鑫超自定义工作流框架的研究与实现2008工作流(Workflow)的概念起源于生产组织和办公自动化领域。目的是通过使用若干新方法、技术和思想对涉及人、组织、业务对象和其它信息资源的企业运作流程的设计、执行、控制、分析等诸多环节进行更灵活的支持和管理，达到提高生产组织水平和工作效率的目的。自定义工作流以业务流程、活动为中心，突出地将业务流程实现提升到一个更高的层次上。系统只提供工作流设计和运行的环境以及基本元素，将流程定义独立出来，不和具体业务绑定，由企业内的系统管理员根据企业自身需求，用这些元素组合出各种各样的流程，使企业能够迅速使用重组的流程，提升企业竞争能力。近些年来，流程的自动化和工作流技术得到了热衷关注。回顾企业级应用系统的发展历史，数据库管理系统的诞生使得企业应用与数据管理实现了分离，图形界面技术和浏览器技术的发展使得企业应用与用户接口实现了分离，而工作流管理系统的出现则实现了企业应用与业务逻辑规则的分离，这将大大提升应用程序的柔性，并促使企业应用从面向功能的事务处理向面向过程的业务处理变化。针对当前工作流的发展及应用状况，本文在综述了工作流国内外研究现状，首先明确了工作流的相关概念，然后详细介绍了WFMC工作流模型的功能结构，并对自定义工作流的相关技术、应用平台和理论框架等几个方面进行了较为深入的研究和探讨，突出了与传统工作流的比较优势，最后，实现了基于自定义工作流文档管理系统。3.学位论文袁海涛基于SVM的工作流异常预测方法研究2008随着经济全球化和信息技术的发展，社会活动中产生的事务和信息变得日益庞大和复杂，从而对信息的处理能力提出了更高的要求，实现业务流程的自动执行已成为当前信息化需求和建设的热点。现有研究在此领域的最新进展即是工作流技术的产生和应用，工作流作为一种现代管理思想和最新信息技术的结合，已经深入信息化建设的各个领域。特别是具有灵活性、动态性和自适应性的柔性工作流的提出和发展，符合了现在复杂多变的市场和竞争环境下的需求，引起更多学者的关注。柔性工作流研究的一个重要分支就是工作流异常研究，目前已提出了很多异常处理方法，但在异常预测方面却没有形成相对成熟的理论和方法，这也使得异常处理方法得不到有效的推广和应用。本文即是在这种背景下，对如何建立准确、高效的工作流异常预测方法进行了相关研究。在分析了工作流异常类型和现有异常处理方法的基础上，本文指出异常处理研究成果难以得到推广应用的根本原因在于系统本身没有建立有效的异常预测方法和机制。而建立准确有效的预测方法需要有新的工作流建模方法和有较强学习能力的预测算法，预测的基础即是可量化描述的业务流程活动节点的执行状态信息。因此，本文在传统Petri网建模方法基础上，通过增加状态标识和能力标识，形成了可量化描述工作流运行实例状态信息的标识Petri网建模方法，并对该方法的性质和正确性进行了定义和分析。在该建模方法的基础上，结合工作流异常的特点，本文提出运用统计学习最新成果--支持向量机(SupportVectorMachine，SVM)理论去构建工作流异常预测方法，并对该方法的可行性和具体实现过程进行了分析说明，形成了本文提出的基于SVM的工作流预测方法。在此基础上，结合异常处理中的ECA规则法，本文设计了基于Agent和知识管理的工作流异常处理系统模型，分析了该模型中异常的预测、识别、处理和反馈过程，使异常处理更具针对性和科学性，为异常处理研究提供了一个有价值的参考模型。最后，本文通过一家纸包装企业的供应链工作流实例，说明了本文提出的标识Petri网建模方法和基于SVM的异常预测方法在实际中的应用，并对异常预测过程、参数选择和预测结果进行了详细分析。利用本文提出的异常预测方法，该工作流实例执行中的异常预测准确率平均达到80％以上，证实了本文提出的方法对于提高工作流异常预测精度的可行性和有效性。工作流异常预测是异常处理和柔性工作流研究的基础，本文以此为背景，提出了标识Petri网建模方法和基于SVM的异常预测方法，为工作流量化建模和异常预测研究提供了有意义的参考方法；设计了基于Agent和知识管理的异常处理系统模型，对于工作流异常处理研究和应用具有一定的指导意义。4.期刊论文李晓刚.赵良君.沈宏.白一迪煤炭企业管理电子政务平台以及工作流的运用-煤矿安全2006,37(6)主要就工作流在煤炭企业管理电子政务平台中的运用做一个概要叙述,主要从煤炭企业安全管理需求入手,简述了由于需求而设计出的功能,以及这些功能实现的结构设计,并且简述了工作流的运用.5.学位论文孙永岩基于角色过程视图的跨组织工作流监控和管理2008在多个企业的跨组织合作中，每一个参与企业必须管理监控自己内部的工作进展，也需要监控所有合作者的情况，以确保跨组织合作流程更加有序和高效。如何使企业在增强对外交互能力的同时，保护企业内部的敏感信息，是跨组织工作流应用中重要的也是亟待解决的问题。本文以跨组织工作流理论为基础，结合卫星研制AIT流程，提出了一种基于角色结构自主生成过程视图的新方法，该方法根据不同角色的需要，通过过程视图的虚状态表示整个流程的进展情况，能有选择的隐藏企业私有工作流的细节，同时对外提供面向过程的接口，使每一个参与企业通过过程视图的虚状态来监控协调企业间的进展情况。该方法可以实现跨组织工作流监控和管理，是一种有效的方法。本文在详细论述了基于角色过程视图方法的研究与实现的基础上，又在过程视图中引入了主动规则，并对此进行了深入探讨，体现出主动监控的特性。基于角色过程视图的算法和方法已经通过卫星研制AIT管理系统得以初步实现，并应用于卫星AIT研制流程和产品状态管理，取得了较好的效果。本文研究工作的意义在于，通过该方法可以使卫星研制流程更加高效和灵活，该方法也可以借鉴和应用到其他跨组织的合作项目中，以达到更有效的监控和管理的目的。6.学位论文王玉科基于接口设计的工作流研究与实现2008随着网络和Internet的快速发展，人类的交往方式也逐渐多样化，办公手段也不断多样化。企业办公的方式也逐渐趋向于无纸化，OA系统逐渐在企业中得到普及，这无疑是企业管理和运营制度的一次变革。企业规模的扩大，对业务流程的管理也提出了更高的要求。为了完善企业的管理，对企业资源进行有序和有效的管理，减少人为因素造成的资源浪费，工作流管理系统正是迎合了企业的需求而蓬勃发展起来的。工作流在企业中常称作电子流，可以用于管理企业的业务报帐、市场出差管理、项目申报、财务审批等。采用工作流管理系统来管理企业业务，使企业的常规业务管理得到固化，从而为管理者审视管理制度，不断优化管理模式提供了有效的参考和改进手段。灵活的工作流流程管理，可以更加容易的满足企业管理者的多样化需求。为了设计好的工作流管理系统，软件开发商开发出各种各样的工作流模板。本文主要是针对于中小企业工作流管理系统的设计，采用C＃接口设计方式来描述工作流的主要组成部分。接口设计往往出现在代码设计的前期，在具体的工作流管理系统中提取工作流模型，它只负责流程的模型设计。软件公司通过对接口模型的不断完善，而逐渐形成自己的一套完善的工作流管理系统框架。论文从分布式体系入手，结合工作流主体要素的接口设计，对工作管理系统的特点和发展趋势进行分析，阐述工作流管理系统结构的框架结构，对工作流过程中主要操作进行了实现。关于工作流接口设计实现，采用了工作流数据库结构设计，采用XML文档作为配置文件，对工作流从启动到终止的主要状态作实现描述。最后，对全文进行了总结并就工作流接口设计理论和应用方面的进一步研究工作做了展望。7.学位论文程旭曼虚拟企业工作流研究与应用2007随着网络技术的飞速发展和电子商务的广泛应用，一种联合供应商、制造商、经销商及顾客的新型企业模式——虚拟企业，得到了迅速发展，并吸引了众多研究人员的关注。虚拟企业是一种各个独立企业在产品生成过程的各个环节进行通力协作，集成各自的核心技术以提高市场竞争力的一种企业模式。作为一种直接面向产品的新兴企业合作模式，其核心是工作流的建模、评估和优化。工作流技术在初期主要由工作流产品开发公司推动其发展，随后许多大学和研究机构也开展了很多研究，并取得了众多的研究成果。但由于虚拟企业的发展快、出现时间短等多种原因，针对虚拟企业工作流的理论研究还很不成熟，才刚刚起步。本文首先概述了虚拟企业的产生、特点、分类、发展状况以及建立虚拟企业应具备的条件，并解释了虚拟企业的运作模式。基于工作流模型和Petri网理论，本文提出了一种实用的基于随机Petri网的虚拟企业工作流模型。模型利用Petri网形式化的特点，在实际建模中将虚拟企业的工作流步骤和Petri网元素进行对应，应用Petri网将实际工作流进行抽象，通过将业务图形化而将工作流表示为实例化的Petri网模型。针对现有的工作流模型缺乏全面而定量的客观评价标准的缺陷，本文就随机Petri网工作流模型的几种基本结构（顺序、并行、选择和循环），给出了一组可对工作流性能进行定量分析的性能评价公式，利用该组公式可以有效的对模型性能进行评价，并可为模型进一步的改进提供客观的依据。为验证上述模型和公式，本文通过分析一个实际的虚拟企业中的办公自动化系统的工作流的设计与实现，验证了随机Petri网在工作流模型设计中的实际应用价值，并且使用本文所提出的性能评价公式，对模型进行了评价，并根据评价结果提出了优化的具体措施和效果。该系统实现了工作流运行时的动态控制，能较好地解决企业工作流程复杂多样、变化频繁的系统需求；系统采用和平台无关的J2EE技术，使得系统移植方便且便于维护和使用；系统采用B/S模式结构以适应虚拟企业物理位置分散的特点，使不同企业的工作人员可跨地点协同工作；模型选择SQLServer作为后台数据库，便于使用且维护简单，并能够保持系统的扩展性。到目前为止，和虚拟企业相关的技术仍然在不断的发展和完善之中，本文的工作在将Petri网理论引入到虚拟企业信息的流转方面