检索结果-南通市图书馆

uml类图向OWL本体转换工具的设计与实现

在线全文

学校读者我要写书评

暂无评论

河海大学学报（自然科学版） 2007年第4期35卷 477-482页

作者：许卓明顾华建倪玉燕朱琼河海大学计算机及信息工程学院江苏南京210098

介绍了uml类图向OWL本体转换的方法,给出了基于J2SE平台的转换工具(uml2OWL)的设计思想与实现技术.利用DOM API解析、提取uml类图元素,并根据uml-OWL转换规则,将其转换为相应的OWL本体元素.工具开发和案例研究表明,该转换方法在转换uml... 详细信息

介绍了uml类图向OWL本体转换的方法,给出了基于J2SE平台的转换工具(uml2OWL)的设计思想与实现技术.利用DOM API解析、提取uml类图元素,并根据uml-OWL转换规则,将其转换为相应的OWL本体元素.工具开发和案例研究表明,该转换方法在转换uml类图到OWL本体上是可行的,基于该转换方法的自动转换工具是可实现的.

关键词：模式转换 uml类图 OWL本体本体开发语义网

uml类图转换到OWL DL本体的一种形式化方法的研究

在线全文

学校读者我要写书评

暂无评论

UML类图转换到OWL DL本体的一种形式化方法的研究

作者：张志慧东北大学

学位级别：硕士

现阶段的万维网在信息表达与检索方面存在着一些严重的缺陷,为了解决这些缺陷,Tim Berners-Lee提出了下一代因特网的概念——语义Web (SemanticWeb)。在语义Web的七层结构中,本体层拥有核心地位。目前标准的语义Web本体语言是OWL,它被... 详细信息

现阶段的万维网在信息表达与检索方面存在着一些严重的缺陷,为了解决这些缺陷,Tim Berners-Lee提出了下一代因特网的概念——语义Web (SemanticWeb)。在语义Web的七层结构中,本体层拥有核心地位。目前标准的语义Web本体语言是OWL,它被定义成三个表达能力递增的子语言OWL Lite, OWL DL与OWL Full。其中OWL DL的表达能力较强,推理支持能力也较强。基于本体在语义Web中拥有的核心地位,因此要发展语义Web,其前提就是要构建丰富的语义Web本体。但是利用工具手工创建本体的方法费时、费力,使得本体的构建成为一项艰巨的任务,本体建设成为了语义Web发展的瓶颈。uml已经成为了业界公认的建模标准,被大家广泛接受,有大量工具支持。因此,如何对uml加以利用来建设语义Web本体,已经成为了一个重要的课题。uml模型推理支持能力很弱,因此提取uml类图中已定义的知识,把它转换到OWL DL本体,实现uml类图中知识的再利用,这为本体建设提供了一条有效的途径。本文对uml类图与OWL DL中的元素进行了详细的分析与比较,总结了’uml类图与OWL DL元素的相似处与不同点,提出了一种uml类图到OWL DL本体的形式化的映射方法,在映射过程中尽最大可能的保持uml类图的语义信息。在该形式化映射方法的基础上,开发了一个转换工具用于完成从uml类图到OWL DL本体的转换。转换工具的实现表明了本文提出的形式化映射方法的可行性与有效性。

关键词：语义Web 本体 OWL OWL DL uml类图本体学习模式转换

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

uml类图的机械语义和属性验证研究

UML类图的机械语义和属性验证研究

作者：王博文华东师范大学

学位级别：硕士

统一建模语言(Unified Modeling Language, uml)是一种通用的图形化建模语言,作为当今的主流建模语言,被广泛应用于软件生命周期的各个阶段。uml具备直观易懂的特性,有较好的可视化工具提供支持(如Rational Rose、Argo uml等),在模型驱... 详细信息

统一建模语言(Unified Modeling Language, uml)是一种通用的图形化建模语言,作为当今的主流建模语言,被广泛应用于软件生命周期的各个阶段。uml具备直观易懂的特性,有较好的可视化工具提供支持(如Rational Rose、Argo uml等),在模型驱动工程(Model-Driven Engineering, MDE)中得到了广泛的应用,是面向对象分析和设计的工业标准。然而,uml使用半形式化的图、约束和非形式化的自然语言文本进行描述,缺少严格的形式语义和模型精化关系的形式规范(Formal Specificatio n)定义,无法保证uml在建模过程中的正确性和一致性。由于uml2.0缺乏精确的形式语义,会导致以下问题：(1)对模型理解的不一致性,即不同的人员对同一模型会有不同的理解;(2)难以对模型进行验证分析以保证其正确性。本文主要研究uml类图的机械语义与属性验证,主要内容是通过定义类图的基本元素,从uml类图中抽取形式规范,借助定理证明器Coq对uml类图的形式规范与精化操作进行形式化描述,为后续系统属性和模型精化等验证工作提供语义基础。基于上述的形式描述,将uml类图的重要属性与精化关系转换为数学定理,在Coq中进行形式化定义与验证,定理的可证明性表示系统属性和精化关系的正确性。上述方法弥补了uml的不足,保证了uml模型及其精化的正确性和一致性,为可验证软件设计模型精化框架提供了理论基础。此外,本文还根据uml类图基本元素的形式表述定义相关的映射规则,使用Eclipse的元模型转换插件Kermeta实现了从图形化的类图建模到其形式描述的自动生成,使开发人员可以将精力集中在系统建模、分析和验证上,而不必担心复杂的转换过程。

关键词： uml类图模型精化 Coq 机械语义

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

uml类图质量度量

UML类图质量度量

作者：张文渊西安电子科技大学

学位级别：硕士

