-
题名UML类图到XML Schema的转换算法的研究
- 1
-
-
作者
蒋勇
谭怀亮
李光文
成志军
-
机构
湖南化工职业技术学院信息系
湖南大学计算机与通信学院
湖南生物机电职业技术学院管理系
-
出处
《计算机应用与软件》
CSCD
2009年第6期192-194,共3页
-
文摘
主要研究UML类图到XMLSchema模型的转换策略,以便快速开发基于XML文档信息管理系统。为了实现它们之间的转换,对UML类图转换成XML Schema的过程进行了分析和研究,解决了它们转换过程中所遇到的问题。基于这一思想,提出并实现了它们的转换算法,达到了在Internet平台上的数据共享和集成、缩短了某高校后勤管理系统研发周期的目的,取得满意的效果。
-
关键词
统一建模语言类图
扩展的标记语言模式
转换算法
管理系统
-
Keywords
Unified modelling language（UML） class diagram Extensible markup language（XML） Schema Converting algorithm Administration system
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于描述逻辑的带依赖属性UML类图
- 2
-
-
作者
陈振庆
-
机构
广西贺州学院计算机科学与工程系
-
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第15期49-51,共3页
-
基金
广西壮族自治区教育厅基金资助项目"基于描述逻辑的UML类图形式化方法及推理研究"(200911LX444)
-
文摘
分析基于描述逻辑的统一建模语言(UML)类图形式化方法的研究现状和存在的问题,提出一种基于描述逻辑的带依赖属性UML类图的形式化方法。研究带依赖属性UML类图的数据属性依赖、行为属性依赖和全局属性依赖的描述逻辑形式化问题。给出带依赖属性UML类图向描述逻辑知识库转化的方法,以及带依赖属性UML类图知识库可满足性定理及其正确性证明。
-
关键词
统一建模语言类图
描述逻辑
依赖属性
知识库
推理
-
Keywords
Unified Modeling Language（UML） class diagrams
description logics
dependence attributes
knowledge bases
reasoning
-
分类号
TP182
[自动化与计算机技术—控制理论与控制工程]
-
