基于UMCS树的UML类图的混合相似性度量 被引量：1

1

作者 袁中臣 马宗民 《计算机应用》 CSCD 北大核心 2024年第3期883-889,共7页

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

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

在线阅读 下载PDF 职称材料

UML类图中面向非功能属性的描述和检验 被引量：16

2

作者 张岩 梅宏 《软件学报》 EI CSCD 北大核心 2009年第6期1457-1469,共13页

为系统构建模型是软件开发中的一项关键活动.一个高质量的模型不仅要包含系统的功能属性,即系统能够做什么,同时还应包含系统的非功能属性,即系统的质量如何.目前,通用的建模方法和工具对功能属性建模支持良好,而对如何为非功能属性建... 为系统构建模型是软件开发中的一项关键活动.一个高质量的模型不仅要包含系统的功能属性,即系统能够做什么,同时还应包含系统的非功能属性,即系统的质量如何.目前,通用的建模方法和工具对功能属性建模支持良好,而对如何为非功能属性建模关注得不多,特别是如何将二者统一起来并对描述的非功能属性的有关性质进行检验.通过在UML类图中增加非功能属性标注和约束关系表等建模元素来扩展UML类图,使其能够描述非功能属性.在此基础上,又提供了对扩展UML类图中非功能属性的一致性和可满足性进行检验的方法.通过实例对上述的面向非功能属性的建模和检验方法进行了说明,并介绍了相应的支持工具. 展开更多

关键词 非功能属性 统一建模语言 类图 模型检验

在线阅读 下载PDF 职称材料

UML类模式在数据库中的应用 被引量：3

3

作者 贾晓辉 夏敏捷 +1 位作者 赵巧萍 乐嘉锦 《计算机应用与软件》 CSCD 北大核心 2007年第7期77-78,82,共3页

关系模型是当前成熟的、普遍应用的数据库设计技术,随着面向对象技术的迅猛发展,UML对建模符号进行了统一,在面向对象方法作出了重要贡献,将UML静态设计模型与关系数据库设计相结合,提出一套完整的对象-关系映射方法,并进行相应规范化,... 关系模型是当前成熟的、普遍应用的数据库设计技术,随着面向对象技术的迅猛发展,UML对建模符号进行了统一,在面向对象方法作出了重要贡献,将UML静态设计模型与关系数据库设计相结合,提出一套完整的对象-关系映射方法,并进行相应规范化,满足3NF,在创建数据库方面具有很大优越性。 展开更多

关键词 uml 类图 关系模型 映射

在线阅读 下载PDF 职称材料

UML类图在关系模式规范化中的应用 被引量：3

4

作者 郭小荟 张绪平 孟倩 《计算机应用》 CSCD 北大核心 2003年第5期92-94,共3页

文中主要讨论将UML类图映射成关系的方法,并利用该方法对矿井通风网络数据库的关系模式进行了规范化。

关键词 uml 类图 关系 矿井 通风网络 规范化

在线阅读 下载PDF 职称材料

UML在数据库建模中的应用 被引量：8

5

作者 孟倩 周延 《计算机工程与应用》 CSCD 北大核心 2005年第16期179-181,共3页

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

关键词 uml 数据库建模 类图 规范化

在线阅读 下载PDF 职称材料

UML建模技术在智能软件开发中的应用 被引量：11

6

作者 卢冰原 李龙澍 《计算机应用研究》 CSCD 北大核心 2001年第11期35-37,共3页

结合一个农业气象应用系统 ,介绍了基于UML的建模技术在系统开发中的应用情况 。

关键词 uml 建模 智能软件开发 面向对象

在线阅读 下载PDF 职称材料

一种支持MDA的UML类图到RDB模型的转换方法 被引量：1

7

作者 曾一 王健 +2 位作者 洪媛 周欣 蔡森虎 《计算机工程与科学》 CSCD 北大核心 2010年第4期67-70,78,共5页

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

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

在线阅读 下载PDF 职称材料

基于UML和．NET技术的高校科技信息管理系统实现 被引量：17

8

作者 张晓龙 程文 《计算机工程与设计》 CSCD 北大核心 2008年第4期993-997,共5页