度量是提高软件质量的一种有效手段,它可以帮助人们更好的理解和控制软件开发过程。为此,越来越多的软件开发人员日益重视度量在软件开发过程中的作用。在uml出现之后,面向对象技术得到了长足的发展,它成为软件开发的首选。由于面向对... 详细信息

度量是提高软件质量的一种有效手段,它可以帮助人们更好的理解和控制软件开发过程。为此,越来越多的软件开发人员日益重视度量在软件开发过程中的作用。在uml出现之后,面向对象技术得到了长足的发展,它成为软件开发的首选。由于面向对象软件自身独特的特征以及uml模型的新特性,使得传统的度量方法在面向对象度量领域显得有些不合时宜。本文的研究目的就是设计适合面向对象软件的度量集。uml类图是软件开发早期的一种中间产品,它的质量极大影响了后续阶段产品的质量。因此本文希望通过度量uml类图的质量来帮助人们有效开发高质量的面向对象软件。本文首先详细讨论了度量学理论,引入了基于面向对象的软件质量度量理论;接下来对uml类图度量的研究进行了系统的归纳和整理,在此基础上设计了一组适合本次工作的度量集,并结合uml模型的新特性提出了一个适合uml模型的质量度量模型;接着对信息提取技术进行了详细研究;然后结合uml模型度量和信息提取的相关研究成果,设计和实现了一款面向对象类图质量度量工具(OOCM);最后结合一个实例讨论了OOCM的使用。

关键词：度量 uml模型 uml类图度量集面向对象类图质量度量工具

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

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

计算机工程 2006年第10期32卷 53-54,57页

作者：卢正鼎范小丹华中科技大学计算机学院武汉430074

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

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

关键词： XML模式 uml类图转换图形化建模

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

在线全文

学校读者我要写书评

暂无评论

计算机工程与科学 2010年第4期32卷 67-70,78页

作者：曾一王健洪媛周欣蔡森虎重庆大学计算机学院重庆400030

uml被MDA用来描述各种模型,成为建模语言事实上的标准。但是,由于uml类图中缺少对关系数据库的实现的约束,使得类图转换到的关系数据库模型不唯一,不能充分体现设计者对数据库的设计意图。这不利于MDA中PIM模型和关系PSM模型的双向转换... 详细信息

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

关键词： uml类图关系数据库模型模型转换 OCL QVT

基于元模型的XML Schema到uml类图的转换

在线全文

学校读者我要写书评

暂无评论

计算机工程与应用 2010年第23期46卷 59-60,110页

作者：黄陇杨宇航总参陆航研究所北京101121

依据XML Schema文档以及XMI规范定义了与转换相关的XML Schema的元模型,并建立了它和uml元模型之间的映射关系,在此基础上提出了基于XMI和OCL的转换规则,对转换空间进行了分析,并且结合实例进行了说明。

关键词：元模型 XML Schema uml类图模型转换

基于UMCS树的uml类图的混合相似性度量

在线全文

学校读者我要写书评

暂无评论

计算机应用 2024年第3期44卷 883-889页

作者：袁中臣马宗民沈阳工业大学化工过程自动化学院辽宁辽阳111004 南京航空航天大学计算机科学与技术学院南京211106

软件重用是基于给定条件从存储库中检索以前开发的软件产品,检索基于相似性度量。uml(Unified Modeling Language)类图被广泛应用于软件设计,uml类图重用作为软件设计重用的核心而备受关注。因此,对uml类图的相似性开展研究。类图包含... 详细信息

软件重用是基于给定条件从存储库中检索以前开发的软件产品,检索基于相似性度量。uml(Unified Modeling Language)类图被广泛应用于软件设计,uml类图重用作为软件设计重用的核心而备受关注。因此,对uml类图的相似性开展研究。类图包含语义和结构信息。目前,uml类图的相似性研究主要集中在语义,也有个别讨论结构相似性,但没有考虑将语义和结构相结合。因此,提出一种结合语义和结构的混合相似性度量。鉴于uml类图的非形式化特征,将uml类图转换成图模型,搜索最大公共子图列表,构建了最大公共子图树,提出一个基于最大公共子图序列的混合相似性度量方法。针对概念公共子图和结构公共子图分别定义了语义匹配和结构匹配,并开展了相似性对比和基于相似性的分类质量比较实验,实验结果验证了所提出方法的优势。

关键词： uml类图模型转换混合相似性最大公共子图树语义匹配结构匹配

在线全文

学校读者我要写书评

暂无评论

基于语义的uml类图的集成分类

计算机工程与应用 2021年第12期57卷 257-262页

作者：袁中臣马宗民东北大学软件学院沈阳110819 沈阳工业大学化工过程自动化学院辽宁辽阳111004

在软件重用中,软件设计重用受到关注。uml类图被广泛应用于软件设计,uml类图的重用已经成为软件设计重用研究的重点。随着可重用的uml类图数量的不断增加,分类成为一项基础性工作。一个新的基于语义的uml类图的两级分类被提出。定义了... 详细信息

在软件重用中,软件设计重用受到关注。uml类图被广泛应用于软件设计,uml类图的重用已经成为软件设计重用研究的重点。随着可重用的uml类图数量的不断增加,分类成为一项基础性工作。一个新的基于语义的uml类图的两级分类被提出。定义了类图之间的语义相似性度量,提出了行最大值捕捉算法获取中心类图来标识每个类别特征,基于改进的KNN(K邻近)算法构建了一个新的集成分类器E-KNN(ExtensibleKNN)。从分类质量和效率上验证了所构建分类器的有效性。

关键词： uml类图分类语义相似性中心类图分类器