基于软件工程的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工具———RationalRose,并通过一个学校图书馆系统的UML建模,说明了UML在管理信息系统开发中的应用     

UML2.0扩展机制分析

在经过4年之久的修订过程之后,OMG通过并采纳了UML2.0.其中,UML的扩展机制是在UML2.0的提案需求中提出要做重大修订的部分之一.为了能够迅速了解UML引入扩展机制的必要性、UML1.X中扩展机制存在的问题以及UML2.0中扩展机制的新动向,分析了UML2.0扩展机制的必要性以及修订的原因,简要介绍了UML2.0的两种扩展机制,即一阶扩展机制(基于元模型的扩展机制)和轻量级的扩展机制(基于外廓的扩展机制),以及两种扩展机制的比较.最后对UML2.0的扩展机制进行简要的评述与展望.     

在Oracle JDeveloper中通过XMI开发UML图表

为了实现UML图表在不同系统中的转移,可以将UML图表通过XSLT创建成XMI文件,然后在另一个系统中将其导入到UML工具（Oracle JDeveloper 10g）中,还原成UML图表。     

Web布局的UML Profile建模

UML是当前建立面向对象复杂系统比较流行的可视化语言,虽然在Web系统开发时可以使用UML对系统的结构和行为建模,但却不能对界面布局建模,设计者只能用勾绘草图等方法来进行界面布局设计,这给UML设计者带来很大的不便.基于UML2.0的扩展机制并结合UML2.0的图交换规范建立的Web布局元模型,很好地解决了这一问题,使得Web布局建模可以统一在UML语言和UML的建模工具中,并可产生原型化的界面.     

UML的应用研究

文章探讨了UML1的应用,首先简单阐述了UML的基本概念及其建模机制,最后结合图书管理系统介绍了UML的应用.     

基于时间自动机的UML模型转换与验证研究

针对无法对UML模型进行形式化验证的问题,提出在元模型层将UML模型转换为时间自动机模型并进行验证的方法.形式化UML状态机的结构,抽象出UML和时间自动机的元模型,利用模型转换语言ATL对UML元模型和时间自动机元模型构造映射规则,实现UML模型到时间自动机模型的转换,在模型验证工具Uppaal中对转换结果进行形式化验证.最后进行实例研究,结果表明了此方法的有效性和先进性.     

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

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

UML在MIS系统开发中的应用研究

统一建模语言(UML)是一种可视化的面向对象的建模语言，可用于对软件系统进行描述和构造软件的系统结构．本文在介绍UML的主要内容基础上，研究如何使用UML开发MIS系统，并通过一个仓库管理系统的实例，运用Rational Rose对UML的MIS应用作了进一步的说明。     

面向对象的UML建模过程

介绍了统一建模语言(UML)的语义和表示法,及其建模机制,并以一个简单的例子描述了用统一建模语言的建模过程。     

基于UML的学生自助上机收费系统的设计与分析

统一建模语言(UML)是面向对象软件开发方法的重要技术。在对UML语言的组成结构和需求分析的基本原则作简要介绍的基础上,以学生自助上机收费系统的建模作为实际例子,来描述进行静态建模和动态建模的详细过程。     

基于UML的"校园一卡通"管理系统的分析与设计

统一建模语言（UML）是一种面向对象的建模语言,简要介绍了UML建模机制,并结合“一卡通”管理系统的分析与设计过程来阐述面向对象方法学的思想以及统一建模语言UML中的具体应用。     

XYZ/ADL到UML的一种映射方法

分析了软件体系结构描述语言XYZ／ADL的体系结构设计元素和UML中的建模元素的语义相似性，并对UML的建模元素经过一定的扩展和约束，实现了从XYZ／ADL到UML的映射．     

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

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

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

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

UML状态图的形式化

为面向对象模型建立坚实的形式化基础是近年来形式化研究的热点，UML是一种被推荐的面向对象建模语言，Z是一种广泛使用的形式化规约语言．适合用来精确表示模型的语法和语义，本文利用DFA描述了UML状态机的语法，并采用Z(Object—Z)语言对UML状态机视图进行了形式化描述．