一个基于自适应规则库的柔性工作流模型

在传统工作流建模思想的基础上,通过综合考虑各种动态的需求以及流程中的可变因素,提出了一个基于自适应规则库的柔性工作流模型,并从形式化定义的角度出发,详细论述了规则库的设计及应用逻辑。在系统建模阶段尽可能对动态因素进行描述和定义,力求做到定义时的柔性,并允许工作流在执行时进行过程、角色、状态和异常定义的修改,力求做到运行时的适应性柔性,使工作流系统在建模定义的整体框架内可以动态地进行调整,从而实现工作流的动态性和自适应性。     

迁移工作流系统中本体替换的柔性机制

当前工作流系统普遍缺乏柔性,导致动态适应性和实用性较差.本文结合本体技术讨论了工作流柔性,提出一个基于本体替换的柔性机制,在预定义的子工作流或资源无法得到时,寻找到可替代的子工作流或资源.将该机制应用到迁移工作流模型中,提出柔性迁移工作流系统框架,使工作流系统从建模和执行都具有良好的柔性和适应性,同时降低复杂性.该机制有效实现了动态联盟工作流系统的重构和规模扩充.     

基于分布式工作流平台的ERP系统的研究与开发

本提出了一个基于分布式工作流平台的ERP系统的开发方法、协同建模机制以及柔性执行等机制、这些机制改变了现有的工作流平台的集中式建模的约束以及业务流程固化的运行模式一最后给出了一个基于分布式工作流平台My—Workflow开发的ERP系统的实例。     

基于信牌驱动模式的工作流柔性建模的研究

目前大多数工作流系统都不能支持动态可变的柔性特征,而支持动态可变的柔性工作流系统是人们在实际应用中对工作流系统提出的新要求,也是企业为了满足业务流程变更的需要.提高工作流系统的柔性需要从工作流的建模、系统设计等各方面去努力.在协同信牌驱动工作流模式模型的基础上引进了适合该模式的柔性建模的元模型,并且提出了限制该模型的一些规则来讨论基于该模型的柔性建模工作流系统的实现.     

柔性工作流动态建模机制的研究与设计

传统的工作流系统灵活性不强,缺乏对动态性和自适应性需求的支持,不足以应付复杂多变的业务流程.为了使工作流系统能够较好地适应变化,对基于规则的柔性工作流的动态建模机制进行了深入的研究,分析了现有的基于规则的工作流动态建模机制的不足,提出了能够动态构建出包含循环逻辑的工作流模型的方法.这一方法能够高效地动态构建较为复杂的工作流模型.文中较详细地阐述了这一方法的具体步骤,并结合实例展示了该方法的具体执行过程.     

基于Pi演算和EECA规则的跨组织工作流建模研究

针对跨组织环境下的工作流形式化建模技术的不足问题,提出了一种基于Pi演算和EECA(Extended-ECA)规则的跨组织工作流建模方法.将ECA规则在时间上进行扩展,解决了ECA规则在描述与时间相关的复杂过程时能力不足问题.利用Pi演算技术,对跨组织的本地工作流的协同方式进行了形式化描述.分析了协同模型及其执行过程,并给出了一个应用实例验证了提出的模型具有较好的柔性,可以有效用于本地工作流间的协同工作,并且适合于对分布式协同环境下的工作流进行建模.     

工作流柔性模型的定义方法

随着工作流管理系统应用规模的不断扩大和应用领域的不断拓展,工作流的动态性、灵活性、个性化成了用户的迫切需求。目前大多数工作流模型基本上是基于“静态”过程定义的,这就不能根据工作流实例的运行状况、运行时相关数据信息而动态地建立模型。提出了工作流柔性模型的定义方法,就是对工作流活动进行wrapper,增加它对运行环境的感知。     

基于动态结构的柔性工作流建模方法研究

柔性工作流能够快速灵活地适应企业业务流程的动态变化。在分析柔性工作流产生的原因和柔性工作流特性的基础上,详细描述了基于动态结构的柔性工作流的组成及其表示方法,提出了一种柔性工作流建模方法,结合基于Web的客户服务系统,给出了该柔性工作流建模方法的实例。     

业务流程柔性配置的研究和实现

实现了一个柔性可配置轻量级工作流引擎系统。系统使用工具JaWE进行可视化建模,生成XPDL格式的流程定义文件;并设计实现了基于 Token 的引擎执行控制机制,使得引擎系统对其所在业务系统中的业务流程执行过程的控制准确而有效率。采用适当的流程定义管理策略,实现对流程运行时修改流程定义的支持;同时引擎使用基于组件配置的方式形成业务系统,使应用引擎的业务系统具有较大的柔性。该引擎已成功应用在某制药企业的项目管理平台中,取得了良好的应用效果。     

工作流管理系统的柔性技术

