基于ECA规则的工作流建模实施方案

基于ECA规则的工作流系统能够充分利用数据库的安全、恢复，并发等成熟的技术进行建模，但ECA难于形式化，使得建模时不能够保证工作流系统的语义的正确性；而Petri网具有形式化描述的基础和正确性分析的优点，将这两方面结合起来，通过对Petri网中控制流结构的分析人出了由Petri网向ECA规则转化的方法，以保证基于ECA规则的工作流系统的正确性。     

基于ECA规则的工作流过程建模

本文介绍了以树型结构定义工作流过程模型的方法和步骤,并根据节点之间事件、状态的依赖关系导出相应的ECA规则,阐述了如何得到和实现以ECA规则表示的工作流过程模型建立一个基于事件触发规则的工作流执行过程.     

基于XML和ECA规则的工作流建模及执行

长期以来,工作流产品互操作性的缺乏、尤其是工作流建模语言互操作性缺乏,已成为阻碍工作流技术进一步发展的重要因素,XML作为万维网组织规定的结构化的标记语言,它可以用作描述过程模型的共同语法格式,有望解决工作流描述语言的互操作性问题。文章介绍了采用基于XML的工作流描述语言XFL及其工作流管理系统XFMS。由于XFL本身并不是可执行模型,XFMS系统在低层采用了基于规则的工作流执行系统。并给出了从XFL语言到ECA规则的映射方式,所采用的方法综合了面向规则系统的灵活性以及基于XML模型的可交换性和易学性。     

一种支持动态群组的工作流建模方法

传统的工作流产品从建模到运行对业务流程中复杂的群组特性难以提供有效的支持.在通用工作流模型的基础上,对流程模型的表达能力和工作流运行机制进行了扩展,设计并实现了一个支持动态群组活动和群组协同的工作流管理系统.同传统工作流模型相比,在描述群组活动的能力上有所增强,使建模更简单.本文介绍了支持群组活动的建模方法和关键的运行机制,然后通过示例与传统的建模方法进行了比较.     

基于构件的动态工作流建模方法研究

针对目前工作流管理系统在描述能力和动态性上存在的不足，提出了一种基于构件的动态工作流建模方法。该方法扩展了传统的活动网络模型，引入了新的建模元素，提出了新的建模机制。详细描述了模型的实现机制和应用场景，同时给出了一个模型实例。与传统的活动网络模型相比，该模型方法在提高模型描述能力、降低模型复杂性、提高系统动态性及适应性方面有明显的优点，对于设计开发高可靠性、动态性和适应性的工作流管理系统具有重要的应用价值。     

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

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

基于π演算的多实例工作流模式的建模方法

π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.根据π演算的语法,利用π演算对多实例工作流模式进行了建模.提出的方法具有较强的语义表达能力,同时使过程模型的语义更加精确.     

柔性工作流动态行为建模方法

针对现有工作流动态行为建模柔性差的问题，研究工作流动态行为的柔性定义方法。将活动的动态行为分为自身行为、嵌套行为和协作行为。自身行为实际上是活动的状态转移的过程，通过ECA规则描述活动的状态转移图可实现自身行为的定义；活动间协作行为实质上是参与活动间状态变化关联的过程，通过定义活动间状态的关联关系并用ECA规则描述协作语义，可实现对嵌套和协作行为的细粒度柔性定义。文中提出的可扩展方法适用于复杂或特殊环境下的流程建模。     

一种基于ECA规则的Web Service工作流模型的研究

工作流技术的深入应用要求工作流管理系统增强Web服务功能,基于Petri网工作流过程模型存在无法表述状态变迁过程或状态变迁边缘时刻事件的缺陷.给出了基于ECA规则Web Service工作流模型形式化定义,基于ECA规则的过程模型以事件推动工作流实例的执行,通过严格定义事件的语义来保证工作流的正确执行和监控并支持工作流在运行中修改实例.     

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

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

一个分布式动态工作流管理系统模型

