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

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

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

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

基于Petri网的工作流建模

Petri网是计算机异步成分之间进行通信的理论基础。Petri网的应用涉及计算机学科的各个领城。文中运用Petri网工具来对工作流技术进行了详细的分析与描述，并用一个例子来说明如何使用Petri网来描述工作流的各种同步关系以及流向，最后，文章还给出了一个由功能模型、数据/信息模型、组织模型、资源模型组成的工作流复合模型。     

基于Petri网的工作流建模

Petri网是计算机异步成分之间进行通信的理论基础.Petri网的应用涉及计算机学科的各个领域.文中运用Petri网工具来对工作流技术进行了详细的分析与描述,并用一个例子来说明如何使用Petri网来描述工作流的各种同步关系以及流向,最后,文章还给出了一个由功能模型、数据/信息模型、组织模型、资源模型组成的工作流复合模型.     

基于Petri网的工作流建模及仿真

本文将Ｐｅｔｒｉ网应用于工作流建模和仿真,提出了用Ｐｅｔｒｉ网描述工作流程的详细过 程以及分析工作流网的详细方法．     

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

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

基于时间Petri网的工作流建模

随着工作流管理的发展,人们提出了很多扩展Petri网概念用于工作流建模。描述工作流中的资源、资源条件以及任务与资源条件之间的关系是一件很复杂的事情。而现有的用于描述工作流的Petri网在这方面,并不令人满意。该文特别强调资源的概念,在时间Petri网的基础上提出了一种新Petri网———资源条件/任务网(ResourceCondition/Tasknet,简称RC/TN),利用RC/TN网来进行工作流建模,描述工作流的执行过程。并将该工作流建模方法应用于OA流程的描述中。     

基于高级Petri网的工作流建模研究与仿真分析

基于颜色、时间及层次扩展的高级Petri网,克服了传统Petri网难于处理复杂问题的缺点。将其应用于服装行业ASP平台进销存系统中,建立了相关过程模型,解决了实际业务过程中的复杂性。利用仿真工具,对模型进行了仿真分析,并对其结果进行了定性分析,验证了此模型的结构是正确、合理的,且性能优化。     

Petri网在工作流建模中的应用

Petri网是一种图形化、数学化的建模方法,尤其在办公自动化领域的系统建模,在描述和分析实现上有一定的优势。本文分析了工作流的运行模式,Petri网的工作流描述,并以印刷企业订单为例,实现基于Petri网的工作流建模方法。     

基于数据流和控制流验证的工作流模式进化

模式进化是工作流管理系统的一个主要特点之一．以缺乏正确性分析的工作流模式进化为例，指出进化后的模式会存在着数据流冲突或控制流结构错误，并以Aalst提出的工作流网的建模方法为形式化描述，对工作流管理系统中增加变迁的工作流模式进化进行了分析，提出了无数据流冲突的模式进化算法，及进化时保证控制流结构正确性的进化插入规则，并给出了相关的正确性验证，     

Exception Handling in Workflow Systems

In this paper, defeasible workflow is proposed as a framework to support exception handling for workflow management. By using the justified ECA rules to capture more contexts in workflow modeling, defeasible workflow uses context dependent reasoning to enhance the exception handling capability of workflow management systems. In particular, this limits possible alternative exception handler candidates in dealing with exceptional situations. Furthermore, a case-based reasoning (CBR) mechanism with integrated human involvement is used to improve the exception handling capabilities. This involves collecting cases to capture experiences in handling exceptions, retrieving similar prior exception handling cases, and reusing the exception handling experiences captured in those cases in new situations.     

工作流系统中的一种异常处理机制

文中通过对工作流系统可能出现的异常情况进行较详细的分析，提出了利用规则库进行异常处理的模型，并对异常处理规则的数据结构进行了较深入的探讨。     

工作流异常处理技术与方法

首先介绍了工作流异常处理的体系结构,然后详细介绍了异常处理在流程建模中的描述方式和异常处理的四个基本方法：事务特性与程序设计结合法、知识库法、ECA规则法和工作流进化法。最后展望了工作流异常处理的未来发展方向。     

