一种基于时间Petri网的工作流模型

面向任务流和资源流并行的业务过程,讨论了一类如何通过资源流控制任务流的工作流建模问题.在时间Petri网的基础上提出了一种称作资源/任务网(R/T-net)的工作流概念模型,并给出了基于R/T-net的工作流建模过程.设置在任务模型中的资源依赖和资源期望可以有效地实现资源流对任务流的控制,而其中的资源点火规则和资源路由规则可以灵活地实现资源的协调、同步、分配和传递,因此,比仅用时间属性刻画任务转移的时间Petri网模型更符合诸如办公、制造、物流运输等业务过程.     

基于本体与工作流的知识服务系统

研究并实现一个基于本体和工作流技术的知识服务平台WFBK-Service,将业务过程控制与知识管理过程相集成,结合工作流技术对工作项进行解析,提出相应的领域本体分析、知识服务策略、知识推送等技术,根据工作项本身的信息提供知识服务,以便企业员工在执行工作任务时能得到与其工作相关的知识。     

一种基于UML的实时工作流建模方法研究

实时系统由于其业务对时间要求的特殊性,使得传统工作流技术难以满足其需求.在传统工作流的基础上,针对实时系统提出了实时工作流的概念,并建立了实时工作流元模型.与传统的工作流相比,主要对工作流的时间约束和异常处理进行了考虑.在活动上扩展了启动时间和执行时间,在工作流过程上扩展了执行时间,在并发活动上扩展了并发时间约束等,此外,元模型中还考虑了活动的超时异常以及应用程序和活动之间的执行关系.为了能够利用实时工作流元模型进行实时工作流建模,通过扩展UML定义了一种实时工作流描述语言,并分别从设计要求、定义技术和profile三个方面对实时工作流描述语言进行了阐述,给出了实时工作流的建模规则.最后结合船舶指控系统的具体实例,对建模方法进行了说明.     

基于WebService的资源库工作流系统

工作流管理和Web Service都是新兴的技术,本文结合资源库工作流系统的开发,简要介绍了Web Service及其核心技术——Web服务流语言(WSFL),在此基础上提出了一个工作流过程元模型,该模型由流程、活动、活动依赖三部分组成,重点介绍了流程建模的情况.     

OA模型的可配置流程与知识管理技术

工作流技术是提高企业业务过程效率和生产率的关键技术。知识管理是在适当的时间把相关的信息与知识传送给适当的人员，使其能够有效地利用信息与知识，采取行动，产生效益的科学。该文研究了工作流技术和知识管理方法在办公自动化系统中的应用，提出了一种基于工作流理论的以可配置流程和知识管理为特点的OA模型，即FDOA模型，该模型通过可配置流程实现了OA系统中每个实体运用知识进行协同工作的自动化过程。     

基于Petri网的工作流过程建模

业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型：首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映 射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。     

工作流模型研究综述

工作流模型作为工作流管理系统的起点,对企业业务过程逻辑及其业务活动依赖关系进行抽象表示,它已成为当前工作流建模研究的重点。对工作流过程模型的研究现状进行综述,主要包括模型理论基础、当前工作流模型的不足之处,并且指出了工作流过程模型的发展趋势,为工作流建模的进一步研究提供基础。     

基于Agent跨组织工作流系统模型的研究

工作流技术是实现企业业务过程建模,业务过程管理和集成,最终实现业务过程自动化的核心技术,为支持企业间的协同工作提供了一种有效的方法。但是现有的工作流技术在虚拟企业中明显存在着开放性和动态交互性等方面的不足,本文正是针对此点提出了一种基于Agent工作流建模方法,并建立了相应的整体模型。     

一种构件化工作流管理系统

工作流管理系统是实现各种信息管理系统工作过程自动化的核心模块。本文提出一种工作流元模型和基于该元模型进行工作流建模的方法,并实现一个构件化的工作流管理系统。该系统支持基于元模型的工作流建模,提供工作流运行的环境,并可以构件的方式集成到外部系统中。     

基于时间Petri网的工作流模型分析

工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义.     

嵌入工作流的ERP系统的设计与实现

