基于UML的数据库建模技术研究

论文主要探讨以UML对象类图作为数据库建模的方法：在UML的对象类中得到关系模式的键,把关联的多重性分配到关系模式中去,把泛化（继承）联系转换为关系模式,把行为（操作）转换为触发器和存储过程;从而将UML与关系数据库技术相结合,方便数据库的设计。     

基于本体的UML类图语义推理

统一建模语言(UML)是一个半形式化的语言,其语义部分是采用自然语言描述的,使得它在建模过程中会产生语义不一致等问题。在详细比较UML类图与本体的基础上,提出了一种UML类图的形式化方法;首先将UML类图转换为相应的本体;然后根据本体提供的推理算法(Tableau)对转换得到的本体进行推理,检测其中的不一致性从而修改UML类图,最后达到精确UML类图。     

基于形式化UML的教务管理数据库实现方法

利用统一建模语言(UML),实现了从高校教务管理类模式向教务管理关系数据库数据模式的转换.首先,以学籍管理系统为例,用UML的用例图、序列图、类图对其进行了建模.然后,在类的设计过程中,借助面向度量的UML的代数表达框架,检测了一些类模式的设计错误,对类模式进行了一些优化.最后,运用类图中类间的几种关系在关系数据库中的实现策略,建立了学籍管理数据库中的表.     

基于UML类图模型的一致性检查方法

UML中的类图采用直观的图形化表示方法,有效描述了待建系统的静态特征,为系统设计人员发现系统模型中存在的不一致性和冗余等问题,提供了有效的分析工具.但是对于复杂的系统,完全依靠系统分析人员发现模型中存在的不一致性和冗余等问题是不现实的,应当为建模工具赋以模型自动一致性检查功能.SHOIQ(D)是描述逻辑家族中可判定的子集,它在保证推理可判定的同时,具备较强的描述知识能力.鉴于上述特点,通过从UML类图图元中抽取语义.用SHOIQ(D)形式化描述类图图元,借助自动推理引擎,从而使基于UML类图模型的自动一致性检查功能得到实现.根据该方法改进后的建模工具,可以自动发现基于UML类图模型中存在的不一致性和冗余等问题.     

UML模型和Java代码之间的一致性检测方法

针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法.首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对Java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG;然后设计了UML模型与Java源代码间一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测;最后,通过开发UML模型与Java源代码一致性检测工具,验证了所提出的方法是可行有效的.     

基于XML的电子病历数据模式研究

研究提出了基于XML的电子病历数据的建模方法:首先,抽象出电子病历系统中主要数据概念,并将其数据结构和关系图形化,建立其概念模型;然后,根据建立的概念模型到UML的映射机制,建立电子病历数据UML对象模型;最后,根据定义的UML模型到XML Schema的映射机制,实现UML方法描述的信息数据对象模型到XML Schema的转换,从而建立了基于XML Schema的电子病历数据模式.     

基于UML活动图的Web服务合成动态行为建模方法研究

描述了利用UML进行Web服务合成的建模方法,包括静态结构建模和动态行为建模两个方面,针对Web服务合成的动态行为建模部分,详细说明了利用UML活动图进行建模时需要注意的问题,如活动图的控制流模式与Web服务合成控制流模式的语义对应关系,所支持的数据模式,以及为了方便模型转换对活动图actions元素的概念扩展,给出了动态行为建模方法,并给出了基于OCL的转换规则以及UML活动图元素到BPEL4WS元素的映射关系,最后通过订单管理案例对所述方法进行验证,为Web服务合成提供了新的思路。     

一种支持MDA的UML类图到RDB模型的转换方法

UML被MDA用来描述各种模型,成为建模语言事实上的标准。但是,由于UML类图中缺少对关系数据库的实现的约束,使得类图转换到的关系数据库模型不唯一,不能充分体现设计者对数据库的设计意图。这不利于MDA中PIM模型和关系PSM模型的双向转换。为解决以上问题,本文提出一种通过添加构造型和OCL约束来扩展UML类图的方法,以加强类图中数据之间的关系及约束,使PIM模型能够唯一地转换到PSM模型。最后,采用QVT模型转换方法将扩展后的UML类图转换到关系数据库模型,并结合例子给出了UML类图的关联、继承、组合和聚合关系等到关系数据库模型的转换规则和方法。利用本方法可以使UML类图到关系数据库模型的转换结果唯一。     

基于UML和OCL的类间交互测试用例生成算法研究

针对面向对象软件的类、封装、继承、动态连接等特性,对对象建模语言(UML模型)中的顺序图添加对象约束语言(OCL约束),做类间交互的软件测试。提出执行图EG生成算法,将顺序图SD转换为EG,解决UML2.0顺序图新增特性中的alt,loop,opt,break这4种常见组合片段及其嵌套和多态性问题;为得到最小完备的测试路径,提出EG的遍历策略和测试路径生成算法;确定测试场景,生成测试用例。经实例分析,它可以基于UML顺序图与OCL作系统地测试。     

基于Rational Rose的高校公寓管理系统.NET 应用开发分析

