UML活动图支持的工作流建模分析

首先分析了工作流管理系统的特性，给出了一种工作流执行系统的体系结构。在此基础上，形式化定义了为工作流过程建模的UML活动图结构以及建模规则；通过一个具体的实例描述了建模过程并对模型的执行做了分析。     

基于J2EE的工作流管理系统建模研究

工作流是解决企业复杂业务过程信息化的一种技术，运用UML模型指导工作流管理系统开发，可以提高软件的一致性和可重用性。分析了基于J2EE架构的轻量级工作流管理系统的体系结构，简要介绍了一种贯穿软件开发整个生命周期的建模步骤和方法，并以此为依据，使用面向对象的建模语言UML对系统建模，给出了系统开发各个阶段的模型描述。     

扩展UML活动图在工作流建模中的应用*

针对UML对数据和信息流描述缺乏充分表达业务工作流程的问题,借助新创建的活动图,提出了基于扩展UML活动图的工作流过程建模方法。应用实例表明,扩展的UML活动图对工作流程的语义表达更丰富,更准确地描述工作流建模所需表达的内容,以满足工作流过程建模的要求。     

基于UML的工作流建模

工作流模型是对工作流的抽象表示，也就是对经营过程的抽象表示。由于工作流需要在计算机环境下运行，因此建立相应的工作流模型是必不可少的。传统的工作流建模方法存在着复杂、僵化、缺乏反馈等缺点，在分析了传统工作流建模的不足之处的基础上，结合工作流公共数学描述，提出了基于UML的工作流建模方法，并详细分析了它对传统工作流建模的改进。     

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

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

UML活动图支持下的工作流建模方法与设计

本文首先分析了工作流管理系统的特性，指出它是一种反应型的系统，并给出了一种工作流管理系统的体系结构，结合该系统结构，提出了一种基于UML活动图的工作流建模方法，并形式化的定义了为工作流过程建模的UML活动图的结构以及建模规则。     

基于工作流技术柔性PLM系统的设计与分析

在分析柔性软件理论的基础上，对软件的柔性体系结构进行了探讨，结合软件开发中的体会，构建了基于工作流技术的产品生命周期管理系统，借助面向对象的动态建模机制――UML活动图与状态图，以系统流程实现中的产品订单处理工作流为例，对系统进行模型化描述与分析。     

基于UML的工作流管理系统建模的应用研究

首先对UML和Rational Rose的基本知识以及工作流管理系统的组成和功能进行简要的论述，对于UML和Rose在工作流管理系统中的应用的优点进行了讨论，并结合改进某煤矿企业安全管理的流程的实例，论述如何利用Rose对工作流管理系统进行有效的业务建模。     

UML活动图描述工作流模型的执行语义

UML是软件工程中广泛应用的建模语言,但其主要问题是缺少严格的形式化语义,因而描述的模型容易产生歧义．根据UML活动图的语法和工作流系统的特点,为UML活动图定义了一种执行语义．基于时间转变系统模型,将工作流系统的执行描述为时间转变和数据转变两个交替进行的过程．时间转变描述时间的前进,数据转变修改工作流案例的状态,这种语义比层次状态图具有更强的描述并行的能力,比Petri网和进程代数更适合描述工作流模型．     

基于UML活动图和Petri网电子政务工作流建模研究

通过对电子政务系统中投诉管理子系统的描述,提出了一种基于UML活动图与Petri网的电子政务工作流建模方法。该方法具有完全图形化的表示和坚实的数学基础,是一种工作流建模和分析的理想工具。在建立电子政务工作流模型的基础上,对该方法进行了正确性论证,表明该方法对电子政务系统的实用性和有效性。     

基于UML和对象Petri网的分布式工作流系统建模方法研究

提出了一种融合UML和对象Petri网优点的分布式工作流系统的建模方法，利用UML的扩展机制进行了有关工作流特性的扩展：定制了合同、端口、通信协议块等版类，建立了合同化的层次体系结构；为了对建立的模型进行严密的数学分析和模拟，又提供了从UML模型到对象Petri网的转换机制。     

