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

目前工作流建模方法又很多,但不可通用;而UML是一种标准的可视化建模语言。使用UML对工作流过程建模,可以易于理解和使用。UML活动图可以很好地分析和描述工作流建模的动态机制,可以有效地分析工作流建模过程。通过一个实例,分析了UML活动图在工作流建模中的应用。     

基于UML的工作流建模的研究

指出目前大部分工作流建模过程无法对工作流本质特征进行描述,而UML是一种可视化的建模语言.在分析了工作流执行系统和UML的基础上,提出了一种基于UML的工作流建模的建模方法,通过一个具体的实例描述了建模过程,并对模型的执行做了分析.结果表明,UML成功地改进了一些传统工作流建模过程的缺点,能够比较完整、准确地描述工作流建模过程,加速开发进程.     

公文流转系统中工作流分析及其数据库实现

根据WMFC给出公文流转系统中工作流的定义 ,描述了UML中活动图分析工作流的方法 ,结合UML对公文流转系统中的工作流进行动态建模 ,在这基础上给出了公文流转系统一个通用关系数据库模型 ,并基于该模型给出公文流转策略和数据库实现     

基于UML活动图的工作流建模方法

对工作流管理系统的功能特性进行了分析，提出了一种工作流执行系统的体系结构，并详细描述了用UML活动图为工作流建模的过程。     

一个工作流元模型的描述方法

论述了工作流元模型的三维性,在采用UML2.0活动图的新特性后,提出了一个基于UML2.0活动图的工作流模型,定义了此模型的形式化和非形式化描述方法,并指出了其建模规则,为探询UML2.0活动图在工作流模型描述方法中应用做了初步尝试.     

基于UML2.0的设备管理系统需求建模

采用基于UML2.0的用例图、活动图对设备管理系统进行业务建模.讨论了UML2.0对MIS系统业务建模的机制和特点,提出了针对中小型软件开发的需求分析方法,并给出了一个计算机设备管理系统实例.重点介绍如何使用UML2.0中的用例图和活动图对管理信息系统建立需求模型,首先分析机构组织特点,建立机构组织模型;然后提取机构的主要业务工作流,通过使用活动图建立企业工作流模型;最后根据活动图抽象出系统的执行者和用例,建立系统的用例图.并且给出了一个计算机设备管理系统需求建模实例.     

基于UML2.0活动图的工作流模型研究

总结了UML 2．0活动图新特性,定义了一个基于UML 2．0活动图的工作流模型的形式化描述方法,并提出其基本控制流模式和建模规则．最后用一个应用实例来演示基于UML2．0活动图的工作流模型。     

基于UML活动图的工作流过程建模研究

根据工作流管理联盟（WfMC）的工作流参考模型给出一个基于UML活动图的工作流过程元模型及其建模和执行规则,使模型既保持良好的直观性,又增强了在交互性、活动间的控制依赖关系、异常处理等方面的表达能力.     

基于UML的信息系统业务建模方法

利用统一建模语言UML的扩展机制,提出了一个基于UML的业务建模方法．首先对UML模型及其扩展机制进行了简要的描述．然后提出了一个基于UML的多视图业务模型,该模型是由功能视图、资源视图、组织视图、信息视图和工作流视图构成的．针对每个视图模型的特点,采用相应的UML扩展机制对其进行描述．基于UML的业务建模方法为信息系统业务建模提供一个新的解决思路．     

基于RoleNet模型的工作流引擎设计及实现

对动态流程的建模和支持一直是工作流引擎设计和实现中的难题.将过程建模方法划分为以活动为中心和以角色为中心2种类型,分析了传统的过程建模方法在对动态流程描述方面的不足,提出了一种以角色为中心的过程模型RoleNet,并且基于该模型开发了工作流引擎OM Engine.实际的应用情况表明,OM Engine对动态流程具有较好的适应性,同时也验证了RoleNet模型的可行性.     

基于UML的高校选课系统优化分析

为解决选课管理系统中安全性低和信息拥堵的问题, 运用UML（Unified Modeling Language）建模方法, 结合网上选课的主要流程和系统用户实际需求, 通过Rational Rose 2003对高校选课系统进行了优化分析和设计, 并以此构建了系统的用例图、 类图、 活动图、 序列图、 组件图和部署图。UML建模应用表明, 该方法产生的模型易于理解, 便于系统修改与升级, 取得了很好的开发效果, 从而克服了传统方法可扩充性低的问题。     

