基于UML的工作流建模的研究与应用

本文介绍了工作流和工作流建模的一些基本概念,以及UML技术在工作流建模中的应用,并给出利用UML 活动图进行工作流建模的元素和规则,最后给出了一个具体的应用。     

基于资源和时间限制的多工作流网及可调度性验证

工作流建模阶段的验证工作对工作流的成功执行具有重要意义.首先分析了与工作流执行密切相关的资源和时间特性,考虑到工作流应用系统中总是有若干工作流并发执行,于是综合考虑结构、时间、资源限制三个层面,提出一个工作流应用系统一般性限制框架.基于该框架提出了多工作流网原型,并进一步给出了多工作流网下资源冲突和可调度性的概念,最后给出了多工作流网可调度性验证算法及其冲突解决方案.     

面向任务、基于角色的工作流技术在CIMS中的应用

给出了工作流三要素的一种新提法，在此基础上分别从理论和实现角度探讨了工作流技术中的两个重要方面，面向任务的工作流结构和基于角色的工作流上的用户机限配置，同时将其与传统与工作流管理系统中的相关设计作了比较，并给出Elite-CIMS工程项目中该工作流技术的实现。     

基于Pi-演算的扩展有向图工作流模型及验证

为了加强工作流模型对业务流程的描述能力,提出了一种扩展有向图工作流模型及其验证方法.针对基于有向图工作流模型的不足,提出了扩展有向图工作流模型,并给出了该模型的定义和图形符号描述.在用Pi-演算准确描述扩展有向图工作流模型的基础上,给出了用Pi-演算分析和验证扩展有向图工作流模型正确性的方法.最后,结合实验对扩展有向图工作流模型及验证方法进行了仔细分析,实验结果表明了该工作流模型及验证方法的有效性和正确性.     

基于Shark引擎的工作流系统的研究

在工作流技术广泛应用于办公自动化系统的今天,通过分析工作流系统和开源工作流引擎Shark的特点,并给出了利用开Shark来开发工作流系统的技术方案和实现的关键技术。     

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

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

一种基于不变量结构分解的工作流性能分析方法

基于工作流的Petri网结构化建模方法,证明了工作流网的P-不变量存在性、可覆盖性,给出了一个工作流模型可靠性(soundness)的充要条件,得到了基于P-不变量的多项式分解算法,克服了非多项式算法遍历的不足,降低了时间和空间复杂度,基于工作流网的定义,给出了包含时间等信息的广义工作流网的概念,在结构分解的基础上,利用矩姆函数,建立了工作流的时间性能分析方法,所得结果为工作流模型分析和验证提供了理论基础和依据,并可有效降低工作流系统的分析复杂度,对于分析工作流系统处理业务实例的能力,提高业务处理效率有重要意义,给出的实例验证了算法的有效性.     

基于UML-Statecharts的工作流控制结构的验证

工作流模型验证成为工作流的重要研究领域之一。控制结构的正确性是工作流过程所需达到的最基本要求，本文着重控制结构方面的验证。本文使用UML-Statecharts建立控制结构模型，使用时序逻辑表示工作流控制结构需要满足的性质。给出了一个定理并进行了证明，基于定理给出了一个验证完全性的算法，对于工作流语义相关性质的验证给出了一模型检测算法。     

工作流网Soundness验证

工作流过程定义可以采用不同的建模方法。工作流网是Petri网技术在工作流过程定义中的具体应用。工作流过程定义模型的正确性、可靠性在工作流网模型中使用Soundness特性表达。论文在介绍工作流网、工作流网模型的Soundness概念之外,给出了自由选择和Well-structured工作流网的Soundness验证方法。     

一种基于模式组件的工作流管理系统构建方法

从描述流程控制特征的工作流模式出发,提出了一种基于工作流模式的工作流模型，给出了先将工作流模式映射到工作流模式组件，再构建基于模式组件的工作流管理系统的方法。     

基于工作流技术的医院办公自动化系统

