UML用例图到XMI的映射方法研究

模型信息转换是目前软件工程领域比较热门的研究方向,将UML模型信息转换成XMI中间标准格式,能够实现模型到模型转换,模型到代码自动生成,加快系统开发进度,提高软件质量.提出一种UML用例图到XMI的映射算法.首先介绍了MDA,UML,XMI以及用例图等基本概念,然后对XMI Schema抽象模型进行形式化描述,并根据XMI模式定义和UML用例图映射规则对映射算法进行具体描述.最后通过一个具体的泛化用例图到XMI的映射实例进行算法验证.     

基于XMI的UML模型向OWL本体转换方案

OWL是W3C提出的语义网本体语言,作为语义网中信息共享和交换的基础,具备强大的知识表示和推理功能.文章对UML和OWL进行了分析比较,给出了UML类图相应的XMLSchema和OWL本体表示形式,提出了一种UML模型向OWL本体转换方案,通过XMI交换标准将UML模型转换为OWL本体.     

以体系结构为中心的数据库设计方法及应用

在软件系统分析和设计过程中,围绕软件体系结构这一中心,利用类图模型和关系型数据库关系模型之间的映射,可以加速数据库设计。文章结合某高校智慧校园建设重点项目"科研管理系统数据库设计"实例,提出了一种综合面向对象的数据库设计方法和UML方法,是以多层软件体系结构为中心的数据库设计方法。文章重点介绍了在多层软件体系结构框架内,类、类的方法到关系型数据库的表、视图、存储过程的映射方法。     

UML包与B结合的形式化建模研究

分析UML和B相互转化的难点后,提出一种既克服转化难点又能得到简单证明义务的建模机制:选择包作为交互替换的UML实体去说明一个B组件和包的完整类图到一个单独B组件的转化映射,同时结合实例加以说明该机制的可行性.     

UML状态图到B形式化规范的转换实现

统一建模语言UML在面向对象的建模技术中得到了广泛应用。但是UML模型缺乏形式化语义,难以使用数学方式对模型进行分析和验证。B方法作为一种建立在严格数学机理上的形式化方法,将可视化UML模型转换为B形式化规范,可以对模型进行形式化描述和分析,确保模型的可靠性。通过研究从UML状态图到B形式规范的转换规则,提出了一种基于XMI的状态图到B形式化规范的自动转换方法,并使用Java语言实现了自动转换工具UML2B。     

UML图到可执行代码的映射探究

UML作为面向对象的标准建模语言,其以对象为中心,从各个角度描述系统,与最普遍的面向对象编程语言思路统一,可通过类图生成代码框架。UML图到面向对象的可执行代码存在对应关系,通过找到其中的映射算法可以使图形生成更完善的代码,提高软件开发效率和代码质量。     

面向青少年发展的教育游戏软件系统建模设计

本文从青少年发展的三个领域,即认知领域、动作智力技能领域和情感领域出发,对教育游戏中游戏元素在这三个领域的功能展开分析研究,并在此基础上应用统一建模语言(UML)建构了教育游戏软件的参考模型。通过一个具体的教育游戏实例,按UML建模的流程及要求,围绕模型框架的类图。用例图和序列图这三种关键视图进行具体的UML建模示范。希望相关工作能为教育游戏软件系统模型开发及代码编写提供参考。     

基于UML的实验室调度系统需求分析

UML（Unified Modeling Language）是面向对象方法建模的语言标准工具,在系统建模过程中应用很广泛。在UML技术指导下,针对软件开发过程中的需求分析阶段,提出了一种结构清晰的功能需求分析模型,在系统用例图的基础上,建立类图和时序图,从静态和动态不同侧面表达系统模型,迭代的建模过程保证了模型的一致性。最后以一个实例详细描述了系统功能需求分析建模的过程。     

基于UML类图的软件度量工具研究

就UML类图质量模型和软件度量方法进行研究,基于传统的CK度量集,设计并实现了基于UML类图的软件度量工具JCKMT．通过对UML类图进行度量分析,实现软件开发过程控制,为软件开发人员客观地分析、评估软件的设计、生产和使用状况提供了支持．     

从对象模型到关系模型的映射方法

围绕实例讨论对象模型转换为关系数据库模型的过程,从类到关系模式的映射、类之间关系的映射、操作映射等方面提出一些有效的转换规则．使用迭代的思想提出应从范式理论、时间与空间平衡、对象模型与关系模型的数据描述差异来优化关系模型．