基于Petri网的工作流管理系统的设计与开发

工作流管理技术是一种过程建模和过程管理的核心技术,它可以应用在很多业务管理系统中。本文介绍了工作流的概念、建模方法、模型验证方法和Bossa开源引擎,描述工作流管理系统从建模到实现的具体方法。     

可视化工作流建模工具WorkFlowEditor设计与实现

针对企业业务过程建模的需求,分析目前典型的工作流过程建模方法,并结合工作流管理联盟提出的XPDL过程定义语言,设计一种可视化工作流建模工具Work Flow Editor。依据"问题分离"原则,对WFMC的工作流过程定义元模型进行了改进,使建立的模型具有易修改、元素可重用等特点。针对建模元素可扩展性的需求,通过定义建模元素类的通用接口和设计一种动态加载方案,在很好地方便企业用户定制建模元素的同时又不需要修改建模工具。针对多任务多分支环境下复杂的流程编辑问题,设计了一种有限状态机(FSM)模型,实现了复杂编辑动作的实时性处理和灵活控制,降低了时间复杂度,并且实现模块化编程,很好地实现了流程的建模。     

基于Petri网的工作流过程建模

业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型：首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映 射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。     

基于FSM的工作流建模方法及其应用

传统工作流建模工具大多是按照流程序列化思想进行使用,关注的是业务的执行顺序和路径,难以对跳转、回退、循环等复杂的业务过程进行建模。本文提出一种基于有限状态机的工作流进行建模的方法,该方法将业务过程看成是有限状态机的状态转移过程,给出工作流建模的几个步骤,最后通过一个实例对该建模方法进行分析说明。     

工作流模式的π演算形式化

为了实现工作流管理功能,必须将业务过程从现实世界中抽象出来,并用一种形式化方法对其进行描述.工作流模式是工作流建模的基本构造单元.π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.首先提出以π演算作为工作流形式化的基础,然后利用π演算对工作流模式进行详细的描述.     

基于分布式工作流技术的校园应用软件集成模型研究

工作流技术是实现企业业务过程建模、管理、优化与重组,最终实现业务过程管理与自动化的核心技术。而分布式工作流技术的研究已经成为当前研究的热点。本文描述了分布式工作流技术的特点,利用Java和CORBA技术给出了基于分布式工作流技术的校园应用集成模型。探讨了多个工作流系统互操作的问题。最后提出了动态创建过程实例的思想和活动池的概念,可以极大地提高整个系统的效率以及资源利用率。     

Petri网在业务过程建模中的应用

业务过程建模是工作流管理系统的基础,当前人们对业务过程建模技术还缺乏系统研究。本文主要结合我们实现的业务过程建模工具综述了Petri网在业务过程的形式化表示,正确性证明、性能评价和模型优化等方面的应用。     

基于.NET平台和Web服务的工作流平台设计与实现

作为实现企业业务过程建模、管理与集成的核心技术,工作流技术不仅可以实现业务与运营流程的弹性转变,而且可以成为多种业务的整合桥梁。以一个大型集团公司的信息化现状为背景,分析工作流平台的业务背景和需求,提出了基于Web服务技术的分布式工作流平台的概念和解决方案。并结合实际的业务需求设计了该平台的数据模型、控制模型和服务接口,阐述了实现过程中的关键问题及解决办法。     

基于工作流的知识流建模与控制

知识在多个参与者之间的产生、传播与应用称为知识流.在知识密集型组织中,对业务过程的控制和对知识资产的管理具有紧密的依赖关系.工作流管理是实现业务过程控制的重要技术.当前的工作流过程元模型不支持对知识管理机制的表示.为此,提出了一个扩展的工作流过程元模型,以支持业务过程控制与知识管理的集成.在此基础上,对知识流的建模与控制进行了深入的研究.提出了一种知识流建模方法,通过5类知识流单元对知识传递与重用、人员协作与交流进行表示.针对知识流中的动态因素,研究了基于资源约束、知识需求变化和时间约束的知识流控制方法,以实现自适应的知识流控制,并给出了有关算法.为工作流技术与知识管理技术的有效结合提供了一个有益的途径.     

集装箱动态跟踪工作流网模型的建立与实现

集装箱动态跟踪的过程是一类典型的以状态变化为主要特征的、分布的、循环的过程，并且其状态变化满足一定的规则，可以把这类过程看作是一类基于状态的工作流过程。对工作流过程进行建模是实现、仿真、分析工作流过程的前提和基础，工作流网就是—种以Petri网理论为基础、基于状态的工作流过程建模方法。文章提出了集装箱动态跟踪的工作流网模型及其实现方法，探讨了工作流网建模技术。     

项目管理系统中管理流程的研究与设计

