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

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

UML多视点建模机制应用研究

论述了UML支持软件工程全过程的多视点、可视化建立开发系统模型的优势和适用性。并针对一个小型图书管理系统,通过建立的静态模型（用例图、包图、配置图）和动态模型（状态图、顺序图、合作图）,展示了UML多视点建模实例,说明了应用UML建立富有弹性的、可扩充的软件开发模型的过程框架和机制。     

基于UML的人力资源管理系统的建模和开发

以一个人力资源管理信息系统为背景,探讨了利用统一建模语言对系统进行建模和开发的过程。     

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

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

基于UML的工作流建模研究

统一建模语言UML是面向对象分析和设计过程中的重要的建模工具.文章在介绍UML的基础上,以公文流转系统为背景,使用UML进行过程建模,分析了UML图与系统开发生命周期各阶段的对应关系,讨论了UML的建模机制和建模过程.     

基于UML建模的房屋租赁管理系统分析

统一建模语言UML是一种面向对象的建模语言。本分析了UML的建模机制，并以UML为工具进行房屋租赁管理系统建模，给出了设计过程中的用例图、类图、序列图、状态图及活动图，并详细分析了创建这些图的要点及过程，对房屋租赁管理系统的开发具有一定的指导意义。     

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

在形式语义的支持下,提出了一种适合动态工作流过程建模的方法.该方法在扩展UML活动图的基础上给出了一种建模机制,利用扩展的UML活动图来对动态工作流的过程进行建模.最后,将该方法用于一个汽车企业产品研发的过程建模实例,且建模结果证明该方法是适合的.说明了基于扩展的UML活动图的工作流过程建模方法对动态工作流过程建模的有效性.     

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

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

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

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

基于UML的Web应用程序建模的具体实现

介绍了Web应用程序的特点，采用UML方法设计了一个Web应用程序．该程序给出了UML在开发Web站点中的具体实现，体现了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活动图转化测试场景的算法(ATOS)将活动图转化为测试场景,最后使用算法(STOT)将测试场景转化为测试用例,有效地解决了UML活动图到测试用例的自动生成,减少了编写测试用例的时间。     

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

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

基于UML活动图的Web应用测试用例生成

Web应用测试是保证Web应用程序质量的重要手段,测试的核心工作是生成测试用例.针对Web应用的功能测试,介绍了基于UML活动图的产生测试用例的方法,并根据一定测试覆盖准则,重点考虑了活动图中的并发活动的顺序及排序,避免了测试用例数量爆炸,从而提高了Web应用自动化测试用例生成的可行性.     

面向OLAP的UML星系模式的构造

在现代电子商务中 ,基于Web数据的OLAP分析需要概念集成XML数据和关系数据等多种数据源·给出了一种面向OLAP分析的多维数据模型的概念描述方法 ,即在XML数据的UMLdiagram生成算法的基础上构造UML星系模式 ,以支持面向多主题的OLAP的多维数据分析     

基于FAD的UML活动图测试用例生成

在软件系统的设计过程或文档说明中,软件系统的动态行为可通过UML活动图描述,软件系统的正确性与可靠性要通过构造一定的测试模型来验证.由于UML活动图缺乏精确的数学模型描述,所以无法直接生成有效的测试模型.本文研究将UML活动图模型与FAD(形式活动图)相结合,应用FAD的片段方程式理论详细分析了生成测试用例的完整过程.其结果在软件测试中具有一定的理论指导意义和应用价值.     

UML类图的一种表示方法

由于UML类图元模型的庞大性和复杂性,为此,提出UML类图元模型基于描述逻辑的一种表示方法。通过分析UML类图元模型各元素与描述逻辑SHOIN(D)的对应关系,给出UML类图元模型基于SHOIN(D)的表示方法。     

UML类图的度量分析与评价

运用CK度量方法和MOOD度量方法分别从类和系统两个角度对UML类图实例实施定量计算,对度量结果进行分析、评价,并提出改进措施.以此衡量UML类图模型质量的好坏,可以及时有效地对有缺陷的类进行调整.     

Software Maintainability Prediction with UML Class Diagram

Software system can be classified into many function modules from the perspective of user. Unified modeling language( UML) class diagram of each function module was extracted,and design characteristic metrics which influenced software maintainability were selected based on UML class diagram.Choosing metrics of UML class diagram as predictors,and mean maintenance time of function module was regarded as software maintainability parameter. Software maintainability models were built by using back propagation( BP) neural network and radial basis function( RBF) neural network, respectively and were simulated by MATLAB. In order to evaluate the performance of models,the training results were analyzed and compared with leaveone-out cross-validation and model performance evaluation criterion. The result indicated that RBF arithmetic was superior to BP arithmetic in predicting software maintainability.     

UML 顺序图的一种形式化描述方法

统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。