为提高学校科技处的工作人员的工作效率,实现数据共享,使工作人员能在浏览器上方便地录入、查询、修改、统计相关科技信息,普通老师能以远程方式上传、查询、修改自己的相关信息,设计并实现了高校科技信息管理系统。主要介绍了应用面向... 为提高学校科技处的工作人员的工作效率,实现数据共享,使工作人员能在浏览器上方便地录入、查询、修改、统计相关科技信息,普通老师能以远程方式上传、查询、修改自己的相关信息,设计并实现了高校科技信息管理系统。主要介绍了应用面向对象的UML建模技术设计的高校科技信息管理系统,ASP.NET下的MVC设计模式实现,以及ASP.NET关键技术在系统的应用,包括应用代码分离技术实现界面设计和程序设计分离,ADO.NET访问数据库的技术以及数据绑定技术。完成的系统已经在高校中得到使用。 展开更多

关键词 统一建模语言 用例图 类图 MVC设计模式 代码分离 数据绑定

在线阅读 下载PDF 职称材料

UML在植物资源检索系统中的应用 被引量：4

9

作者 马红梅 马玉强 杨卫军 《计算机工程与设计》 CSCD 北大核心 2009年第15期3645-3648,3652,共5页

为使山东省的植物资源数字化,改变植物工作者手工查阅工具书的现状,以更快捷、全面、准确的方式检索相关资料,设计并实现了山东省植物资源检索系统,并利用UML的其中5种图和其支撑软件Rational Rose,结合植物检索的流程,对植物资源检索... 为使山东省的植物资源数字化,改变植物工作者手工查阅工具书的现状,以更快捷、全面、准确的方式检索相关资料,设计并实现了山东省植物资源检索系统,并利用UML的其中5种图和其支撑软件Rational Rose,结合植物检索的流程,对植物资源检索系统进行了系统分析与设计,从软件工程的角度完成了功能模型、业务模型和数据模型的建立,从而以静态结构和动态行为相结合的方式较全面、客观、标准的展示了该检索系统的设计部分。 展开更多

关键词 植物检索 uml 功能模型 业务模型 数据模型 用例图 类图

在线阅读 下载PDF 职称材料

XML模式到UML类图的转换规则 被引量：1

10

作者 卢正鼎 范小丹 《计算机工程》 CAS CSCD 北大核心 2006年第10期53-54,57,共3页

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

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

在线阅读 下载PDF 职称材料

UML类图到CPN转化方法的研究 被引量：1

11

作者 田保军 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期101-103,共3页

UML(Unified Modeling Language)作为一种面向对象分析和设计的建模语言已被用在很多大型软件系统中,但UML缺乏精确的语义描述,难以直接用数学工具对UML模型进行分析、验证。而CPN(Coloured Petri Nets)作为一种建模工具,有着严格的形... UML(Unified Modeling Language)作为一种面向对象分析和设计的建模语言已被用在很多大型软件系统中,但UML缺乏精确的语义描述,难以直接用数学工具对UML模型进行分析、验证。而CPN(Coloured Petri Nets)作为一种建模工具,有着严格的形式化语义和分析方法。主要针对UML的类图,给出类图到CPN的转换方法,并以实例说明。 展开更多

关键词 uml CPN 类图 建模

在线阅读 下载PDF 职称材料

精化UML模型 被引量：3

12

作者 杨静 张明义 刘志明 《计算机科学》 CSCD 北大核心 2007年第3期250-253,共4页

本文通过融合UML用例图、类图、顺序图和状态图,得到一个软件系统的需求模型和设计模型,给出了需求模型和设计模型的协调性条件及精化规则。这样,我们可以从软件开发的需求分析和设计阶段检查模型的协调性,通过协调地精化模型后生成代... 本文通过融合UML用例图、类图、顺序图和状态图,得到一个软件系统的需求模型和设计模型,给出了需求模型和设计模型的协调性条件及精化规则。这样,我们可以从软件开发的需求分析和设计阶段检查模型的协调性,通过协调地精化模型后生成代码。用这种方法,我们可在软件设计的早期阶段发现不协调问题,减少生成代码后除错所产生的代价。 展开更多

关键词 uml 用例图 类图 顺序图 状态图 需求模型 设计模型 协调性 精化

在线阅读 下载PDF 职称材料