分析了工作流管理系统柔性方面的具体要求，归纳出柔性的两个方面：建模技术和系统执行，并提出了抽象建模方法，该方法描述各个业务的共同部分，在流程运行中定义流程的临时路径，具有很好的柔性。最后提出了一个系统的体系结构。     

动态工作流挖掘模型及算法研究

工作流挖掘是工作流再设计与分析的一项关键技术,目的在于从企业已有信息系统的日志记录中提取与实际应用相关的业务流程,从而提高工作流建模的客观性。从实际应用的角度出发,提出基于动态工作流网的挖掘模型,并设计了可行的算法。该算法从零日志开始,在工作流执行期间柔性地构建工作流模型和生成日志记录,动态生成工作流网,在很大程度上解决了常规挖掘方法在挖掘复杂结构效率低、准确性差、依赖完整的日志记录和不支持柔性工作流等方面的问题。算法的实用性在实际应用系统中得到了很好的证明。     

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

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

基于规则的动态工作流建模方法的研究与设计

现代企业流程所固有的多变性和灵活性,凸显了工作流在处理动态不确定因素方面的不足。针对这一情况,提出了一种基于ECA（event—condition—action）规则和活动选取一组合规则的动态工作流模型。该模型采用柔性活动对流程中的不确定因素进行了封装,用活动选取一组合规则来约束柔性活动的具体化过程,并设计了一种高效的活动自动选取一组合算法,来实现柔性活动的具体化。     

Contract-collaboration network method for modeling manufacturing resource control workflows

This paper presents contract-collaboration network (CC-Net) method that is developed to model manufacturing resource control workflows. The CC-Net is an object-oriented class diagram. It depicts the contract-collaboration relationships among the classes in a manufacturing system, with constraints. The CC-Net method uses a primitive modeling block called collaboration module by which the CC-Net is established systematically. This idea is very similar to that of the Lego® block toy. Unlike most workflow modeling methods, the CC-Net method views workflow modeling as a constraint satisfaction process. That is, describing the set of constraint recovery rules corresponding to the constraint violations is regarded as workflow modeling. The obtained set of workflow rules is free from process deadlock and considers all the events of triggering the workflow. We explore the use of the CC-Net method for the workflow modeling of a flexible manufacturing system.     

支持状态机建模的工作流引擎研究

为了能清晰地描述存在较多审批环节和步骤跳转的业务流程,提出利用状态机为流程建模的方法。通过改进传统的关系结构工作流引擎,给出一个支持状态机建模的关系结构工作流引擎的设计方案,详细介绍该引擎的设计原理和实现柔性方法。最后通过一个示例,演示支持状态机建模的工作流引擎的工作机制和实例迁移的过程。原型已经应用到高校学费管理系统中。实践证明,该引擎可以有效地支持状态机建模,并缩短关键业务的开发周期。     

An operational approach to the design of workflow systems

We construct models as an aid to our thought process. A particular class of models, operational models, can be used for simulation and prototyping. The OPJ modeling language is suitable for building operational models of complex software systems.The notion of operational parameterized building block is the key point of the approach, which focuses on two major phases: domain modeling and system modeling. Domain modeling consists in providing the classes of the building blocks grouped into different schemata. System modeling consists in building an actual model using the building blocks taken from the above-mentioned schemata; such building blocks are connected to each other according to the rules expressed in the schemata and are given actual parameters.As an example, a workflow management system supporting business process managing travel authorizations is presented. The workflow system is modeled and then used to synthesize a distributed prototype.     

基于改进AOV网的轻量级工作流模型研究与设计

针对现有工作流模型在应对大型复杂系统时的不足,引入轻量级模型的概念,提出一种基于改进AOV网的轻量级工作流模型以满足大型复杂业务流程的工作流管理需求。在对模型进行详细定义与设计的同时,给出了流程调度中关键的两个算法--分支的调度算法及汇聚的同步算法以确保流程的准确运行。通过对一个具体实例的流程建模分析,体现了模型的轻量级优势并采用图论的分析手段对模型进行静态及动态验证,证明了模型的合理性。     

基于交互学习的柔性工作流形式化验证方法研究

工作流过程建模是一个复杂且易错的过程,在建模阶段进行有效的过程验证是十分必要的。目前,柔性工作流验证领域的研究还比较欠缺,该文在这方面作了一些探索。把过程合理化验证和化简验证技术应用于基于交互学习的柔性工作流建模的形式化验证中,叙述了需要验证的问题和复杂度。利用Petri网的形式化基础特性对过程进行合理性验证和规约验证。根据规约粒度的不同,分别对基于交互学习的柔性工作流模型进行原子级和组件级规约。规约使用的基本技术有库所融合、变迁融合和子网融合。在特性保持的前提下,将过程模型缩小到适当规模。结果表明,基于交互学习的柔性工作流过程建模中的形式化验证方法具有一定的实用性和可操作性。