共查询到19条相似文献,搜索用时 156 毫秒
1.
为了提高工作流模型的适应性,通过建立统一的资源管理器模型,解决了工作流网的资源分配问题,得到了一致的资源请求和资源释放过程。在引入着色Petri网的基础上,得到更加容易控制和计算机化的着色工作流网模型。最后,定义并将适台于工作流的事件一条件一动作规则引入着色工作流网,提出了基于ECA原语的工作流模型描述机制。 相似文献
2.
从工作流网向ECA规则的转换 总被引:3,自引:0,他引:3
基于ECA规则的工作流系统能够充分利用数据库的安全、恢复、并发等方面的成熟的技术,因而目前已被广泛应用.但ECA规则难于形式化描述的特性,使得在工作流建模时.不能够保证工作流系统的语义的正确性;而Petri网具有形式化的描述的基础和正确性分析的优点;拳文将这两方面结合起来,对基于Petri网的工作流网中控制流结构的分析给出了由Petri网向ECA规则转化的方法.通过Petri网的形式化的验证后的ECA规则的转化,可以保证基于ECA规则的工作流系统的正确性. 相似文献
3.
4.
5.
针对传统工作流管理系统存在灵活性不足、自适应能力缺乏等问题,对自适应机制进行了研究。首先提出了一种基于ECA规则和活动组合的自适应工作流模型,并在此基础上提出了一种自适应机制。设计了基于Agent的自适应工作流管理系统。该系统动态地分派流程中的任务,自主地调整流程执行来适应执行环境的变化。 相似文献
6.
基于WF net的工作流恢复网模型的研究* 总被引:1,自引:0,他引:1
针对工作流系统中存在的异常问题,提出了一个基于WF-net和ECA规则的工作流恢复网模型,给出了模型元素与ECA规则的映射关系。模型在设计时采用WF-net结构,运行时通过预定义的操作函数动态调整工作流结构。采用基于任务的恢复策略,利用ECA规则自动处理可预测异常;考虑任务间的数据依赖,采用人工恢复策略处理不可预测异常。 相似文献
7.
8.
陈翔 《计算机工程与应用》2008,44(24):12-14
目前,基于Petri网的工作流网的应用技术比较缺乏,很难被实际的工作流管理系统所应用。在通过资源管理器扩展工作流网的基础上,给出了将工作流网的过程定义转化为Agent的抽象结构的方法。在此基础上,建立基于Agent和着色工作流网的工作流管理系统框架,结合了工作流网的良好的建模特性和Agent的良好的应用特性,容易在实际系统中加以执行和控制。 相似文献
9.
工作流系统中经常会发生来自系统内部人员的欺骗活动,职责分离是一种有效地防止内部欺骗的安全机制,讨论了工作流执行时的安全策略问题,给出了工作流直观的Petri网模型描述,Petri网模型清晰地刻画了工作流系统中所包含的任务以及任务与角色的对应关系.采用Prolog语言描述了工作流执行时的动态职责分离安全规则,在此基础上,运用逻辑推理的方法分析职责分离安全规则,目的是找出所有满足安全规则的有效执行链,通过分析找出所有满足安全规则的有效执行链. 相似文献
10.
基于Petri网的工作流过程建模 总被引:3,自引:0,他引:3
业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型:首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映 射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。 相似文献
11.
12.
工作流技术作为一种过程建模和过程管理的核心技术,在计算机应用领域获得了迅速的发展。介绍了工作流技术;提出了将面向对象建模技术融入Petri网模型所形成的面向对象Petri网,并讨论了建立基于面向对象Petri网的工作流模型的步骤;运用面向对象Petri网建立了某制造企业的产品方案处理流程的工作流模型,并运用性能等价公式对工作流模型的性能进行了分析。 相似文献
13.
基于面向对象Petri网的工作流建模及性能分析 总被引:2,自引:0,他引:2
工作流技术作为一种过程建模和过程管理的核心技术,在计算机应用领域获得了迅速的发展。介绍了工作流技术;提出了将面向对象建模技术融入Petri网模型所形成的面向对象Petri网,并讨论了建立基于面向对象Petri网的工作流模型的步骤;运用面向对象Petri网建立了某制造企业的产品方案处理流程的工作流模型,并运用性能等价公式对工作流模型的性能进行了分析。 相似文献
14.
Workflow management aims at modeling and executing application processes in complex technical and organizational environments. Modern information systems are often based on object-oriented design techniques, for instance, the Unified Modeling Language (UML). These systems consist of application objects which collaborate to achieve a common goal. Although application objects collaborate in the context of business processes that can be supported by workflow technology, workflow modeling is typically done with proprietary workflow languages. Hence, two separate formalisms are present for modeling application objects and workflows. In this paper we try to remedy this situation by proposing the use of Object Coordination Nets (OCoN) for workflow modeling. OCoN nets provide a seamless integration with UML structure diagrams. The OCoN formalism also helps to deal with all relevant aspects of modeling complex workflow systems in a scalable and consistent manner. 相似文献
15.
工作流网的模型化简是模型有效分析的前提。在了解了工作流网及T-组件网相关定义的基础上,对工作流网的结构化简方法进行了分析,提出了一种简洁有效的工作流网模型的自由选择子网分解算法,给出了算法的过程同时也给出了算法的时间复杂度分析。最后,在算法的应用方面,将所提出的模型分解方法与目前常用的工作流网结构化简方法相结合,不仅可以有效提高模型化简的效率,而且还可以在模型化简的同时进行基于业务实例子网的模型分析。 相似文献
16.
工作流网的模型化简是模型有效分析的前提.在了解了工作流网及T-组件网相关定义的基础上,对工作流网的结构化简方法进行了分析,提出了一种简洁有效的工作流网模型的自由选择子网分解算法,给出了算法的过程同时也给出了算法的时间复杂度分析.最后,在算法的应用方面,将所提出的模型分解方法与目前常用的工作流网结构化简方法相结合,不仅可以有效提高模型化简的效率,而且还可以在模型化简的同时进行基于业务实例子网的模型分析. 相似文献
17.
18.
Petri网是一种有效的形式化建模工具,能自然地描述并发、冲突、同步等系统特性。给出基于Petri网的保险索赔工作流模型,将Petri网三要素以对象的形式描述出来,并对此工作流模型的正确性定义和验证进行了说明。 相似文献
19.
现代企业流程所固有的多变性和灵活性,凸显了工作流在处理动态不确定因素方面的不足。针对这一情况,提出了一种基于ECA(event—condition—action)规则和活动选取一组合规则的动态工作流模型。该模型采用柔性活动对流程中的不确定因素进行了封装,用活动选取一组合规则来约束柔性活动的具体化过程,并设计了一种高效的活动自动选取一组合算法,来实现柔性活动的具体化。 相似文献