期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到827篇文章
< 1 2 … 42 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于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
基于UMCS树的UML类图的混合相似性度量 被引量：1
3
作者 袁中臣 马宗民 《计算机应用》 CSCD 北大核心 2024年第3期883-889,共7页
软件重用是基于给定条件从存储库中检索以前开发的软件产品,检索基于相似性度量。UML(Unified Modeling Language)类图被广泛应用于软件设计,UML类图重用作为软件设计重用的核心而备受关注。因此,对UML类图的相似性开展研究。类图包含... 软件重用是基于给定条件从存储库中检索以前开发的软件产品,检索基于相似性度量。UML(Unified Modeling Language)类图被广泛应用于软件设计,UML类图重用作为软件设计重用的核心而备受关注。因此,对UML类图的相似性开展研究。类图包含语义和结构信息。目前,UML类图的相似性研究主要集中在语义,也有个别讨论结构相似性,但没有考虑将语义和结构相结合。因此,提出一种结合语义和结构的混合相似性度量。鉴于UML类图的非形式化特征,将UML类图转换成图模型,搜索最大公共子图列表,构建了最大公共子图树,提出一个基于最大公共子图序列的混合相似性度量方法。针对概念公共子图和结构公共子图分别定义了语义匹配和结构匹配,并开展了相似性对比和基于相似性的分类质量比较实验,实验结果验证了所提出方法的优势。 展开更多
关键词 uml类图 模型转换 混合相似性 最大公共子图树 语义匹配 结构匹配
在线阅读 下载PDF
新型电力系统下电力二次系统仿真的设计方法
4
作者 何瑞文 陆嘉亮 +2 位作者 杨长鑫 彭浩 MOHAMMAD Shahidehpour 《上海交通大学学报》 北大核心 2025年第10期1419-1430,共12页
在新形势下,为匹配新型电力系统需求,亟需对信息高度共享且需实时决策的电力二次系统进行建模与仿真.本文首次提出关联电力一次系统运行状态以实现电力二次系统仿真的设计方法.以功能描述复杂的智能变电站二次系统为研究对象,提出电力... 在新形势下,为匹配新型电力系统需求,亟需对信息高度共享且需实时决策的电力二次系统进行建模与仿真.本文首次提出关联电力一次系统运行状态以实现电力二次系统仿真的设计方法.以功能描述复杂的智能变电站二次系统为研究对象,提出电力一次与二次系统仿真的关联方法,阐明其仿真实现框架、数据交互方法及数据同步管理,从而将一次系统的实际电气量数据传导至二次侧,解决二次系统仿真数据源问题.然后,进一步提出电力二次系统的仿真设计方法,基于面向对象统一建模语言(UML)提出其系统级交互设计、元件级类设计和模块级状态设计的方法,从而解析电气量数据在二次系统的传输交互处理转换全流程.最后,以220/110/10kV主变间隔110kV侧出口处短路故障场景为算例,结合主变差动保护方案,仿真验证所提方法的有效性. 展开更多
关键词 新型电力系统 电力信息物理系统 电力二次系统 数据同步管理 统一建模语言
在线阅读 下载PDF
基于UML的工作流建模 被引量：25
5
作者 方进 王铁成 +1 位作者 石志宽 谢俊元 《计算机工程与设计》 CSCD 2004年第9期1572-1575,共4页
工作流模型是对工作流的抽象表示,也就是对经营过程的抽象表示。由于工作流需要在计算机环境下运行,因此建立相应的工作流模型是必不可少的。传统的工作流建模方法存在着复杂、僵化、缺乏反馈等缺点,在分析了传统工作流建模的不足之处... 工作流模型是对工作流的抽象表示,也就是对经营过程的抽象表示。由于工作流需要在计算机环境下运行,因此建立相应的工作流模型是必不可少的。传统的工作流建模方法存在着复杂、僵化、缺乏反馈等缺点,在分析了传统工作流建模的不足之处的基础上,结合工作流公共数学描述,提出了基于UML的工作流建模方法,并详细分析了它对传统工作流建模的改进。 展开更多
关键词 工作流建模 uml 工作流模型 表示 细分 计算机环境 经营过程 僵化 复杂 数学描述
在线阅读 下载PDF
一种从UML模型到可靠性分析模型的转换方法 被引量：21
6
作者 柳毅 麻志毅 +1 位作者 何啸 邵维忠 《软件学报》 EI CSCD 北大核心 2010年第2期287-304,共18页
以构件化的软件开发方法为背景,提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法.该方法基于构件化的软件体系结构,从UML的用况图、顺序图、活动图和构件图出发,对其进行扩展,在模型中标注了可靠性分析所需的信息.在此基... 以构件化的软件开发方法为背景,提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法.该方法基于构件化的软件体系结构,从UML的用况图、顺序图、活动图和构件图出发,对其进行扩展,在模型中标注了可靠性分析所需的信息.在此基础上,通过构造一个称为构件转移图的中间模型,将标注了可靠性信息的UML模型转换为Markov链.该方法产生的结果能够直接作为现有可靠性相关的数学分析方法的输入,从而使可靠性分析工作变得更加方便、高效. 展开更多
关键词 基于构件的软件开发 软件可靠性 uml 模型转换 MARKOV链
在线阅读 下载PDF
基于ARENA的UML建模及其在飞行保障中的应用 被引量：12
7
作者 方绍强 卫克 +2 位作者 陈伟鹏 赵尚弘 李勇军 《系统仿真学报》 CAS CSCD 北大核心 2008年第11期3020-3023,3027,共5页
航空兵场站飞行保障是一个复杂的动态过程。结合Arena与UML两种工具的优点,利用UML建立了航空兵场站飞行保障过程模型,包括飞行保障过程的类图、状态图和活动图。并构建了CMV(模型-视图-控制)仿真软件架构。并对CMV进行了详细阐述。利用... 航空兵场站飞行保障是一个复杂的动态过程。结合Arena与UML两种工具的优点,利用UML建立了航空兵场站飞行保障过程模型,包括飞行保障过程的类图、状态图和活动图。并构建了CMV(模型-视图-控制)仿真软件架构。并对CMV进行了详细阐述。利用Arena对CMV架构进行了程序实现。按照主动保障和被动保障两种策略分别对UML模型进行了仿真。仿真结果表明,在现有保障装备的基础上,通过优化保障流程可以较大的提高场站的飞行保障效能。 展开更多
关键词 飞行保障过程 统一建模语言(uml) 建模 仿真
在线阅读 下载PDF
基于UML的组件建模研究 被引量：9
8
作者 张海波 段会川 +1 位作者 李亚伟 姚进 《计算机工程与应用》 CSCD 北大核心 2004年第1期116-118,共3页
首先分析了目前组件开发中存在的一些缺陷和不足,然后提出了一种基于UML的组件建模方法,对组件建模过程进行了探讨,最后给出了一个文件网络传输组件(FTCN)建模实例。
关键词 组件 uml 建模技术
在线阅读 下载PDF
基于UML的WEB应用系统建模方法的研究 被引量：36
9
作者 邓勇 丁峰 沈钧毅 《计算机工程与应用》 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的Wiki系统设计与实现 被引量：6
10
作者 李学俊 李龙澍 +1 位作者 程慧霞 徐怡 《计算机科学》 CSCD 北大核心 2007年第7期251-253,274,共4页
目前Wiki系统处于初始发展阶段,各种应用系统具有不同的功能和特点,并没有统一的标准。为了建立标准的Wiki系统,本文将面向对象建模语言UML引入Wiki系统的设计和实现过程中,采用Rational Rose 2003建立其功能需求模型、数据模型和Web模... 目前Wiki系统处于初始发展阶段,各种应用系统具有不同的功能和特点,并没有统一的标准。为了建立标准的Wiki系统,本文将面向对象建模语言UML引入Wiki系统的设计和实现过程中,采用Rational Rose 2003建立其功能需求模型、数据模型和Web模型。建模语言的标准化和Wiki系统模型,提高了Wiki系统的软件重用和开发效率,并有利于Wiki系统的标准化和多样性。 展开更多
关键词 维基 WIKI系统 统一建模语言 建模
在线阅读 下载PDF
基于UML的CMS系统设计与实现 被引量：9
11
作者 黄炜 李龙澍 +1 位作者 李学俊 林胜华 《计算机工程与设计》 CSCD 北大核心 2009年第5期1249-1251,1254,共4页
为了建立标准、通用、适用面广的CMS系统,将面向对象建模语言UML引入CMS系统的设计,采用UML语言建立功能需求模型、静态模型、动态模型,抽象出CMS系统的共同功能特征,可以提高CMS系统的开发效率和软件重用,促进CMS系统的研究和应用。最... 为了建立标准、通用、适用面广的CMS系统,将面向对象建模语言UML引入CMS系统的设计,采用UML语言建立功能需求模型、静态模型、动态模型,抽象出CMS系统的共同功能特征,可以提高CMS系统的开发效率和软件重用,促进CMS系统的研究和应用。最后采用Rational Rose工具实现CMS系统设计模型,同时结合.NET技术特色实现MVC设计模式,采用效率高的面向对象的方法来创建动态应用程序,提升系统结构优化和系统安全性。 展开更多
关键词 CMS系统 统一建模语言 建模 MVC设计模式 安全性
在线阅读 下载PDF
基于UML的嵌入式系统模型验证机制的研究 被引量：8
12
作者 石柯 阳富民 胡贯荣 《计算机工程与应用》 CSCD 北大核心 2001年第23期111-113,116,共4页
随着嵌入式系统在各个领域的广泛应用,嵌入式系统变得越来越复杂,研究一种支持嵌入式系统从分析、设计、验证到编码这一整个开发过程的模型系统及建模方法变得越来越重要。UML(UnifiedModelingLanguage,统一建模语言)作为面向对象的分... 随着嵌入式系统在各个领域的广泛应用,嵌入式系统变得越来越复杂,研究一种支持嵌入式系统从分析、设计、验证到编码这一整个开发过程的模型系统及建模方法变得越来越重要。UML(UnifiedModelingLanguage,统一建模语言)作为面向对象的分析与设计技术的代表,已经获得了广泛的承认,并在多个领域中有成功的应用。然而,UML是一种符号化语言系统,其语义采用自然语言描述,没有完全形式化,无法精确和严格地描述模型的行为从而实现模型的验证。为了解决这个问题,文章提出了一种用于嵌入式系统UML模型验证的方法,其核心是可执行(Executable)UML,它是UML的增强性子集,采用与UML相同的符号表示法,并集成了状态图(StateChart)所用的形式化语义定义。嵌入式系统的UML模型经过语义分析能够很方便地生成可执行UML模型,并实现系统模型的验证。 展开更多
关键词 嵌入式系统 uml 模型验证 面向对象 软件开发
在线阅读 下载PDF
UML Statechart图的操作语义 被引量：22
13
作者 李留英 王戟 齐治昌 《软件学报》 EI CSCD 北大核心 2001年第12期1864-1873,共10页
面向对象标准建模语言 UML(unified modeling language)缺乏精确的动态语义 .根据 UML1.1语义文档 ,提出描述对象状态机的 UML Statechart图的形式化操作语义 .该语义覆盖了 UML Statechart图的绝大部分特征 ,为 UML Statechart图的代... 面向对象标准建模语言 UML(unified modeling language)缺乏精确的动态语义 .根据 UML1.1语义文档 ,提出描述对象状态机的 UML Statechart图的形式化操作语义 .该语义覆盖了 UML Statechart图的绝大部分特征 ,为 UML Statechart图的代码产生、模拟和测试用例生成奠定了基础 .根据上述语义 ,基于 Rose98完成了UML Statechart图的测试用例生成和测试过程的模拟 . 展开更多
关键词 操作语义 uml语言 Statechart图 软件测试 软件开发
在线阅读 下载PDF
基于扩展UML活动图的工作流模型研究 被引量：10
14
作者 申利民 隋峰 +1 位作者 白莲 李峰 《计算机应用研究》 CSCD 北大核心 2009年第2期587-590,共4页
针对目前工作流管理系统在表达能力和适应性方面存在的问题,在给出三层工作流过程元模型的基础上,提出了基于扩展UML活动图的工作流建模方法,扩展了多实例、条件路由和协调节点等建模元素,描述了扩展建模元素的定义、路由结构和建模规... 针对目前工作流管理系统在表达能力和适应性方面存在的问题,在给出三层工作流过程元模型的基础上,提出了基于扩展UML活动图的工作流建模方法,扩展了多实例、条件路由和协调节点等建模元素,描述了扩展建模元素的定义、路由结构和建模规则。应用模型实例表明,此方法增强了模型描述能力,在模型适应性和柔性方面具有明显的优势。 展开更多
关键词 元模型 统一建模语言 活动图 工作流建摸 适应性
在线阅读 下载PDF
UMLStatecharts的模型检验方法 被引量：40
15
作者 董威 王戟 齐治昌 《软件学报》 EI CSCD 北大核心 2003年第4期750-756,共7页
统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁... 统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性.对于具有无穷运行的系统,该操作语义可以映射到一个Bchi自动机.使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质,并给出方法验证由Statecharts和协同图建模的复杂多对象系统. 展开更多
关键词 umlStatecharts 模型检验方法 软件开发 统一建模语言
在线阅读 下载PDF
基于UML的XML建模方法 被引量：11
16
作者 张志 赵文耘 李川 《计算机工程》 CAS CSCD 北大核心 2003年第8期195-196,F003,共3页
针对由业务模型直接定义XML Schema存在较多的困难，提出了一种把UML技术用于XML Schema建模的方法。该方法通过领域建模定义了3层模型，即概念层模型、逻辑层模型和实现层模型，分别对应于业务模型的分析、设计及实现阶段，并对各层模... 针对由业务模型直接定义XML Schema存在较多的困难，提出了一种把UML技术用于XML Schema建模的方法。该方法通过领域建模定义了3层模型，即概念层模型、逻辑层模型和实现层模型，分别对应于业务模型的分析、设计及实现阶段，并对各层模型之间的转换方法进行了有效的探讨。 展开更多
关键词 可扩展标记语言 统一建模语言 模式 建模
在线阅读 下载PDF
基于UML的EJB组件建模方法的研究 被引量：4
17
作者 吕智林 苏德富 郑宇 《计算机应用研究》 CSCD 北大核心 2002年第2期46-48,共3页
UML统一建模语言已受到工业界广泛的关注 ,但采用UML对分布式组件进行建模没有统一的标准。研究了一种如何使用UML的扩展机制为EJB组件建模的方法 ,使之更适合反映分布式处理。
关键词 uml 建模 分布式组件 EJB组件 面向对象 软件工程
在线阅读 下载PDF
UML建模在常住人口管理信息系统开发中的应用 被引量：12
18
作者 王红燕 陈志刚 曾志文 《计算机工程与应用》 CSCD 北大核心 2002年第19期238-240,249,共4页
统一建模语言UML(UnifiedModelingLanguage)是面向对象软件开发方法的重要技术。该文在介绍UML的基础上,以常住人口管理信息系统的建模作为实际例子,描述了通过UML来进行静态建模和动态建模的详细过程。
关键词 建模 常住人口 管理信息系统 uml语言 软件开发 面向对象 公安厅
在线阅读 下载PDF
UML 软件开发过程和支持环境研究 被引量：33
19
作者 张莉 葛科 +1 位作者 王云 周伯生 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1998年第4期407-410,共4页
从当前对软件工程过程的需求出发，结合软件工程领域的最新成果统一建模语言ＵＭＬ（ＵｎｉｆｉｅｄＭｏｄｅｌｉｎｇＬａｎｇｕａｇｅ），重点讨论了适应需求变化的迭代式软件开发过程，提出了柔性软件开发模型．在此研究的基础上，设... 从当前对软件工程过程的需求出发，结合软件工程领域的最新成果统一建模语言ＵＭＬ（ＵｎｉｆｉｅｄＭｏｄｅｌｉｎｇＬａｎｇｕａｇｅ），重点讨论了适应需求变化的迭代式软件开发过程，提出了柔性软件开发模型．在此研究的基础上，设计了集成化ＵＭＬ软件开发环境的框架，指出其组成应包括ＵＭＬ可视化建模系统、ＵＭＬ模拟系统、ＵＭＬ代码生成系统和ＵＭＬ逆向变换系统４个部分，并提出了需要解决的问题． 展开更多
关键词 软件工具 uml 建模语言 柔性软件开发
在线阅读 下载PDF
UML模型和Java代码之间的一致性检测方法 被引量：6
20
作者 曾一 李函逾 +2 位作者 刘慧君 余双双 周波 《计算机科学》 CSCD 北大核心 2015年第4期151-155,共5页
针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法。首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序... 针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法。首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对Java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG;然后设计了UML模型与Java源代码间一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测;最后,通过开发UML模型与Java源代码一致性检测工具,验证了所提出的方法是可行有效的。 展开更多
关键词 uml模型 JAVA代码 时序调用图 方法调用图 一致性检测
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 42 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部