工作流技术是计算机支持的协同工作研究领域新出现的一门学科。它是实现企业业务过程建模,过程管理与集成,最终实现业务过程自动化的核心技术。针对建立固定资产投资项目库的实际需求,项目开发小组利用编程技术实现了系统对项目的增、删、改等操作,并计划创建工作流流程管理,实现项目的流程化管理,最大程度地提高了办公效率。这不仅解决了传统管理方式所带来的问题,而且满足了投资处管理项目的需求。文章从工作流定义、研究现状和研究内容、项目库系统架枸及建模工具的角度概述与分析,使读者对工作流技术有一个系统的认识与了解。文章描述了在整个项目库中工作流技术的应用。本论文的目的在于使读者便于理解工作流的概念,并对工作流的应用有一定的了解。     

基于Petri网的工作流建模与分析

工作流是一组有关联关系的工作项的集合,它模拟了企业业务过程中实际的或虚拟的工作步骤之间的关系,在实际业务过程中工作项之间除了顺序,分支,循环等关系外还有异步,并行,同步等关系,因此,工作流建模非常复杂,目前还没有一个专门的建模工具满足工作流建模的要求。Petri网是一种图形化的建模工具,具有坚实的数学理论基础。该文探讨和总结了基于Petri网的工作流建模方法,并在此基础上对工作流Petri网（WEPN）进行了分析。它是进一步对工作流进行全面诊断的基础。     

基于图形展开及图形归约的过程模型验证方法

工作流过程模型是业务过程的形式化定义，在业务过程的分析、运行和重组方面起着关键性的作用．为了实现预期的业务目标，需要正确地定义工作流过程模型，它的正确性直接影响业务目标的实现，WfMS开始调度执行之前必须对其进行分析．针对大规模复杂应用的特点和业务过程执行的实际需要，对复杂工作流过程模型的正确性验证进行了研究；基于有向有环图(DCG图)详细讨论工作流过程模型的局部错误以及过程逻辑错误；给出了过程建模中避免错误的相关约束规则；另外了提出了一种新型的图形归约和图形展开相结合的验证方法及过程模型验证算法．     

一种高可控性和高扩展性的工作流模型

工作流（WordFlow）是一种在业务过程重组（BPR）、办公自动化（OA）等信息系统中广泛应用的技术，为信息系统的开发应用提供了一种新的范式。本文在结合了各种工作流模型的基础上，引入条件弧、条件步骤、数据源动态实例结合，提出了一种满足复杂业务建模和控制的工作流模型。     

基于办公自动化系统的工作流模型与算法设计

随着计算机科学的飞速发展,大多数企事业单位都实施了办公自动化系统(OA)。而工作流技术是实现业务过程管理自动化的核心技术。通过对业务流程建模和业务流程实体的建模分析,设计了基于Petri网办公自动化系统的工作流原型系统。在现有Petri网和WF-net理论的基础上,设计了工作流实现算法,研究并建立了办公自动化系统的精简工作流模型。     

面向执行的工作流控制流建模技术研究

工作流系统中的控制流建模一般注重描述活动间的路由语义,通过组合分支和汇合结点构造过程路由结构。这种描述方法不便于执行,导致工作流引擎的实现复杂。直接从过程和活动本身及相邻两个活动间的控制响应关系和路由关系入手,开发了一种基于ECA规则的控制流建模方法。使得过程和活动能响应外部事件,从而实现对工作流的动态行为建模。而且,用链接和控制点实现了活动间复杂路由语义的建模。统一了工作流引擎对控制流的执行方法,使得工作流引擎的实现机制大大简化。     

一个基于工作流的CSCW平台

在企业应用中，工作流管理作为一种重要的协同工作技术，为业务过程提供了从建模、分析到控制执行的完整框架．本文基于对工作流技术的研究，详细论述了一个基于工作流的CSCW平台—ECCS系统。     

基于Web的工作流管理系统的研究与开发

采用工作流管理技术可以实现对业务过程的管理和监控,本文首先介绍了工作流及工作流管理系统,提出了一种基于Web的工作流管理结构模型,并初步实现了该模型。     

Petri网的工作流模型建模研究

实现工作流技术的关键环节在于工作流的概念模型,而其中的过程建模又是构建工作流管理系统的基础,因此,对建立工作流模型的研究和应用比较多。近几年,随着业务流程建模、工作流概念的出现以及Petri网技术的发展,Petri网也被用于工作流模型的建立。该文在介绍工作流模型和Petri网基本概念的基础上,介绍工作流的四种基本流程结构,并以工作流的四种基本流程结构为出发点,给出了如何把它们映射成符合工作流网定义的模型的一种方法。     

基于工作流的研究生教育管理系统的研究与实现

过程管理已成为现代教育管理的必然选择.工作流技术为实现高校研究生教育过程的建模和全面管理提供了有效支持.本文研究开发的研究生教育管理系统以工作流参考模型为基础,采用了工作流引擎技术和统计报表技术,定制业务流程和业务报表格式方便快捷,大大提高了研究生教育管理的高效性和科学性.