Rigorous Modeling of Real-time System Based on UML and PVS

Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigorous modeling of embedded real-time system. UML is an industrial standard modeling language which provides a powerful expressi-veness, intuitive and easy to use interface to model. UML is widely accepted by software developer. However, for lack of precisely defined semantics, especially on the dynamic diagrams, UML model is hard to be verified. PVS is a general formal method which provides a high-order logic specification language and integrated with model checking and theorem proving tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time system. In this approach, we provide 1) a timed extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexible and friendly in modeling, extendable in formalization and verification content, and better performance. Time constraints are modeled and verified and its a highlight of this paper.     

基于统一建模语言和多色集合的并行设计过程研究

在分析现有并行设计过程建模研究的基础上，提出了一种基于统一建模语言（UML）和多色集合理论的并行设计过程建模与分析方法，分析了并行设计活动的连接形式、UML活动图的基本建模元素和基本模型结构．采用多色集合理论，将UML活动图节点间的连接关系和基本模型结构形式化，结合基于特征的零件和工艺并行设计过程，建立了UML活动图模型，从模型简化、路径求取和时间消耗等方面定量地分析了并行设计过程，实现了该模型到多色集合围道矩阵的映射．研究表明，该方法具有面向对象且易于被非专业人员理解和使用的特点，可以为产品设计过程建立形式化模型．通过对设计活动进行布尔运算和定量分析，发现了影响产品设计进程的关键环节，从而为并行设计的组织和实施提供了理论指导．     

基于UML建模的电子病历系统设计与实现

以电子病历系统的开发为背景,介绍了UML在实际项目开发中的应用.在对电子病历系统进行需求分析的基础上,利用PowerDesigner对系统进行需求模型、静态模型和动态模型的建模,设计了基于UML用例图、类图和时序图的系统模型     

一种基于UML 2.0活动图的Web服务业务流程测试方法

UML2.0已经成为最重要的建模语言,BPEL是描述Web服务业务流程的事实标准。本文提出了基于UML2.0活动图对BPEL建模并进行测试的方法。该方法扩展了活动图,给出其形式化定义以及测试覆盖准则的定义,对测试用例生成算法加以约束,提高了测试的效率和精确性。最后结合实例探讨了Web服务业务流程自动化测试方法的可行性。     

UML建模技术在实验管理系统中的应用研究

统一建模语言UML是面向对象分析和设计过程中重要的建模工具。以实验管理系统的开发为背景,介绍基于UML的分析和建模过程,其中对UML中的用例图、顺序图进行了深入研究。     

基于UML的手机网络对战游戏系统设计分析

在当前的计算机软件设计中,大型软件系统基本上是采用面向对象方法来进行设计的,统一建模语言UML是面向对象分析和设计过程中重要的建模工具。通过以手机网络游戏系统的开发为背景,对UML的建模机制作了系统的概括,研究了基于UML的应用软件系统开发过程以及UML各图形之间的内在联系,介绍UML如何辅助完成用例建模、静态建模和动态建模。     

Modeling Workflow Using UML Activity Diagram

An enterprise can improve its adaptabihty in the changing market by means of workflow teclmolo-gies. In the build time, the main function of Workflow Management System (WFMS) is to model business process. Workflow model is an abstract representation of the real-world business process. The Unified Modeling language (UML) activity diagram is an important visual process modehng language proposed by the Object Management Group (OMG). The novelty of this paper is representing workflow model by means of UML activity diagram. A translation from UML activity diagram to π-calculus is established.Using π-calculus, the deadlock property of workflow is analyzed.     

UML建模分析在机房管理信息系统中的应用研究

统一建模语言(UML)融入了软件工程领域的新思想、新方法和新技术,以UML的图形符号为基础,采用图形符号来描述系统的模型视图。以机房管理信息系统为例,阐述UML建模分析技术在机房管理系统中的应用,描述如何使用UML进行建模分析和开发的具体过程,分析在开发过程中经常出现的问题以及解决方案,并对统一建模语言UML中的用例图、时序图、协作图及建模技术的应用效果进行了深入研究。