为了降低复杂流程的开发难度,提高应用系统的管理效率,提出基于工作流技术的医院办公自动化系统。依据工作流参考模型,实现工作流过程定义及交换接口、工作流客户应用程序接口以及系统管理和监控接口,该系统由流程定义、流程执行控制、流程监控3部分组成,提供表单设计、流程步骤及流转定义,支持复杂流程,可满足医院业务流程多样化的需要。     

3G商城工作流引擎的研究与可行性分析

本文针对公司的实际需要,论述了工作流管理系统的设计与实现。首先文章对工作流定义、工作流系统组成、如何设计和实施工作流系统做了较为详细的介绍,给出了一个设计和实施工作流系统的参考模型,论述了三类组件的功能和实施技术。其次,描述了工作流管理系统的需求分析,包括环境需求、系统需求、系统安全、体系结构等。通过引入工作流的概念,介绍了工作流管理系统的设计过程。论述了3G商城工作流参考模型的工作原理以及如何通过工作流实现。     

基于发布/订阅的消息队列在工作流引擎中的应用研究

不论在工作流基本模型中还是在工作流管理系统中,工作流引擎都起着非常重要的作用。对于工作流管理系统,工作流引擎是任务管理器,在不同的使用者和执行者之间传递消息,因此一个好的消息传递机制,能够有效地提高工作流引擎的工作效率,从而提高工作流系统的效率。本文提出一种基于发布/订阅的消息队列机制,对于提高工作流引擎消息传递的效率有很大帮助。     

ECA规则在工作流管理系统中的应用

针对工作流管理系统的实现复杂性及模型可靠性的验证问题，提出了一种结合工作流网和ECA规则来创建工作流管理系统的方法。这种基于ECA规则的工作流描述和执行机制较好地实现了工作流网模型的语义描述和控制的统一。通过建立基于ECA规则的工作流描述表，将ECA 规则引入到工作流路由机制中，灵活地控制了工作流的流程。通过事件触发和消息处理机制，工作流描述表处理可以被实际系统加以执行和控制。     

基于嵌入式引擎的工作流管理系统研究与应用

工作流引擎是工作流管理系统的核心,它负责解释工作流模型定义、控制和维护流程实例的运转.本文分析了基于嵌入式引擎的工作流管理系统数据模型,研究基于J2EE架构的三层体系结构,通过将工作流中间件与系统框架的集成,建立基于嵌入式引擎的工作流管理系统平台.     

JBPM——一个开源的J2EE工作流管理系统

结合在工作流和J2EE方面的实践经验介绍了基于J2EE架构的开放源代码的工作流管理系统JBPM及其工作流模型,并且分析了JBPM工作流引擎的运转过程以及与用户交互的过程,使读者举一反三对工作流管理系统有个清楚的了解.     

工作流平台开发关键技术的研究和设计

对工作流平台开发的关键技术进行研究,建立基于J2EE的工作流技术管理系统架构,设计用于企业管理的工作流平台,对工作流建模、基于角色的管理控制和轻量级可嵌入工作流引擎进行研究设计。重点研究工作流过程模型和工作流引擎的功能,并对传统RBAC模型进行改进。     

Virtual workflow system for distributed collaborative scientific applications on Grids

Grid computing has become an effective computing technique in recent years. This paper develops a virtual workflow system to construct distributed collaborative applications for Grid users. The virtual workflow system consists three levels: abstract workflow system, translator and concrete workflow system. The research highlight of the implementation is that this workflow system is developed based on CORBA and Unicore Grid middleware. Furthermore, this implementation can support legacy application developed with Parco and C++ codes. This virtual workflow system can provide efficient GUI for users to organize distributed scientific collaborative applications and execute them on Grid resources. We present the design, implementation, and evaluation of this virtual workflow system in the paper.     

柔性化工作流系统的研究与实现

提出一种柔性化工作流的形式化定义，给出院 柔性化工作流系统模型和OA应用系统的实现，工作流柔性化设计提高了系统灵活性实用性。     

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

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