论述了分布式工作流管理系统的研究现状及其在企业高动态协作环境下应用时所展现的不足,提出了一个分布式动态工作流管理系统的体系结构模型。该模型在分布式的基础上增加了相当的动态性,支持流程的分布式动态定义及流程的分布式动态执行,并能屏蔽掉建模语言的独立性,从而在工作流引擎的层次上集成已有的工作流系统。     

工作流模式的π演算建模研究

π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,提出了一种新的用于工作流模式的形式化建模方法,以π演算作为工作流形式化的基础,并利用π演算对工作流模式进行了建模。     

支持多实例模式的动态工作流研究

为了解决多实例模式给工作流的建模和实现带来的动态语义和数据共享冲突问题,在对多实例模式进行深入分析的基础上,讨论了一种具有动态性的建模方法。这种基于XPDL的过程定义方案支持各种多实例活动并且具有较强的动态性,能与不同的实现引擎兼容。同时,提出了一种活动多实例动态组装的活动执行部件设计方案,其中活动实例管理器的设计解决了动态执行多实例活动和数据共享问题。该方案在工作流引擎Shark中得到实现,改进后的Shark表明这种建模方法和引擎设计思想较好地解决了多实例的建模和实现问题,也提高了流程的动态性。     

工作流正确性问题综述*

首先从结构正确性和执行正确性两方面对工作流系统的正确性问题进行了综述。对结构正确性,从模型角度进行了正确性定义、判定依据及判定工具的介绍。对执行正确性,从事务、异常处理两个方面介绍了当前工作流正确性的保障技术。最后,对已有工作流正确性问题的理论和实现技术进行了比较,并总结了这方面的几个研究方向,供研究人员借鉴。     

工作流管理系统核心模型应用研究

在新一轮的运营系统建设中,工作流技术已成为电信运营支撑系统的核心技术。在引入相关概念之后,针对电信业务的特点着重描述了广东电信综合业务支撑系统中工作流管理系统（IBSS）的设计和应用。IBSS工作流模型参考了通用工作流管理平台的特点,尽量满足灵活性和扩展性的要求,同时又针对电信业务的特殊性做了一些处理和优化。事实证明,这些措施起到了简化工作流模型、有效地提高系统效率的作用。     

一个基于同步器扩充的迁移工作流系统模型

通过对迁移工作流系统模型各要素进行分析,构建了一个基于Petri 网的迁移工作流系统模型。模型以同步器为库所,并在此上扩充了位置概念和资源与服务能力,适应了迁移环境下的变迁点火规则,动态地将迁移工作流系统中的任务集在迁移环境中得以体现,较好地模拟了迁移工作流系统整个运行过程。     

工作流模型研究述评

工作流管理系统由于能够对业务过程进行建模和控制而得到广泛采用,工作流模型则是工作流管理系统理论研究和实际应用的基础.概括了工作流模型的主要研究内容,从建模方法、理论基础等方面对工作流模型的研究现状进行了综述,分析了现有工作流模型存在的不足,探讨了工作流模型的发展趋势,最后进行了总结.     

基于敏捷工作流的企业应用集成

分析了了基于工作流的企业应用集成以及其中动态EAI的优势与困难。为了解决动态EAI引入的问题，提出了一个基于敏捷工作流的EAI框架，该框架通过面向服务的ECA逻辑、动态服务发现与分派、分布式消息系统和智能代理技术在系统获得RRS特性的同时，向应用屏蔽了动态EAI的复杂性。     

工作流管理系统的流程柔性动态变更研究

为解决工作流管理系统中流程柔性演进变化问题,结合业务模型生命周期和业务流程模型变更管理的特点,提出了一个支持业务流程动态更新模型和业务流程实例动态迁移算法。在该算法中引入区域划分法,在迁移之前进行相关数据一致性检查和影响区域比较,通过该算法实现流程实例动态调整,以适应新的变种。最后基于该算法和一工作流管理系统平台,通过一个案例来演示业务流程动态更新的过程。     

多实例工作流模式的π演算形式化

多实例工作流模式是一类重要的工作流模式。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。对π演算进行了研究，提出了以π演算作为工作流形式化的基础，利用π演算对多实例工作流模式进行了详细的描述。