信息系统UML建模研究 被引量：26

13

作者 方红萍 陈和平 《计算机工程与设计》 CSCD 北大核心 2006年第19期3613-3615,3655,共4页

UML作为一种面向对象的标准建模语言,在信息管理系统的建模领域得到了广泛的应用。概述了UML中多种模型图的使用方法和适用范围,分析了UML系统建模的主要过程和特点,并以一个实验预约系统为例详细介绍了系统用例模型、静态模型和动态模... UML作为一种面向对象的标准建模语言,在信息管理系统的建模领域得到了广泛的应用。概述了UML中多种模型图的使用方法和适用范围,分析了UML系统建模的主要过程和特点,并以一个实验预约系统为例详细介绍了系统用例模型、静态模型和动态模型的设计过程,同时重点探讨了在一般信息系统建模过程中普遍适用的系统类筛选、动态方法定义等相关技术。 展开更多

关键词 统一建模语言 用例模型 静态模型 动态模型 用例图 类图 顺序图

在线阅读 下载PDF 职称材料

UML类图到XML Schema的转换算法的研究

14

作者 蒋勇 谭怀亮 +1 位作者 李光文 成志军 《计算机应用与软件》 CSCD 2009年第6期192-194,共3页

主要研究UML类图到XMLSchema模型的转换策略,以便快速开发基于XML文档信息管理系统。为了实现它们之间的转换,对UML类图转换成XML Schema的过程进行了分析和研究,解决了它们转换过程中所遇到的问题。基于这一思想,提出并实现了它们的转... 主要研究UML类图到XMLSchema模型的转换策略,以便快速开发基于XML文档信息管理系统。为了实现它们之间的转换,对UML类图转换成XML Schema的过程进行了分析和研究,解决了它们转换过程中所遇到的问题。基于这一思想,提出并实现了它们的转换算法,达到了在Internet平台上的数据共享和集成、缩短了某高校后勤管理系统研发周期的目的,取得满意的效果。 展开更多

关键词 统一建模语言类图 扩展的标记语言模式 转换算法 管理系统

在线阅读 下载PDF 职称材料

一种基于UML类图和活动图的故障树生成方法 被引量：3

15

作者 徐慧 燕雪峰 周勇 《计算机科学》 CSCD 北大核心 2016年第7期180-185,共6页

针对UML活动图在生成故障树的过程中只能反映活动事件流故障导致的系统失效,不能反映系统静态状态故障的问题,提出了一种活动图结合类图生成故障树的方法。在原有活动图的基础上,使用类图增加系统静态状态信息,设计活动图和类图到故障... 针对UML活动图在生成故障树的过程中只能反映活动事件流故障导致的系统失效,不能反映系统静态状态故障的问题,提出了一种活动图结合类图生成故障树的方法。在原有活动图的基础上,使用类图增加系统静态状态信息,设计活动图和类图到故障树模型的转换规则,将活动图中动态行为信息和类图静态状态信息转化为故障树中的节点要素。基于转换规则设计算法逆向遍历活动图和类图,自顶向下生成故障树。经过实例建模生成故障树,表明该方法能反映系统的动态行为和静态状态两方面的故障信息,为故障树生成提供了一种新的有效途径。 展开更多

关键词 uml模型 活动图模型 类图模型 故障树

在线阅读 下载PDF 职称材料

UML类图的形式规约与精化研究 被引量：3

16

作者 王博文 盛枫 +1 位作者 窦亮 杨宗源 《计算机应用与软件》 2017年第2期1-7,47,共8页

UML由于其广泛的应用和直观的图形化符号,成为了模型驱动工程的重要组成部分。但UML本身缺乏精确的形式语义定义,缺少对其模型精化关系的形式化规范定义,对UML模型进行形式验证变得尤为困难。UML类图作为描述系统结构的静态模型,不具备... UML由于其广泛的应用和直观的图形化符号,成为了模型驱动工程的重要组成部分。但UML本身缺乏精确的形式语义定义,缺少对其模型精化关系的形式化规范定义,对UML模型进行形式验证变得尤为困难。UML类图作为描述系统结构的静态模型,不具备完整的形式语义。从UML类图的机械语义中抽取出形式规约,将UML类图中的结构和形式规约转换成定理证明器Coq中的机械语义定义。此外,还提出了类图的结构精化操作,将模型间的精化关系在Coq中进行形式化定义,并且对精化操作的原子操作进行机械验证,保证其精化前后系统的结构和语义保持一致。将UML和形式化方法相结合,为可验证的软件设计精化框架提供了理论依据。 展开更多

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

