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

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

工作流组织资源建模及其形式化配置方法

提出了基于统一建模语言(UML)和多色集合(PS)的工作流组织资源模型及其形式化配置方法,建立了包含部门和工作组的工作流组织资源UML类图模型.结合制造企业的工作流过程,对通用的组织资源UML类图模型进行了实例化,建立了工作流组织资源的UML对象图模型.基于PS理论,对工作流组织资源的类图模型和对象图模型进行了形式化描述,建立了工作流组织资源的PS层次结构模型.通过对PS围道矩阵的递阶推理,完成了工作流过程活动的形式化资源配置,并将其表示为多色集合中体的形式,从而实现了制造企业工作流组织资源模型与工作流过程模型的良好连接.     

UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.     

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

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

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

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

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

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

基于矩阵理论的UML类图形式化描述与检测

针对UML缺少形式化语义,使得开发UML自动检测工具变得困难的问题,提出了一种基于矩阵理论的UML类图形式化描述和自动检测方法.首先,分别给出了基于二元关系和基于矩阵的类图形式化描述规则;然后,讨论了UML类图的自动检测;最后,用一个实例说明了该方法的有效性.实验结果表明:该方法可以对UML类图进行形式化描述,且可以通过数学方法找出模型中存在的错误.     

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

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

一种基于UML活动图的工作流模式描述与验证方式

随着工作流技术应用的越来越广泛,对于工作流技术的要求也越来越高。而工作流模型的好坏对于整个工作流管理系统性能来说意义重大。在这里,引入了UML活动图来对工作流模式进行描述,并提出图论中的邻接矩阵和Warshall算法来进行验证的方法,这为开发健壮的、合理的大型工作流系统提供了很好的描述方法与验证方式。     

形式化表示UML顺序图的结构操作语义

采用三元组形式化定义了UML顺序图及其对应的结构操作语义规则,并采用该方法描述了身份验证过程对应的操作顺序.这为基于UML顺序图的测试用例的自动生成奠定了基础,也为UML顺序图的模型转换和模型验证提供了必要的前提条件.     

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

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

UML 2．0状态图的XYZ/E时序逻辑语义研究

UML2.0状态图适合于描述软件体系结构中组件内部的动态行为及组件端口的行为,但UML2.0状态图的语义不够精确,使得它的描述结果不利于进行进一步的分析和验证。基于此,本文在定义UML 2.0状态图的语法的基础上,给出了UML 2.0状态图的XYZ/E时序逻辑语义,为使用UML 2.0状态图与XYZ/E相结合的方式来描述软件体系结构中组件内部的动态行为及组件端口的行为奠定了基础。     

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到SDL在地铁售票机系统中的应用

介绍了从统一建模语言(UML)到规范描述语言(SDL)的一种转化设计方法，并以地铁售票机系统的设计为例，介绍了具体的转化过程。售票机系统的需求规范用UML描述，系统的设计规范用SDL语言表示。     

A UML profile for framework modeling

The current standard Unified Modeling Language(UML) could not model framework flexibility and extendibility adequately due to lack of appropriate constructs to distinguish framework hot-spots from kernel elements. A new UML profile that may customize UML for framework modeling was presented using the extension mechanisms of UML, providing a group of UML extensions to meet the needs of framework modeling. In this profile, the extended class diagrams and sequence diagrams were defined to straightforwardly identify the hot-spots and describe their instantiation restrictions. A transformation model based on design patterns was also put forward, such that the profile based framework design diagrams could be automatically mapped to the corresponding implementation diagrams. It was proved that the presented profile makes framework modeling more straightforwardly and therefore easier to understand and instantiate.     

UML视图的一种形式化模型及其分析

UML是一种得到广泛应用的系统建模语言，但是由于它缺乏形式化语义和严格的推理机制，从而影响了系统建模的准确性和开发效率。TCOZ是一种将Object—Z和TCSP相结合的形式化语言，具有丰富的建模能力。基于TCOZ，本文建立了UML视图的一种形式化模型，对类图和协作图等提出了转换规则，使得TCOZ中的推理可用于分析UML视图。通过某学校信息系统的实例，阐述了UML视图的形式化建模方法和分析技术。