基于HCPN的发电企业项目管理工作流建模

如何对工程项目的成本、进度、质量情况进行控制和跟踪是发电企业的重要问题,应用工作流可通过对业务流程的整合及资源的合理分配解决这一问题。本文基于分层着色Petri网(HCPN),将工作流过程模型的逻辑结构和语义与HCPN中的网结构进行映射,进而利用CPN-TOOLS定义基于HCPN的项目管理工作流过程模型,并利用化简原则对工作流模型进行畅通性验证。     

基于Petri网的工作流在电子政务系统中的建模与分析

电子政务系统是目前研究和开发的热点之一。采用基于Petri网的工作流对电子政务系统进行了建模与分析，首先说明了在工作流中运用Petri网的优点，然后将Petri网与工作流相结合，建立了电子政务系统的工作流网模型，最后运用Petri网理论对所建模型的正确性进行了定性分析，并对模型的子系统网上投诉系统的资源分配情况进行了定量分析。     

基于人员-时间Petri网的气象业务保障流程模型

针对气象业务保障流程知识密集的特点,提出了一种新的工作流建模方法:人员-时间Petri网,给出了人员-时间Petri网的形式化定义、相关性质以及建模方法,开发了人员-时间Petri网的建模工具并应用于气象水文保障建模.     

Agent-based workflow management systems (WfMSs)

Workflow management systems (WfMSs) based on agent technology can cope with the rapidly evolving business environment better than most other systems as they are more flexible and open. In this paper we describe a possible architecture of such a system by means of our prototype WfMS called JBees. The combination of collaborating agents and the Coloured Petri Net (CPN)-formalism in JBees enables a flexible and adaptive system with the possibility of simulation, analysis, and monitoring of the process execution in order to identify potential inconsistencies and to provide appropriate information to the workflow administrator for the purpose of the process improvement.     

工作流网XPDL映射

工作流过程定义是工作流管理系统过程模型建立阶段的功能。工作流过程定义可以采取不同的建模方法,而工作流网是Petri网技术在过程定义中的具体应用。XPDL是工作流管理联盟提出的工作流过程定义语言,主要用于不同工作流产品过程定义之间的交换。文章在分析工作流网和XPDL特性的基础上,给出了工作流网向XPDL映射的方法。     

基于Petri网的人力资源管理的模型设计

讨论了工作流管理系统中Petri网建模技术的基本特点，并利用Petri网建立了企业生产管理中人力资源管理的模型。该模型可作为工作流管理系统中的一个子模型，一旦企业的业务过程发生了变化，用户可通过面向对象的Petri网对业务过程的流程进行修改，修改后的流程将自动地应用在工作流管理系统中。此模型满足了企业建立特定资源模型的需要，实现了业务流程重组的要求，具有适用性和灵活性，为人力资源的自动化办公提供了方便。     

基于RBAC的工作流管理在UBIS系统中的应用

文章针对工作流管理系统及基于角色访问控制的特点和实际应用的需求,在将基于角色的访问控制与工作流管理系统相结合时引入了约束的概念,从而简化权限控制的复杂度,提高了系统的安全性和性能。同时,文中使用了UML对系统的体系结构进行了详细分析介绍。最后,通过模型在中国联通统一经营信息服务系统中的实际应用,展现了基于RBAC的工作流管理系统在办公自动化系统中的优越性。     

需求信息管理的Petri网工作流模型

针对目前国内软件企业中需求信息管理存在的业务流程问题,提出合理的工作流建模方案。利用Petri网建模技术建立流程实例模型,再建立完整的工作流模型。按照Petri网的数学特性对结果模型进行的正确性分析和验证表明该模型具有良好的数学特性。基于Petri网的工作流建模方法能够为需求信息管理提供合理的解决方案。摘要: