共查询到17条相似文献,搜索用时 93 毫秒
1.
基于Pi演算的跨组织工作流建模研究 总被引:1,自引:0,他引:1
传统的工作流建模方法主要用于描述组织内部流程,因而难以描述跨组织工作流面向流程、组合、抽象、涉及多个自治系统通信合作的新特点.针对此问题,提出了一种基于Pi演算的跨组织工作流建模方法,利用Pi演算的并发计算操作符,将跨组织业务流程建模为一组自治且并发执行的组织内子流程的组合,子流程建模为组织内本地流程定义和组织间控制约束的组合.基于Pi演算的弱互相似理论,验证了两个跨组织子流程外部行为的相等性,用于帮助组织内私有流程的外部抽象.基于该方法建立的跨组织工作流模型在子流程间建立了一种松耦合的关系,适用于动态的跨组织环境,同时基于严格的形式化方法,便于分析和验证. 相似文献
2.
工作流模式指在工作流过程模型中反复出现的过程基本构造,是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准。本文以Pi演算作为工作流形式化的基础,对当前流行的一些工作流模式进行详细的描述,并提出一些应用实例。结果表明,该语言不仅能很好地支持工作流模式,而且具有建模。。简洁、准确的特点。 相似文献
3.
跨组织工作流系统需要高级的控制和协同机制,以满足柔性和自适应性的需求。本文讨论了基于元工作流和ESP规则的跨组织工作流的控制和协同框架。 相似文献
4.
π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,提出了一种新的用于工作流模式的形式化建模方法,以π演算作为工作流形式化的基础,并利用π演算对工作流模式进行了建模。 相似文献
5.
6.
7.
虚拟配送中心跨组织工作流协同研究 总被引:1,自引:0,他引:1
虚拟配送通常由多个成员企业共同完成,因此,其工作流系统需要高级的控制和协同机制,以满足柔性和自适应性的需求.讨论了基于元工作流和ESP规则的跨组织工作流的控制和协同框架,并用一个例子来说明该框架的特征. 相似文献
8.
π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.根据π演算的语法,利用π演算对多实例工作流模式进行了建模.提出的方法具有较强的语义表达能力,同时使过程模型的语义更加精确. 相似文献
9.
10.
11.
在业务流程建模阶段,从时态角度采分析业务流程,有助于清楚地描述工作流.在对工作流模式以及其中包含的时态语义进行了深入研究之后,根据区间代数的语法,将工作流模式和区间代数结合起来,提出了一种新的用于工作流模式的时间约束建模方法.它不仅从时态角度扩展了工作流建模,明确描述了工作流模式中和时序有关的时态约束和依赖关系,并且能使工作流控制模式和形式化验证工具结合,从而有利于进一步从时态角度研究业务流程建模. 相似文献
12.
工作流模式建模是工作流模型的基础,Petri网同步器是目前最有效的工作流模型建模方法。使用网和同步距离对工作流模式进行分析,将目前常用的工作流模式归纳成为三种:完全同步、竞争同步、非同步。而Petri网同步器只能表示完全同步,不能表示竞争同步和非同步,为此提出一种改进的同步器,通过改进同步类型,使得同步器可以建模三种同步模式,较之改进前的同步器,增强了建模竞争同步模式和非同步模式的能力。 相似文献
13.
工作流系统作为一种重要的过程管理技术,在企业过程重组,协同软件等研究领域取得了很大的成功,然而,传统的工作流系统在复杂多变的企业业务环境中存在诸多不足,据此提出了一种基于规则引擎的智能工作流系统模型,通过规则引擎的应用,很好地提高了系统的自适应能力和通用性。最后,阐述了规则引擎的实现机制,并给出了具体应用。 相似文献
14.
一种基于规则的工作流模型互操作的实现方法 总被引:2,自引:1,他引:2
简要分析了两种类型的工作流语言——XML流程定义语言(XPDL)和商业流程执行语言(BPEL)的语言结构与特点,分别从流程的控制流和数据流设计了工作流模型的互操作方案, 提出了把XPDL格式的工作流转换成等效的BPEL格式的工作流的转换算法,最后使用基于Java的开源规则引擎drools工具实现了这个转换。 相似文献
15.
16.
在传统工作流建模思想的基础上,通过综合考虑各种动态的需求以及流程中的可变因素,提出了一个基于自适应规则库的柔性工作流模型,并从形式化定义的角度出发,详细论述了规则库的设计及应用逻辑。在系统建模阶段尽可能对动态因素进行描述和定义,力求做到定义时的柔性,并允许工作流在执行时进行过程、角色、状态和异常定义的修改,力求做到运行时的适应性柔性,使工作流系统在建模定义的整体框架内可以动态地进行调整,从而实现工作流的动态性和自适应性。 相似文献