基于面向对象Petri网的工作流建模及性能分析

工作流技术作为一种过程建模和过程管理的核心技术，在计算机应用领域获得了迅速的发展。介绍了工作流技术；提出了将面向对象建模技术融入Petri网模型所形成的面向对象Petri网，并讨论了建立基于面向对象Petri网的工作流模型的步骤；运用面向对象Petri网建立了某制造企业的产品方案处理流程的工作流模型，并运用性能等价公式对工作流模型的性能进行了分析。     

工作流异常处理的形式描述

异常处理是工作流执行中要解决的主要问题之一，清楚地描述异常处理的过程是最终得到实现的基础。Petri-net对工作流的描述适合于对过程定义进行正确性验证和评价，但描述各种不同条件下的处理策略却很繁琐，采用了一种直观的描述方法对异常处理过程中的元素，即活动、异常处理策略以及处理措施进行了形式化描述，特别是对不同处理策略下的处理过程进行了描述。结合消息机制，分析了一个异常事件出现时，如何处理一个活动实例产生的中间数据，并对事务处理和异常处理的补偿策略进行了比较。描述方法为编码实现提供了很大的方便。     

基于物料清单的制造过程工作流建模

分析了物料清单(BOM)在产品制造过程中的核心地位,提出了将BOM表映射成PETRI网的算法,利用所得到的PETRI网建立了面向制造过程的工作流管理系统的模型。从而允许设计者根据产品的结构而不需要知道实际的过程流程来安排生产任务的自动执行。对于生产作业计划的制订有很好的指导意义。     

基于CPN的工作流异常处理模型设计

工作流异常处理是工作流管理系统中的重要组成部分,但是它的实现既复杂又耗时。为了支持面向服务的工作流,层次化地描述异常处理,提出一种基于CPN的异常处理模型。在形式化描述工作流异常的基础上,采用补偿法作为异常处理方式,详细描述了处理结构中的异常监控、异常分析和补偿案例执行三个子过程。结合茶餐厅的运营模型的仿真实验证明了该模型可有效地分离工作流的异常处理逻辑和运行逻辑,并支持工作流管理系统的实施。     

基于面向对象Petri网的工作流建模及性能分析

工作流技术作为一种过程建模和过程管理的核心技术,在计算机应用领域获得了迅速的发展。介绍了工作流技术;提出了将面向对象建模技术融入Petri网模型所形成的面向对象Petri网,并讨论了建立基于面向对象Petri网的工作流模型的步骤;运用面向对象Petri网建立了某制造企业的产品方案处理流程的工作流模型,并运用性能等价公式对工作流模型的性能进行了分析。     

一种工作流模型的性能分析方法

在讨论了工作流模型分析的相关问题后，基于工作流网的定义，给出了包含资源、时间等信息的多维工作流网的概念，并讨论了由基于工作流联盟(WfMC)过程定义的一种有向网络图模型到自由选择多维工作流网模型的映射．为了处理工作流模型中的循环结构，对具有无环自由选择工作流网到一组变迁组件网(T—component)的分解算法进行了扩展，以处理工作流网中存在的循环结构．进而在模型结构分析的基础上，根据工作流模型的实际业务输入速率计算得到工作流网中每个变迁的输入速率．进而，结合开环Jackson排队网络理论，详细讨论了对工作流模型进行系统静态性能分析及基于系统资源状态的连续时间马尔科夫链(CTMC)的系统动态性能分析的方法，并以一个实例验证了作者提出的模型性能分析方法的有效性．     

工作流管理系统中的一种异常处理

目前，开发和运行企业过程的最好工具是工作流管理系统，对于企业这样复杂的应用系统，出现异常是非常频繁和正常的，但企业要求工作流管理系统不仅在正常情况下发挥作用，而且需要灵活地处理各种异常情况。文章设计了数字银行的电话收费业务的异常处理机制，使用JECA规则描述异常处理，同时采用基于CBR的异常处理机制提高系统的灵活性和柔性，增强系统处理异常的能力。