期刊文献+
共找到1,774篇文章
< 1 2 89 >
每页显示 20 50 100
基于UML的订单式指挥控制系统建模
1
作者 张欣月 吕卫民 +1 位作者 韦定江 阳东升 《指挥与控制学报》 北大核心 2025年第4期493-503,共11页
提出了一种基于统一建模语言的订单式指挥控制系统的建模方法,旨在提高军事指挥控制系统的效率和精确性。通过将作战任务以订单形式分配,实现了资源的高效利用和快速响应。概述了ODC2S的基本概念,介绍了UML在系统建模中的应用,包括需求... 提出了一种基于统一建模语言的订单式指挥控制系统的建模方法,旨在提高军事指挥控制系统的效率和精确性。通过将作战任务以订单形式分配,实现了资源的高效利用和快速响应。概述了ODC2S的基本概念,介绍了UML在系统建模中的应用,包括需求分析、系统结构、行为建模等。构建了ODC2S的类图、用例图、状态图、活动图和时间序列图,展示了系统的静态结构和动态行为。通过这些模型,分析了系统的关键特性,如并行处理、决策逻辑和异常处理机制。引入了反UUV作战的实例分析,通过构建应对体系展示了ODC2S如何进行统一指挥控制,增强了模型的实用性验证。 展开更多
关键词 订单式指挥控制系统 uml建模 系统动态分析 资源优化
在线阅读 下载PDF
基于UML模型的用户界面自动生成
2
作者 董泽华 蒋建民 +2 位作者 李朝江 何清 马国栋 《计算机工程与设计》 北大核心 2025年第4期1208-1218,共11页
为解决传统低代码平台无法全自动生成用户界面的缺陷,保证生成用户界面过程中的一致性、正确性、完整性,提出一种基于UML模型的用户界面自动生成方法。将领域概念模型和用例模型作为系统需求,结合形式化方法,开发用户界面自动生成算法... 为解决传统低代码平台无法全自动生成用户界面的缺陷,保证生成用户界面过程中的一致性、正确性、完整性,提出一种基于UML模型的用户界面自动生成方法。将领域概念模型和用例模型作为系统需求,结合形式化方法,开发用户界面自动生成算法。为保证系统需求与用户界面之间的一致性,满足高可信软件的要求,提出一致性分析与检测方法。不同于传统低代码开发平台的拖、拉、拽操作方式,只需要建立软件系统领域概念模型和用例模型,即可全自动生成用户界面。以实例验证了该方法的可行性。 展开更多
关键词 uml模型 用户界面 形式化方法 低代码开发平台 模型驱动工程 一致性 高可信软件
在线阅读 下载PDF
UML顺序图的鲁棒性分析 被引量:1
3
作者 张强 蒋建民 李建清 《郑州大学学报(理学版)》 CAS 北大核心 2024年第2期66-72,共7页
鲁棒性分析技术可以帮助开发人员精确地弥合分析与设计之间的鸿沟。统一建模语言(unified modeling language,UML)顺序图模型被广泛用于面向对象软件系统的分析与设计,它的鲁棒性至关重要。首先,引入形式化模型——统一结构。其次,给出... 鲁棒性分析技术可以帮助开发人员精确地弥合分析与设计之间的鸿沟。统一建模语言(unified modeling language,UML)顺序图模型被广泛用于面向对象软件系统的分析与设计,它的鲁棒性至关重要。首先,引入形式化模型——统一结构。其次,给出了基于统一结构的描述顺序图的方法和鲁棒性的形式定义,随后讨论顺序图在组合与精化条件下的保存问题。最后,在原型工具支持下进行实例研究。实验结果表明,设计阶段的顺序图能保持分析阶段顺序图的鲁棒性,从而可以给予从事面向对象的开发人员相关帮助及支持。 展开更多
关键词 uml 顺序图 鲁棒性 精化
在线阅读 下载PDF
基于UMCS树的UML类图的混合相似性度量 被引量:1
4
作者 袁中臣 马宗民 《计算机应用》 CSCD 北大核心 2024年第3期883-889,共7页
软件重用是基于给定条件从存储库中检索以前开发的软件产品,检索基于相似性度量。UML(Unified Modeling Language)类图被广泛应用于软件设计,UML类图重用作为软件设计重用的核心而备受关注。因此,对UML类图的相似性开展研究。类图包含... 软件重用是基于给定条件从存储库中检索以前开发的软件产品,检索基于相似性度量。UML(Unified Modeling Language)类图被广泛应用于软件设计,UML类图重用作为软件设计重用的核心而备受关注。因此,对UML类图的相似性开展研究。类图包含语义和结构信息。目前,UML类图的相似性研究主要集中在语义,也有个别讨论结构相似性,但没有考虑将语义和结构相结合。因此,提出一种结合语义和结构的混合相似性度量。鉴于UML类图的非形式化特征,将UML类图转换成图模型,搜索最大公共子图列表,构建了最大公共子图树,提出一个基于最大公共子图序列的混合相似性度量方法。针对概念公共子图和结构公共子图分别定义了语义匹配和结构匹配,并开展了相似性对比和基于相似性的分类质量比较实验,实验结果验证了所提出方法的优势。 展开更多
关键词 uml类图 模型转换 混合相似性 最大公共子图树 语义匹配 结构匹配
在线阅读 下载PDF
基于Petri网和UML活动图工作流建模比较 被引量:18
5
作者 汪文元 沙基昌 谭东风 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第2期504-507,510,共5页
在工作流建模中Petri网和UML活动图各自发挥了十分重要的作用,然而对于其建模的适应性却没有充分的研究。通过对工作流管理系统的分析,认为工作流管理系统具有响应性、协作性和开放性特点。在给定适合工作流建模的UML活动图语义基础上,... 在工作流建模中Petri网和UML活动图各自发挥了十分重要的作用,然而对于其建模的适应性却没有充分的研究。通过对工作流管理系统的分析,认为工作流管理系统具有响应性、协作性和开放性特点。在给定适合工作流建模的UML活动图语义基础上,讨论了工作流建模的几个关键要素在Petri网和UML活动图下的建模比较。通过分析认为,Petri网更适合于封闭、主动系统的建模,UML活动图能够较为充分的适应开放、响应型系统的建模,Petri网较适合对稀有资源的建模。因此UML活动图更适合工作流这种开放、响应型系统建模。 展开更多
关键词 WFMS 工作流建模 PETRI网 uml活动图 uml活动图语义 建模比较
在线阅读 下载PDF
基于UML实时系统设计方法的分析与比较 被引量:6
6
作者 周治平 夏娟 +1 位作者 纪志成 林家俊 《计算机工程》 EI CAS CSCD 北大核心 2005年第13期99-101,共3页
总结了目前UML在实时系统设计中应用的现状,介绍了UML实时扩展的各种技术和方法,通过对实时系统可调度性、可预测性、安全性等实时性能的描述,比较了各种常用的技术和方法的优缺点,并对现有方法的局限性提出了UML实时扩展中尚待解决的... 总结了目前UML在实时系统设计中应用的现状,介绍了UML实时扩展的各种技术和方法,通过对实时系统可调度性、可预测性、安全性等实时性能的描述,比较了各种常用的技术和方法的优缺点,并对现有方法的局限性提出了UML实时扩展中尚待解决的问题及新的研究方向,对UML实时系统的应用设计提出了参考建议。 展开更多
关键词 uml 实时uml 实时扩展
在线阅读 下载PDF
基于UML的面向方面建模方法 被引量:16
7
作者 刘瑞成 张立臣 《计算机科学》 CSCD 北大核心 2005年第10期204-209,213,共7页
面向方面编程(AOP)技术通过横切关注来实现软件系统。面向方面建模可通过扩展UML来实现,在元模型层次上设计面向方面软件开发(AOSD)模型框架。从结构建模、行为建模、方面织入以及代码产生几个方面实现面向方面的建模方法。利用UML类图... 面向方面编程(AOP)技术通过横切关注来实现软件系统。面向方面建模可通过扩展UML来实现,在元模型层次上设计面向方面软件开发(AOSD)模型框架。从结构建模、行为建模、方面织入以及代码产生几个方面实现面向方面的建模方法。利用UML类图实现方面的结构模型,方面与核心组件及方面之间的静态模型关系。协作图表达方面与核心组件及方面之间的动态行为,并通过状态图细化方面和核心组件的动态行为,实现状态图的方面与核心组件及方面之间的织入关系,最终实现方面代码的自动生成。基于UML的方面建模填补AOP与OOP技术之间的空白,提高软件设计的模块化,增强代码的重用性、维护性。 展开更多
关键词 面向方面 uml 元模型 框架 uml类图 建模方法 OOP技术 核心组件 面向方面编程 动态行为 软件设计 软件系统 结构建模
在线阅读 下载PDF
定义及验证UML Statechart图中的数据流语义 被引量:1
8
作者 陆公正 吴澜波 张广泉 《计算机工程与应用》 CSCD 北大核心 2009年第24期56-59,共4页
在传统的UML Statechart图中加入了数据流对象后,因为UML Statechart图缺乏精确的数据流语义,所以不适合应用UML Statechart图对工作流中的数据流进行建模并验证其正确性。为了解决这一问题,选择标记转换系统(LTS)作为语义域,并用结构... 在传统的UML Statechart图中加入了数据流对象后,因为UML Statechart图缺乏精确的数据流语义,所以不适合应用UML Statechart图对工作流中的数据流进行建模并验证其正确性。为了解决这一问题,选择标记转换系统(LTS)作为语义域,并用结构化操作语义(SOS)分两步定义了UML Statechart图的数据流语义,为工作流中的数据流正确性验证奠定了基础。在此基础上,使用时序逻辑公式表示数据流所需满足的性质,在验证数据流的正确性之前,给出了将它的UML Statechart图模型转化为可达状态迁移图的算法,最后通过模型检测算法验证数据流的正确性。 展开更多
关键词 统一建模语言(uml) uml Statechart图 数据流语义 时序逻辑 验证 模型检测
在线阅读 下载PDF
利用UML设计与实现地图符号编辑器 被引量:2
9
作者 赵军喜 张毅 孙庆辉 《测绘通报》 CSCD 北大核心 2004年第7期51-53,56,共4页
以面向对象的软件工程为基础 ,运用UML语言阐述地图符号编辑器的功能需求、总体设计、详细设计、编码和测试的过程 。
关键词 面向对象 软件工程 uml设计 地图符号 地理信息系统 uml
在线阅读 下载PDF
基于UML图和不同粒度切片的回归测试研究 被引量:2
10
作者 钱雪忠 宋建生 《计算机工程与科学》 CSCD 北大核心 2012年第11期124-129,共6页
针对面向对象软件回归测试的新特点,本文引入了基于UML图的不同粒度切片。首先,对描述类间关系的UML类图和描述状态变迁关系的UML状态图形式化定义。接着,对定义的图进行切片分析,其中类间测试提出一种基于UML类图的粗粒度切片工具;类... 针对面向对象软件回归测试的新特点,本文引入了基于UML图的不同粒度切片。首先,对描述类间关系的UML类图和描述状态变迁关系的UML状态图形式化定义。接着,对定义的图进行切片分析,其中类间测试提出一种基于UML类图的粗粒度切片工具;类内测试提出一种基于UML状态图细粒度切片的方法。最后,将其应用于销售订单系统,结果表明以上两种分析方法可以有效地提高回归测试效率。 展开更多
关键词 回归测试 uml类图 uml状态图 粗粒度切片 细粒度切片
在线阅读 下载PDF
基于UML和组件技术的软件开发环境IUMLSE的研究与实现 被引量:7
11
作者 杨顺祥 葛科 高仲仪 《计算机工程与应用》 CSCD 北大核心 2001年第12期31-35,共5页
统一建模语言UML(Unified Modeling Language)正逐步成为面向对象技术领域内占主导地位的建模语言。而组件(Component)技术的蓬勃发展使基于组件组装的软件开发成为可能。两者正无可争议地成为当今和未来软件开发的主流技术。文章对... 统一建模语言UML(Unified Modeling Language)正逐步成为面向对象技术领域内占主导地位的建模语言。而组件(Component)技术的蓬勃发展使基于组件组装的软件开发成为可能。两者正无可争议地成为当今和未来软件开发的主流技术。文章对UML和组件技术进行了描述,探讨了两者在软件开发中的作用和相互之间的联系,以及新一代的软件开发环境应该如何对两者提供支持,然后详细介绍了基于UML和组件技术的软件开发环境IUMLSE的设计和实现。 展开更多
关键词 统一建模语言 面向对象 软件开发环境 IumlSE uml 组件技术
在线阅读 下载PDF
基于AUML的主体交互建模 被引量:3
12
作者 朱家亮 姚莉 《广西师范大学学报(自然科学版)》 CAS 2003年第A01期109-112,共4页
本文提出了一种基于AUML的主体交互建模方法.该方法的主要思想是首先确定主体的通信模式,基于通信模式来选择合适的交互模板;然后针对特定的领域问题,把模板实例化;最后描述主体协作期间,主体内部交互的执行过程.
关键词 uml Auml 主体 协作 协商
在线阅读 下载PDF
基于UML的工作流建模 被引量:25
13
作者 方进 王铁成 +1 位作者 石志宽 谢俊元 《计算机工程与设计》 CSCD 2004年第9期1572-1575,共4页
工作流模型是对工作流的抽象表示,也就是对经营过程的抽象表示。由于工作流需要在计算机环境下运行,因此建立相应的工作流模型是必不可少的。传统的工作流建模方法存在着复杂、僵化、缺乏反馈等缺点,在分析了传统工作流建模的不足之处... 工作流模型是对工作流的抽象表示,也就是对经营过程的抽象表示。由于工作流需要在计算机环境下运行,因此建立相应的工作流模型是必不可少的。传统的工作流建模方法存在着复杂、僵化、缺乏反馈等缺点,在分析了传统工作流建模的不足之处的基础上,结合工作流公共数学描述,提出了基于UML的工作流建模方法,并详细分析了它对传统工作流建模的改进。 展开更多
关键词 工作流建模 uml 工作流模型 表示 细分 计算机环境 经营过程 僵化 复杂 数学描述
在线阅读 下载PDF
基于UML的系统需求分析 被引量:34
14
作者 孔军 孙怡宁 +1 位作者 蒋敏 毕宝庆 《计算机工程与应用》 CSCD 北大核心 2003年第15期217-219,共3页
该文以高速公路征费系统软件为例,探讨了基于UML的系统需求分析的设计方法。意在说明UML的若干视图具有从多角度描述系统的优点,阐述了这种建模机制如何为实际业务系统应用中的需求分析提供新的技术和方法。
关键词 uml 面向对象 建模方法 需求分析
在线阅读 下载PDF
基于UML的鱼病远程监测预警与诊断系统 被引量:17
15
作者 温继文 李道亮 +2 位作者 陈梅生 邢斌 王贵荣 《农业工程学报》 EI CAS CSCD 北大核心 2008年第S2期166-171,共6页
为实时监测、及时预防、合理诊断、适时防治鱼病,减少鱼病造成的损失,采用统一建模语言UML和统一过程RUP,首次构建并开发鱼病远程监测预警与诊断系统。论文对系统开发的全过程进行了可视化建模,包括系统架构、需求、用例、类和活动模型... 为实时监测、及时预防、合理诊断、适时防治鱼病,减少鱼病造成的损失,采用统一建模语言UML和统一过程RUP,首次构建并开发鱼病远程监测预警与诊断系统。论文对系统开发的全过程进行了可视化建模,包括系统架构、需求、用例、类和活动模型,并根据鱼病知识的特点,构建了鱼类生存指数预警模型、"症状-疾病-病因"的因果网络诊断模型和基于群决策理论的鱼病会诊模型,最后采用Java开发工具实现了系统。研究表明,为鱼病监测预警与诊断系统构建UML模型,能够规范系统开发流程、优化软件结构、提高系统开发效率,增强程序可读性和可维护性。本研究成果对水产病虫害系统的设计开发具有一定的借鉴意义。 展开更多
关键词 uml 鱼病诊断 远程监测 预警系统
在线阅读 下载PDF
UML 软件开发过程和支持环境研究 被引量:33
16
作者 张莉 葛科 +1 位作者 王云 周伯生 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1998年第4期407-410,共4页
从当前对软件工程过程的需求出发,结合软件工程领域的最新成果统一建模语言UML(UnifiedModelingLanguage),重点讨论了适应需求变化的迭代式软件开发过程,提出了柔性软件开发模型.在此研究的基础上,设... 从当前对软件工程过程的需求出发,结合软件工程领域的最新成果统一建模语言UML(UnifiedModelingLanguage),重点讨论了适应需求变化的迭代式软件开发过程,提出了柔性软件开发模型.在此研究的基础上,设计了集成化UML软件开发环境的框架,指出其组成应包括UML可视化建模系统、UML模拟系统、UML代码生成系统和UML逆向变换系统4个部分,并提出了需要解决的问题. 展开更多
关键词 软件工具 uml 建模语言 柔性软件开发
在线阅读 下载PDF
基于UML的WEB应用系统建模方法的研究 被引量:36
17
作者 邓勇 丁峰 沈钧毅 《计算机工程与应用》 CSCD 北大核心 2000年第6期19-21,共3页
目前WEB应用的复杂性正日益增加。任何较复杂的系统都需要经过设计和建模,因此应该用基于模型的方法来开发WEB应用。文章介绍了一种用UML的扩展机制为WEB应用系统建模的方法,该方法在设计阶段使用,能用于各种WEB技术(如CGI、ASP和IS... 目前WEB应用的复杂性正日益增加。任何较复杂的系统都需要经过设计和建模,因此应该用基于模型的方法来开发WEB应用。文章介绍了一种用UML的扩展机制为WEB应用系统建模的方法,该方法在设计阶段使用,能用于各种WEB技术(如CGI、ASP和ISAPI等)。 展开更多
关键词 WEB 应用系统 建模 uml语言 服务器 浏览器
在线阅读 下载PDF
一种从UML模型到可靠性分析模型的转换方法 被引量:21
18
作者 柳毅 麻志毅 +1 位作者 何啸 邵维忠 《软件学报》 EI CSCD 北大核心 2010年第2期287-304,共18页
以构件化的软件开发方法为背景,提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法.该方法基于构件化的软件体系结构,从UML的用况图、顺序图、活动图和构件图出发,对其进行扩展,在模型中标注了可靠性分析所需的信息.在此基... 以构件化的软件开发方法为背景,提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法.该方法基于构件化的软件体系结构,从UML的用况图、顺序图、活动图和构件图出发,对其进行扩展,在模型中标注了可靠性分析所需的信息.在此基础上,通过构造一个称为构件转移图的中间模型,将标注了可靠性信息的UML模型转换为Markov链.该方法产生的结果能够直接作为现有可靠性相关的数学分析方法的输入,从而使可靠性分析工作变得更加方便、高效. 展开更多
关键词 基于构件的软件开发 软件可靠性 uml 模型转换 MARKOV链
在线阅读 下载PDF
基于UML和Petri网的层次建模分析方法 被引量:15
19
作者 江金龙 周献中 +1 位作者 孙勇成 徐延勇 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第2期290-293,300,共5页
提出一种新的UML和Petri网结合方式的建模分析方法。该方法采用从上到下的层次分析方法,用扩展的UML模型对系统组织结构和系统的静态特征进行描述,用扩展的Petri网模型描述和分析系统动态特性,通过转化规则将Petri网模型转化成相应的状... 提出一种新的UML和Petri网结合方式的建模分析方法。该方法采用从上到下的层次分析方法,用扩展的UML模型对系统组织结构和系统的静态特征进行描述,用扩展的Petri网模型描述和分析系统动态特性,通过转化规则将Petri网模型转化成相应的状态图和序列图,然后集成所有的UML模型,通过RationalRose等软件来实现代码。最后通过该方法,对一个FMS进行了建模分析。 展开更多
关键词 uml PETRI网 层次分析 FMS
在线阅读 下载PDF
UML现存的问题和发展道路 被引量:22
20
作者 邵维忠 蒋严冰 麻志毅 《计算机研究与发展》 EI CSCD 北大核心 2003年第4期509-516,共8页
自从 1997年OMG采纳UML作为其标准建模语言以来 ,UML受到计算机各界人士的普遍关注 ,得到了广泛的应用 ,并在世界范围内形成了其事实上的建模规范的地位 但也无时无刻不受到来自用户、工具开发商、学者和教学者从不同角度的批评 UML先... 自从 1997年OMG采纳UML作为其标准建模语言以来 ,UML受到计算机各界人士的普遍关注 ,得到了广泛的应用 ,并在世界范围内形成了其事实上的建模规范的地位 但也无时无刻不受到来自用户、工具开发商、学者和教学者从不同角度的批评 UML先后进行了 3次修订 (1 3,1 4和 2 0 ) ,目前计算机各界人士对UML提出了各种意见 ,并将重点放在目前公认的几个问题上 :精简、定义核心。 展开更多
关键词 面向对象 语法 语义 uml 统一建模语言 计算机
在线阅读 下载PDF
上一页 1 2 89 下一页 到第
使用帮助 返回顶部