传统ERP系统在业务流程管理方面存在不足,通过引入工作流管理能够弥补其不足.通过比较自治工作流管理系统与嵌入式工作流管理系统,提出在ERP系统中采用嵌入式工作流管理的方法.从工作流建模和过程控制方面,介绍了基于UML活动图模型的嵌入式工作流管理模块的设计和实现方法.给出了支持工作流的ERP系统的实施方法.通过嵌入工作流管理到传统ERP系统中,提高了系统对企业业务的适应能力,也提高了软件重用和开发效率.     

面向知识应用和交互的工作流系统建模与控制

针对基于知识应用和交互的复杂工作流系统，对知识应用特性进行了分析，并构造了对应知识聚合与信息再生的过程单元。利用过程单元之间的关联分析，对面向知识应用和交互的工作流系统建模进行了深入的研究。在对一个基于知识应用的具体实例进行分析的基础上，探讨了基于知识应用和交互的工作流系统中的控制问题，提出了一种基于区域控制和交互的控制策略，并给出了控制分解所遵循的基本原则。最后，讨论了工作流技术的发展方向和热点技术。     

基于复用的工作流过程定义工具——PDTBR

为了提高工作流过程定义的效率,提出了一种基于复用的工作流过程定义方法。文中讨论了构建和描述可复用资产——领域业务本体和工作流模板的方法,给出了基于领域业务本体检索工作流模板的方法。在此基础上,开发了基于复用的过程定义工具PDTBR,并在实际使用中验证了该方法的可行性与有效性。     

产品开发过程中的数据流建模与分析

通过分析产品开发过程管理中各种数据的特征,指出数据流建模和分析在面向产品开发过程的工作流管理系统中格外重要.基于提出的工作流模型,开发了一种面向版本控制的数据流模型,它支持包含任意环的过程结构.引入变量影响列表描述这种数据流模型并给出该模型正确性分析的方法.能够适应面向产品开发过程的工作流管理系统中数据管理的需求.     

工作流技术应用的设计与实现

工作流技术主要目的是使多个参与者之间按照某种定义的规则传递业务信息的过程自动进行,从而实现某个预期的业务目标。为有效地管理业务处理过程中的各种信息流和控制流,本文针对业务控制系统特点,采用服务总线控制和面向服务架构的方法,将工作流管理技术引入系统体系设计,建立业务控制总线架构,控制消息流转,从而提高了系统的稳定性和可扩展性,使系统达到高效协调运转的目的。     

基于Pi演算的跨组织工作流建模研究

传统的工作流建模方法主要用于描述组织内部流程,因而难以描述跨组织工作流面向流程、组合、抽象、涉及多个自治系统通信合作的新特点.针对此问题,提出了一种基于Pi演算的跨组织工作流建模方法,利用Pi演算的并发计算操作符,将跨组织业务流程建模为一组自治且并发执行的组织内子流程的组合,子流程建模为组织内本地流程定义和组织间控制约束的组合.基于Pi演算的弱互相似理论,验证了两个跨组织子流程外部行为的相等性,用于帮助组织内私有流程的外部抽象.基于该方法建立的跨组织工作流模型在子流程间建立了一种松耦合的关系,适用于动态的跨组织环境,同时基于严格的形式化方法,便于分析和验证.     

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

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

支持状态机建模的工作流引擎研究

为了能清晰地描述存在较多审批环节和步骤跳转的业务流程,提出利用状态机为流程建模的方法。通过改进传统的关系结构工作流引擎,给出一个支持状态机建模的关系结构工作流引擎的设计方案,详细介绍该引擎的设计原理和实现柔性方法。最后通过一个示例,演示支持状态机建模的工作流引擎的工作机制和实例迁移的过程。原型已经应用到高校学费管理系统中。实践证明,该引擎可以有效地支持状态机建模,并缩短关键业务的开发周期。     

基于Petri网的工作流模型合理性验证

工作流管理系统具有实时性、同步和异步操作等特点,其建模方法是成功实施工作流管理的关键,而工作流模型应该完整地支持工作流定义的概念,正确、高效地反应企业的经营组织过程,为确保工作流的正确运行,必须对工作流模型的合理性进行分析和研究,因此工作流的模型分析和优化成为工作流研究的一个重点[7]。该文从各种研究资料出发,利用工作流模型的合理性定义,给出基于Petri网的工作流模型的验证步骤和方法。