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

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

面向意外处理的工作流系统建模与执行

产生于工作流系统的执行阶段、未在系统建模阶段进行描述和定义的突发事件，称为工作流意外事件，对应意外事件的处理过程，称为意外处理。该文针对意外事件，从系统建模与模型执行两个方面对工作流意外处理进行了探讨，在系统建模阶段，通过拓展Petri网中的基本概念，提出并构造了组成工作流的过程单元，在将工作流内在的逻辑关系分解为控制流与数据流的基础上，讨论了一个面向意外处理的工作流系统复合建模方法，对应工作流的模型执行，定义了两类意外处理，用矩阵形式分别表示或标识控制流、数据流和意外事件，经过矩阵分析与变换，对意外事件的影响区域进行范围界定。最后，探讨了这种意外处理方法在数据流意外处理中的实例应用。     

一个面向工作流的过程建模平台的实现

在工作流系统中，对业务过程的抽象需要过程描述语言和过程建模工具的支持。介绍了一种过程描述语言的基本结构，基于这种描述语言的过程建模平台的系统设计、应用实例以及发展方向。     

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

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

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

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

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

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

从工作流网向ECA规则的转换

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

工作流建模技术综述及其研究趋势

随着工作流管理系统(业务流程管理系统)的广泛使用,工作流技术受到了越来越多的重视;与此相应,工作流建模技术的研究也受到了人们的重视。由于工作流模型在工作流技术中的核心地位,工作流建模技术得到了广泛的研究,出现了各种各样的建模技术。分析和讨论11种主流的工作流建模技术,并按照提出的分类标准对它们进行分类;对其中的某些建模技术,给出了它们核心的图形化的符号,并利用开源工具画出了它们的工作流模型例子。最后给出了工作流建模技术的研究热点和研究趋势。     

一种工作流的控制流距离度量方法

为准确计算工作流中的控制流距离,提出一种工作流的控制流距离度量方法.介绍从工作流中分离控制节点生成控制流图的过程.在控制节点间距离基础上,建立通过控制流图进行工作流控制流距离度量的模型,并从理论上证明距离度量模型满足自反、对称及三角不等式性质.案例分析结果表明,该方法能更真实、准确地反映工作流间的距离.     

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

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

基于UML的工作流建模

工作流模型是对工作流的抽象表示,也就是对经营过程的抽象表示。由于工作流需要在计算机环境下运行,因此建立相应的工作流模型是必不可少的。传统的工作流建模方法存在着复杂、僵化、缺乏反馈等缺点,在分析了传统工作流建模的不足之处的基础上,结合工作流公共数学描述,提出了基于UML的工作流建模方法,并详细分析了它对传统工作流建模的改进。     

基于对象Petri网工作流建模的研究与实现

结合XPDL（XML Process Definition Language）标准、对象技术和Petri网理论提出了一种工作流网。该工作流网通过Petri网的数学分析来完成对流程的分析验证;通过对象技术来降低流程建模复杂度;通过工作流网和XPDL的映射机制来保证其实用性。在此基础上实现了一套流程建模及分析工具。     

UML活动图在工作流过程建模中的应用研究

UML(Unified Modeling Language)是一种定义良好、易于表达、功能强大且普遍适用的建模语言,其引入活动图的目的之一就是用于企业建模或描述工作流。根据具体应用需要,对活动图的子过程活动、逻辑连接符、控制流边等进行了扩展,给出了扩展后UML活动图的数学模型。     

企业间工作流系统中访问控制机制的研究设计

针对企业全球化合作的信息共享和协同工作,对企业间工作流管理系统中的访问控制需求和机制进行了分析和研究,设计了一个包含基于角色的访问控制、细粒度的任务相关的访问控制、工作流级和企业级安全配置的分离、动态职责分离的支持等技术的实施企业间工作流管理系统访问控制的安全机制。     

工作流中资源的形式化建模

虽然人们为了使工作流管理完全计算机化付出了巨大的努力,但结果表明,这一目标即使在技术高度发达的今天,乃至可预见的未来也是不可能实现的,组成工作流的很多任务还只能由人来完成。首先对工作流中资源(主动资源)的分类方式进行讨论并把它们统一成一个资源元模型,然后给出了一个基于用户资格和特征的资源建模形式化描述。     

基于扩展UML活动图的工作流模型研究*

针对目前工作流管理系统在表达能力和适应性方面存在的问题,在给出三层工作流过程元模型的基础上,提出了基于扩展UML活动图的工作流建模方法,扩展了多实例、条件路由和协调节点等建模元素,描述了扩展建模元素的定义、路由结构和建模规则。应用模型实例表明,此方法增强了模型描述能力,在模型适应性和柔性方面具有明显的优势。     

基于角色的工作流系统存取控制模型研究

工作流系统中不同的业务流程之间资源的共享必然会引起一系列安全问题,安全策略在工作流系统中集中表现为存取控制策略。基于工作流系统的安全需求,给出了基于角色的工作流系统存取控制模型（WfRBAC）。在该模型中,引入任务来扩充RBAC模型的动态性。WfRBAC的6要素是用户、角色、任务、客体、权限和约束,约束分为动态约束和静态约束,能够满足工作流系统中的静态性和动态性存取控制要求。     

工作流模型研究述评

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

工作流过程元模型研究

介绍了工作流过程元模型的相关概念，着重分析了几种具有代表性的工作流过程元模型，提出了一种微型的、分层结构的、易于扩展的动态工作流过程元模型MINI，一种新的工作流模式即转移依赖分支模式被实现，最后介绍了MINI工作流管理系统。