本文介绍了用UML Rational Rose分析高校公寓管理系统的建模过程.分析过程中主要用了用例图、系统逻辑图、高层类图进行初步分析;用键壮性图分析了每个用例参与的对象集,便于实现以GuI-逻辑-存储器的框架为客户机/服务器系统布局对象;用顺序图为给类分配了操作及及可替换的过程.     

Extending the UML concepts to transform natural language queries with fuzzy semantics into SQL

Database applications tend toward getting more versatile and broader to comply with the expansion of various organizations. However, naïve users usually suffer from accessing data arbitrarily by using formal query languages. Therefore, we believe that accessing databases using natural language constructs will become a popular interface in the future. The concept of object-oriented modeling makes the real world to be well represented or expressed in some kinds of logical form. Since the class diagram in UML is used to model the static relationships of databases, in this paper, we intend to study how to extend the UML class diagram representations to capture natural language queries with fuzzy semantics. By referring to the conceptual schema throughout the class diagram representation, we propose a methodology to map natural language constructs into the corresponding class diagram and employ Structured Object Model (SOM) methodology to transform the natural language queries into SQL statements for query executions. Moreover, our approach can handle queries containing vague terms specified in fuzzy modifiers, like ‘good’ or ‘bad’. By our approach, users obtain not only the query answers but also the corresponding degree of vagueness, which can be regarded as the same way we are thinking.     

XML模式到UML类图的转换规则

提出了一套从XML模式到UML类图的转换规则,以便于对XML模式进行快速的图形化建模,从而有利于用户对XML模式的理解。该文的转换工作基本上包括了XML模式的全部模块,几乎所有的XML模式都可以通过已提出的规则进行转换,作者已通过大量的实验加以证实。     

UML在数据库建模中的应用

文章以煤层自然发火管理信息系统数据库建模为例,讨论将UML类图映射成关系型数据库中的表的方法,并对煤层自然发火管理信息系统数据库的关系模式进行了规范化。     

高校教学管理系统的UML模型

本文介绍了UML的基本概念、建模过程、以及UML建模的优点,描述了高校教学管理系统的特点以及功能,用一个实例来说明UML在高校教学管理系统开发中的应用,建立了高校教学管理系统中考试成绩管理部分的用例图,类图,顺序图,活动图和部署图。利用UML建模,使得用户和开发人员的沟通更加顺畅,提高了软件开发的效率。     

How are UML class diagrams built in practice? A usability study of two UML tools: Magicdraw and Papyrus

Software modeling is a key activity in software development, especially when following any kind of Model Driven Software Engineering (MDSE) process. In this context, standard modeling languages, like the Unified Modeling Language (UML), and tools for supporting the modeling activities become essential.The aim of this study is to analyze how modelers build UML models and how good modeling tools are in supporting this task. Our goal is to draw some useful lessons that help to improve the (UML) modeling process both by recommending changes on the tools themselves and on how UML is taught so that theory and practice of UML modeling are better aligned.Our study employs two research approaches. The main one is an empirical experiment (which analyzes screen recordings registered by undergraduate students during the construction of a UML class diagram). An analytical analysis complements the previous experiment. The study focuses on the most frequent type of UML diagram, the class diagram, and on two tools widely used by the modeling community: MagicDraw and Papyrus.     

基于UML的软件过程建模方法研究

论文运用UML对软件过程建模,用类图对静态结构建模,用顺序图,状态图对动态行为建模,并给出了一个软件配置管理过程建模的实例。     

基于UML的Web商务平台的开发方法

统一建模语言UML是一种面向对象的软件开发方法,它融合了软件工程领域的新思想、新方法和新技术。本文用UML设计了一个Web商务平台,并用支持UML的建模工具--RationalRose Enterprise Edition实现了该Web商务平台。本文给出了Web商务平台的需求分析-用例图,Web商务平台的详细设计--序列图、活动图和类图,以及Web商务平台的实现--
组件图和布局图。UML作为标准建模语言,支持从系统需求分析开始的软件开发全过程,它使系统各开发团队能够较容易地沟通,从而增强了整个系统开发过程的可控性,加快了
系统的开发速度,提高了软件质量。     

基于UML的仿真应用系统映射方法研究

基于组件的仿真应用系统设计方法在视图建模时往往存在标准不统一的问题,提出了仿真应用系统向统一建模语言UML映射的解决思路,仅用两种视图实现了系统的完整建模,完成了系统静态组成结构向UML复合结构图的映射以及系统动态行为向UML活动图的映射。参考模型驱动架构MDA的开发过程,对完成映射的系统进行了代码自动生成,实现了用户的零编码。最后,通过某一海军作战仿真实例证明,此方法达到了基于组件的仿真应用系统视图建模标准化的目的,提高了系统的一致性。     

基于UML的全程办税系统的建模与实现

UML（U1ified Modeling Language）是一种易于表达、功能强大的面向对象标准建模语言,广泛应用在系统建模过程中。基于UML建模的迭代式开发方法具有传统开发方法无可比拟的优点。文中结合全程办税系统的需求分析,采用RUP（Rational Unified Process）建模过程,建立了系统的用例图、类图和顺序图,从静态和动态不同建模机制,给出了基于UML的系统需求模型、静态模型和动态模型的建模过程。在可视化建模工具EA（Enterprise Architect）环境下,实现了从模型到C#代码的自动生成,完成了系统的实现。