在线阅读 下载PDF 职称材料

基于描述逻辑的带依赖属性UML类图

17

作者 陈振庆 《计算机工程》 CAS CSCD 北大核心 2011年第15期49-51,共3页

分析基于描述逻辑的统一建模语言(UML)类图形式化方法的研究现状和存在的问题,提出一种基于描述逻辑的带依赖属性UML类图的形式化方法。研究带依赖属性UML类图的数据属性依赖、行为属性依赖和全局属性依赖的描述逻辑形式化问题。给出带... 分析基于描述逻辑的统一建模语言(UML)类图形式化方法的研究现状和存在的问题,提出一种基于描述逻辑的带依赖属性UML类图的形式化方法。研究带依赖属性UML类图的数据属性依赖、行为属性依赖和全局属性依赖的描述逻辑形式化问题。给出带依赖属性UML类图向描述逻辑知识库转化的方法,以及带依赖属性UML类图知识库可满足性定理及其正确性证明。 展开更多

关键词 统一建模语言类图 描述逻辑 依赖属性 知识库 推理

在线阅读 下载PDF 职称材料

UML模型的协调性检查

18

作者 杨静 张明义 《计算机科学》 CSCD 北大核心 2006年第9期262-265,共4页

本文融合UML用例图、类图、顺序图和状态图,得到一个软件系统的需求模型,给出了这个需求模型的各个元素及相互间协调性检查的一种方法,这样,可以从软件开发的需求分析阶段检查模型的协调性,减少开发成本,最后再从协调的需求模型生成代码。

关键词 uml 用例图 类图 顺序图 状态图 需求模型 协调性

在线阅读 下载PDF 职称材料

用UML技术构建机位分配系统 被引量：1

19

作者 谢实 杨斐伟 王雪梅 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2001年第1期124-128,133,共6页

采用统一建模语言 (UML)技术 ,对机场机位分配系统的域领域进行分析 ,利用用例图、类图、活动图进行需求说明 ,并在此基础上建立了机场机位需求分析模型 .在综合考虑所有技术限制的基础上 ,对此模型作进一步展开和细化 ,完成了机场机位... 采用统一建模语言 (UML)技术 ,对机场机位分配系统的域领域进行分析 ,利用用例图、类图、活动图进行需求说明 ,并在此基础上建立了机场机位需求分析模型 .在综合考虑所有技术限制的基础上 ,对此模型作进一步展开和细化 ,完成了机场机位分配系统模型设计 ,开发了福州长乐国际机场管理信息系统的机位分配子系统 .实际测试表明 ,该系统具有较好的灵活性和适应性 ,能够处理原始数据中的不完全信息 ,以保证机位预分配的顺利进行 ;利用该子系统可实现机场机位的自动分配和动态监控 . 展开更多

关键词 机场 机位分配系统 统一建模语言 面向对象 柔性软件开发 元模型 类图

在线阅读 下载PDF 职称材料

基于UML类图的模糊时空数据建模 被引量：3

20

作者 陈旭 严丽 +1 位作者 马宗民 李卫军 《计算机应用研究》 CSCD 北大核心 2019年第2期481-485,共5页

模糊性广泛存在于时空应用领域,现有的时空数据模型缺乏描述和表达模糊时空对象内在机制和语义关系的能力。通过研究模糊时空数据语义,给出了模糊时空数据模型的形式化定义,在此基础上对UML类图进行扩展,提出一种模糊时空UML数据模型,... 模糊性广泛存在于时空应用领域,现有的时空数据模型缺乏描述和表达模糊时空对象内在机制和语义关系的能力。通过研究模糊时空数据语义,给出了模糊时空数据模型的形式化定义,在此基础上对UML类图进行扩展,提出一种模糊时空UML数据模型,并用例子说明了模糊时空数据模型的可用性。 展开更多

关键词 模糊时空数据 uml类图模型 建模

在线阅读 下载PDF 职称材料