SynchroFLOW工作流动态仿真技术的研究

西北大学硕士学位论文SynchroFLOW工作流动态仿真技术的研究姓名：张潮申请学位级别：硕士专业：计算机软件与理论指导教师：郝克刚20090621SynchroFLOW工作流动态仿真技术的研究作者：张潮学位授予单位：西北大学相似文献(3条)1.学位论文宁多彪基于B/S模式的学校办公工作流系统的设计与实现2007随着教育改革的深化和学校办学规模的扩大，学校原有的办公管理模式已不能适应日益增长的事务处理、信息共享等各方面的要求。为了提高管理工作效率，完善管理模式，必须充分利用现代化的信息技术，和学校既有的网络，构建学校的办公管理信息系统，通过计算机系统对信息进行采集、存储、传输、优化、预测和控制，实时地提供给各级管理人员，从而对学校进行管理，最有效地将信息流通的各个环节组织起来，使人力、财力和物力发挥最大的作用，以此来增加学校的办学效益和提高自我竞争力。工作流技术作为一个新兴的研究领域，广泛应用于企业管理信息、电子政务、办公自动化、生产制造等领域，是实现业务过程建模、优化、过程管理与集成，最终实现业务过程自动化的核心技术。它提供了流程自动执行、流程统计分析、实例实时监控和跟踪等功能。基于工作流技术的管理信息系统的建设，一方面要实现信息共享、流程在计算机上的自动协作处理；另一方面，要使用户方便地分析企业业务流程，找出不合理之处，快速给出流程重组的方案。采用工作流技术的目的是通过将工作分解成定义良好的任务、角色，按照一定的规则和过程来执行这些任务并对它们进行监控来提高办事效率、降低生产成本、提高企业经营管理水平和反应速度。本文首先对管理信息系统和工作流技术的研究现状和发展趋势进行了深入分析，并对工作流的基本理论和相关技术：工作流技术基本术语、工作流管理系统的功能、体系结构、接口和参考模型等理论知识进行了分析；其次，研究了工作流建模的相关理论，包括对工作流模型的各个组成部分的详细分析：然后，对于构建基于工作流技术的管理信息系统涉及的相关技术进行深入分析；最后，根据工作流参考模型，结合新疆高级铁路技术学校校园办公的具体特点，利用SynchroFLOW工作流中间件作为整个办公系统的核心，来构建整个校园信息管理系统。在系统设计上，采用基于J2EE体系结构和B/S模式的Web应用体系。这样的体系结构有效地将工作流业务逻辑、学校已有的校园信息发布系统紧密的结合在一起，使该系统易于布署，便于快速投入实际使用。2.期刊论文宁多彪.陶中平基于B/S模式的校园办公工作流系统的设计与实现-福建电脑2008,24(5)本文首先对管理信息系统和工作流技术的研究现状和发展趋势进行了深入分析,然后,对于袖建基于工作流技术的管理信息系统涉及的相关技术进行深入分析;最后,根据工作漉参考模型,结合校园办公的具体特点,利用SynchroFLOW工作流中间件作为整个办公系统的核心,构建整个枝固信息管理系统.在系统设计上,采用基于J2EE体系结构和B/S模式的Web应用体系.所设计的管理系统经过使用验证该系统具有良好的稳定性、可扩展性和安全性.3.学位论文李向宁业务过程管理理论与若干关键技术研究2007业务过程管理作为一种有效的调度、协调和管理复杂业务过程以及进行跨部门、跨企业业务集成和服务组合的手段越来越受到企业经营者、客户以及研究者的重视。目前业务过程管理领域中存在着过程模型理论研究滞后、缺乏标准化的参考模型、缺乏建模方法论和模型评价标准、资源建模理论与技术匮乏等问题。本文通过对这些问题的研究，初步建立了一个包括过程建模理论、过程模型形式化描述、过程模型合理性验证、资源建模等内容，用于指导业务过程管理系统设计与开发的理论框架。在过程建模理论方面，本文通过对传统Petri网变迁的发生规则进行扩展，提出一种能够表达丰富的变迁发生语义的高级Petri网——L网，论述了L网的发生权与发生结果，定义了L网的发生方式、发生条件和发生规则矩阵。给出了过程模型中常见的XOR、OR、AND等结构在L网中的定义，研究了复杂变迁规则(如3选5)在L网中的表达方式。针对业务过程模型的特点，在L网的基础上定义了一种既能表达丰富的控制语义，又具有直观的图形表示的特殊的L网——业务过程网，研究了业务过程网的输入输出相关性，并通过与工作流网的对比说明了业务过程网的优势。BPMN是业务过程建模的起点，在这个阶段赋予过程模型严格的形式化语义以便进一步的分析和检验，可以在很大程度上将可能的错误排除在模型的概要设计阶段。本文对BPMN规范中与过程执行行为有关的元素用pi演算进行了描述，赋予了这些元素严格的pi演算语义，论述了从BPMN模型到pi演算表达式的转化方案，利用pi演算对BPMN构建的Web服务组合过程模型的交互行为进行了模拟，给出了交互过程描述的例子。在过程模型的合理性验证方面，本文以业务过程网为研究对象，提出了Q代数和基于Q代数的过程模型可达性检验的理论和方法，研究了Q代数的数学特征，给出了常用的定理及其证明，定义了BP-net的可达度，给出了BP-net向Q代数的转化公式，以及根据变迁的发生规则矩阵对Q表达式演算求值的步骤，出了针对不同类型BP-net求解可达度的例子。在资源建模理论方面，本文分析了关于过程管理的4个观念上的问题，提出了路由逻辑与管理逻辑分解的思想，划分了业务过程管理与资源管理的界限，建立了一种资源管理的数学基础——企业资源模型，给出了企业资源模型的形式化描述，定义了企业资源模型的完备性规则，给出了完备性检验的一种实现方案。企业资源模型将过程模型本身以及过程模型中的活动统一抽象为资源进行管理，通过维护企业资源模型完备性来确保资源的引用的正确性。本文最后提出了一种业务过程管理系统的参考模型，论述了参考模型的设计原则，给出了这个模型的部件组成及交互关系，并在SynchroFLOW工作流系统基础上，开发了一个BPM预研系统SynchroBPM4RM，实现了这个参考模型的主要功能。本文链接：授权使用：上海海事大学(wflshyxy)，授权号：276bced6-a124-4729-a572-9dfb015876c6下载时间：2010年9月24日