期刊文献+
共找到161篇文章
< 1 2 9 >
每页显示 20 50 100
Software Architecture for Modeling and Simulation of Underwater Acoustic Information Systems
1
作者 王希敏 蔡志明 《Defence Technology(防务技术)》 SCIE EI CAS 2009年第1期52-59,共8页
The simulation of underwater acoustic information flow is an important way to research sonar performance and its engagement effectiveness in the ocean environment.This paper analyzes the significance of modeling an op... The simulation of underwater acoustic information flow is an important way to research sonar performance and its engagement effectiveness in the ocean environment.This paper analyzes the significance of modeling an open and sophisticated simulation software architecture by object-oriented method,and introduces the modeling processes and expression method of simulation architecture.According to the requirements of simulation system and the underwater acoustic information flow,the logical architecture of simulation software system is modeled by the object-oriented method.A use-case view captured the system requirements.The logical view shows the logical architecture of software system.The simulation software is decomposed into the loose coupling constituent parts by layering and partitioning the packages for maintainability.The design patterns enabled the simulation software to have good expansibility and reusability.The simulation system involving multi-targets and multi-sonar is developed based on the architecture model.Practices show that the model meets the needs for simulating an open and sophisticated system. 展开更多
关键词 体系结构建模 软件体系结构 仿真系统 信息系统 水下 逻辑结构 面向对象 软件系统
在线阅读 下载PDF
UML 软件开发过程和支持环境研究 被引量:33
2
作者 张莉 葛科 +1 位作者 王云 周伯生 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1998年第4期407-410,共4页
从当前对软件工程过程的需求出发,结合软件工程领域的最新成果统一建模语言UML(UnifiedModelingLanguage),重点讨论了适应需求变化的迭代式软件开发过程,提出了柔性软件开发模型.在此研究的基础上,设... 从当前对软件工程过程的需求出发,结合软件工程领域的最新成果统一建模语言UML(UnifiedModelingLanguage),重点讨论了适应需求变化的迭代式软件开发过程,提出了柔性软件开发模型.在此研究的基础上,设计了集成化UML软件开发环境的框架,指出其组成应包括UML可视化建模系统、UML模拟系统、UML代码生成系统和UML逆向变换系统4个部分,并提出了需要解决的问题. 展开更多
关键词 软件工具 uml 建模语言 柔性软件开发
在线阅读 下载PDF
基于UML模型的用户界面自动生成
3
作者 董泽华 蒋建民 +2 位作者 李朝江 何清 马国栋 《计算机工程与设计》 北大核心 2025年第4期1208-1218,共11页
为解决传统低代码平台无法全自动生成用户界面的缺陷,保证生成用户界面过程中的一致性、正确性、完整性,提出一种基于UML模型的用户界面自动生成方法。将领域概念模型和用例模型作为系统需求,结合形式化方法,开发用户界面自动生成算法... 为解决传统低代码平台无法全自动生成用户界面的缺陷,保证生成用户界面过程中的一致性、正确性、完整性,提出一种基于UML模型的用户界面自动生成方法。将领域概念模型和用例模型作为系统需求,结合形式化方法,开发用户界面自动生成算法。为保证系统需求与用户界面之间的一致性,满足高可信软件的要求,提出一致性分析与检测方法。不同于传统低代码开发平台的拖、拉、拽操作方式,只需要建立软件系统领域概念模型和用例模型,即可全自动生成用户界面。以实例验证了该方法的可行性。 展开更多
关键词 uml模型 用户界面 形式化方法 低代码开发平台 模型驱动工程 一致性 高可信软件
在线阅读 下载PDF
基于UML活动图模型生成测试场景的设计 被引量:18
4
作者 刘敏 金茂忠 刘超 《计算机工程与应用》 CSCD 北大核心 2002年第12期122-124,共3页
文章旨在研究运用可视化面向对象建模技术UML中的活动图生成测试场景方法和依据场景进行测试用例自动生成的方法。这种方法不仅适合于软件系统的测试,同时也适用于软件设计阶段的对软件需求和设计模型的测试和验证。文中首先确定一系列... 文章旨在研究运用可视化面向对象建模技术UML中的活动图生成测试场景方法和依据场景进行测试用例自动生成的方法。这种方法不仅适合于软件系统的测试,同时也适用于软件设计阶段的对软件需求和设计模型的测试和验证。文中首先确定一系列覆盖准则,根据准则制定活动图的一般处理思路,然后针对活动图中并发结构、对象流、信号流提出相应处理方法,最后反推出作图的一些假定条件,以及在场景基础上生成测试用例的一些设计构想。 展开更多
关键词 uml 活动图 模型 测试场景 设计 软件测试 软件工作
在线阅读 下载PDF
基于RUP的UML建模方法研究 被引量:14
5
作者 常晓 王凤霞 +1 位作者 张景 李军怀 《计算机工程与应用》 CSCD 北大核心 2004年第21期126-130,共5页
文章介绍了基于RUP应用UML进行系统分析、设计,建立系统模型的简洁方法。文中通过对一个研究生综合管理系统的建模过程,给出了该方法的应用细节,并对该方法进行了验证。实践表明,在基于RUP以体系结构为中心的建模方法指导下,应用UML语... 文章介绍了基于RUP应用UML进行系统分析、设计,建立系统模型的简洁方法。文中通过对一个研究生综合管理系统的建模过程,给出了该方法的应用细节,并对该方法进行了验证。实践表明,在基于RUP以体系结构为中心的建模方法指导下,应用UML语言丰富的可视化表达元素,可以清晰、快速地定义出面向对象的软件系统模型。 展开更多
关键词 uml RUP 面向对象 软件体系结构
在线阅读 下载PDF
基于软件体系结构和UML的图书管理系统设计与实现 被引量:16
6
作者 戎玫 张广泉 刘艳 《计算机科学》 CSCD 北大核心 2005年第6期224-227,共4页
软件体系结构是目前软件工程领域一个新兴的研究方向,对于复杂的软件系统而言,其体系结构的设计已经成为系统能否成功的一个关键因素。本文以一个图书管理系统为例,采用统一建模语言UML对该系统体系结构建模,并通过VB来实现该系统。
关键词 图书管理系统 软件体系结构 设计与实现 统一建模语言uml 研究方向 工程领域 软件系统 结构建模 系统体系 VB
在线阅读 下载PDF
UML技术在实际工程中的应用 被引量:9
7
作者 汪成亮 张聪 张勤 《计算机工程与应用》 CSCD 北大核心 2002年第1期121-124,共4页
UML(标准建模语言)是面向对象技术一个重要应用,也是近代软件工程环境中对象分析和设计的重要工具。该文首先介绍了UML的基本内容,然后结合课题的分析设计过程对UML技术的具体应用做了详细的描述。
关键词 uml 面向对象 软件工程 软件体系结构
在线阅读 下载PDF
一种UML软件架构性能预测方法及其自动化研究 被引量:17
8
作者 李传煌 王伟明 施银燕 《软件学报》 EI CSCD 北大核心 2013年第7期1512-1528,共17页
软件性能需求作为软件质量需求的重要组成部分,已受到人们极大的重视.而只在软件开发周期后期才重点关注软件性能需求的传统软件开发方法,将给开发者带来高风险和高成本等后果.如果能在软件开发周期的早期对软件系统性能进行预测,可以... 软件性能需求作为软件质量需求的重要组成部分,已受到人们极大的重视.而只在软件开发周期后期才重点关注软件性能需求的传统软件开发方法,将给开发者带来高风险和高成本等后果.如果能在软件开发周期的早期对软件系统性能进行预测,可以提前发现软件系统架构存在的性能瓶颈,并找出可能的优化方案,对各种设计方案进行比较以得出最优的软件系统架构.研究了一种基于模型的UML软件架构性能预测方法:该方法选取软件架构设计中的UML用例图、活动图和构件图,并引入构造型和标记值,将它们扩展为UML SPT模型;进而,通过转换算法将UML SPT模型转换为排队网络模型,该算法可处理同时包含分支节点和汇合节点的UML模型活动图;最后,利用频域分析理论求解排队网络模型,以得出性能参数及性能瓶颈.同时介绍了UML软件架构性能自动化工具的设计方案,并给出了软件架构性能预测实例. 展开更多
关键词 性能预测 软件架构 uml 排队网络
在线阅读 下载PDF
基于UML实时扩展的嵌入式软件测试用例生成技术 被引量:11
9
作者 殷永峰 郑本焘 +1 位作者 陆民燕 倪红英 《系统工程与电子技术》 EI CSCD 北大核心 2011年第3期694-699,共6页
将统一建模语言(unified modeling language,UML)和对象约束语言(object constraint language,OCL)引入嵌入式软件测试领域,首先提出了一种基于UML实时扩展的嵌入式软件测试建模过程。然后,给出了UML状态图和类图的实时扩展方法。最后,... 将统一建模语言(unified modeling language,UML)和对象约束语言(object constraint language,OCL)引入嵌入式软件测试领域,首先提出了一种基于UML实时扩展的嵌入式软件测试建模过程。然后,给出了UML状态图和类图的实时扩展方法。最后,结合航空电子系统嵌入式软件测试用例生成过程,详细阐述了被测系统的静态和动态建模,提出了扩展的测试序列定义及其生成方法,最终将所生成测试用例采用扩展标记语言(extensible markup language,XML)格式存储。工程应用验证表明,上述方法可充分发挥UML作为工业标准的工具资源优势,提高嵌入式软件测试用例生成的准确性、有效性和自动化程度。 展开更多
关键词 软件工程 自动化测试 统一建模语言 嵌入式软件 测试用例
在线阅读 下载PDF
基于UML的软件体系结构建模方法的研究 被引量:12
10
作者 邓勇 丁峰 沈钧毅 《小型微型计算机系统》 CSCD 北大核心 2001年第10期1206-1209,共4页
软件体系结构是软件工程中的一个重要领域 .对软件体系结构的分析和设计已成为决定软件系统 (特别是大型软件系统 )成功的重要因素 .体系结构描述语言 ADL能以一种比较直接、精确的方式来描述软件体系结构 ,但它很难与主流开发方法集成 ... 软件体系结构是软件工程中的一个重要领域 .对软件体系结构的分析和设计已成为决定软件系统 (特别是大型软件系统 )成功的重要因素 .体系结构描述语言 ADL能以一种比较直接、精确的方式来描述软件体系结构 ,但它很难与主流开发方法集成 .U ML 是一种应用广泛的对象建模语言 ,已被工业界广泛接受 .本文介绍了一种 UML 与 ADL集成的方法 。 展开更多
关键词 uml 软件体系结构 建模 软件工程
在线阅读 下载PDF
基于UML的列车运行调度系统软件模型 被引量:6
11
作者 王宏刚 张一军 +2 位作者 张琦 王建英 王壮峰 《中国铁道科学》 EI CAS CSCD 北大核心 2005年第5期107-111,共5页
按照面向对象软件工程的思想,在对列车运行调度系统分析的基础上,对系统中各实体之间的静态关系和动态关系进行研究,并详细描述软件系统的分析和设计过程。基于UML建立软件系统的用例图、类结构图、序列图和状态转移图,从静态和动态两... 按照面向对象软件工程的思想,在对列车运行调度系统分析的基础上,对系统中各实体之间的静态关系和动态关系进行研究,并详细描述软件系统的分析和设计过程。基于UML建立软件系统的用例图、类结构图、序列图和状态转移图,从静态和动态两个角度描述调度系统的软件模型。用例图从用户的角度描述系统的功能;类结构图指明系统中存在的类以及类之间的静态关系,描述系统的静态模型;序列图着重描述控制流在对象之间的流动过程,状态转移图描述对象的转移过程以及状态变化的条件。序列图和状态转移图从不同的角度描述系统的动态行为,建立系统的动态模型。该模型已用VC++6.0实现,并在高速铁路综合调度仿真系统中得到应用。 展开更多
关键词 列车运行调度 uml 软件模型 面向对象 软件工程
在线阅读 下载PDF
基于UML的软件体系结构开发方法 被引量:25
12
作者 马重明 张学旺 范时平 《计算机工程与应用》 CSCD 北大核心 2006年第4期118-120,148,共4页
模型间的平稳过渡是软件系统开发的关键。然而,通常基于UML的软件系统的四种模型中,从用例分析模型到其它设计模型之间存在一条很难逾越的鸿沟。本文通过引入软件体系结构模型,提出了基于UML的软件体系结构开发方法,改进了模型间的平稳... 模型间的平稳过渡是软件系统开发的关键。然而,通常基于UML的软件系统的四种模型中,从用例分析模型到其它设计模型之间存在一条很难逾越的鸿沟。本文通过引入软件体系结构模型,提出了基于UML的软件体系结构开发方法,改进了模型间的平稳过渡问题。为了表明这个方法的可用性和有效性,我们陈述了库存管理系统应用的案例研究。 展开更多
关键词 统一建模语言 软件体系结构 平稳过渡 用例 库存管理系统
在线阅读 下载PDF
基于UML的软件结构规范与精化 被引量:5
13
作者 孙猛 杨红丽 +1 位作者 张乃孝 裘宗燕 《北京大学学报(自然科学版)》 EI CAS CSCD 北大核心 2007年第1期1-10,共10页
提出利用UML表示软件体系结构不同的视,表明了UML可以用于建模软件结构。UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型。还讨论了软件结构规范的精化问题,该精化过程可以保留系统需要的... 提出利用UML表示软件体系结构不同的视,表明了UML可以用于建模软件结构。UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型。还讨论了软件结构规范的精化问题,该精化过程可以保留系统需要的属性。 展开更多
关键词 软件结构 规范 精化 CSP uml
在线阅读 下载PDF
基于UML状态机与B方法的高可信嵌入式软件开发 被引量:6
14
作者 肖健宇 张德运 +1 位作者 陈海诠 董皓 《计算机工程》 EI CAS CSCD 北大核心 2006年第8期64-66,共3页
提出了一套集成UML与B方法开发高可信嵌入式软件的实用方案:以软件的UML状态机模型为起点,将其转换为B抽象模型并在B工具中验证该模型的一致性,然后遵循B模型逐步精化的开发规则,利用B方法的精化正确性验证功能,得到系统的可靠的实现模... 提出了一套集成UML与B方法开发高可信嵌入式软件的实用方案:以软件的UML状态机模型为起点,将其转换为B抽象模型并在B工具中验证该模型的一致性,然后遵循B模型逐步精化的开发规则,利用B方法的精化正确性验证功能,得到系统的可靠的实现模型,最后借助B工具自动生成C代码。实例分析表明,这套方法可以提高高可信嵌入式软件的开发验证效率。给出了嵌入式软件设计中常用的UML并发状态图到B抽象模型的转换规则。 展开更多
关键词 B方法 形式化方法 uml状态机 嵌入式软件 高可信软件工程
在线阅读 下载PDF
一种利用UML的Petri网软件实现方法 被引量:8
15
作者 方丁 郝东 林琳 《计算机应用》 CSCD 北大核心 2004年第9期132-135,共4页
Petri网既是一种图形化建模工具 ,又是一种形式化数学工具。Petri网具有对并发、并行、分布、异步系统进行验证仿真的能力。但是 ,Petri网是用来描述和分析要开发的系统模型的工具 ,不是计算机的实现工具 ,必须要通过一定的方法才能将Pe... Petri网既是一种图形化建模工具 ,又是一种形式化数学工具。Petri网具有对并发、并行、分布、异步系统进行验证仿真的能力。但是 ,Petri网是用来描述和分析要开发的系统模型的工具 ,不是计算机的实现工具 ,必须要通过一定的方法才能将Petri网用软件来实现。由于UML(统一建模语言 )具有友善的用户界面 ,易于编程实现 ,故提出一种利用UML作为过渡的Petri网软件实现方法。 展开更多
关键词 PETRI网 uml 软件工程
在线阅读 下载PDF
一种基于UML的信息系统需求分析方法 被引量:6
16
作者 徐建民 刘进坡 邵艳华 《河北大学学报(自然科学版)》 CAS 北大核心 2005年第2期207-211,共5页
针对目前信息系统开发中,需求分析经常遇到的难题,提出了一种基于UML的信息系统需求分析方法,给出了一个需求分析框架,通过活动图技术来对业务流程建模,用对象图模型、状态图模型、交互图模型来构造系统的领域模型.讨论了业务建模、用... 针对目前信息系统开发中,需求分析经常遇到的难题,提出了一种基于UML的信息系统需求分析方法,给出了一个需求分析框架,通过活动图技术来对业务流程建模,用对象图模型、状态图模型、交互图模型来构造系统的领域模型.讨论了业务建模、用例的提取、用例的集成等关键技术的实施步骤,使该方法具有更强的可操作性. 展开更多
关键词 统一建模语言 信息系统 需求分析 框架 软件工程
在线阅读 下载PDF
UML类图层次化自动布图算法 被引量:7
17
作者 王晓博 王欢 刘超 《软件学报》 EI CSCD 北大核心 2009年第6期1487-1498,共12页
UML类图能够有效地帮助软件工程师理解大规模的软件系统,而优化图元的空间布局可以增强类图的可读性和可理解性.由于类图中继承关系具有明显的层次特性,因此类图自动布局大多采用层次化的布图算法.此外,类图布局需要考虑相关的领域知识... UML类图能够有效地帮助软件工程师理解大规模的软件系统,而优化图元的空间布局可以增强类图的可读性和可理解性.由于类图中继承关系具有明显的层次特性,因此类图自动布局大多采用层次化的布图算法.此外,类图布局需要考虑相关的领域知识以及绘制准则,因而通用嵌套有向图层次化布局算法不能直接用于类图的绘制,它们必须加以扩展.但是,已有的类图层次化方法并没有考虑类图中图元的嵌套关系,这将导致自动布局方法不能处理类图中包与类、接口之间的包含关系.在考虑图绘制美学、UML类图绘制以及软件可视化等相关知识的基础上,选取了一组布图准则并分析了嵌套关系在层次分配、层内排序和坐标分配中引入的约束,通过在层次化方法的主要步骤中引入嵌套约束,提出了嵌套有向图层次化布图算法.实验结果表明,扩展的布图算法能够适应于逆向类图的绘制,它具有层次清晰、支持图元嵌套、交叉数目少以及占用面积小等优点. 展开更多
关键词 布图算法 软件可视化 uml类图 逆向工程
在线阅读 下载PDF
基于UML的分布式软件体系结构中部件交互模式的复用 被引量:4
18
作者 贾楠 刘建宾 李小英 《计算机应用》 CSCD 北大核心 2002年第5期14-17,共4页
以客户 /服务器系统为例 ,说明基于UML的分布式软件体系结构中部件交互模式的复用技术。用UML中的类图描述了模式中的部件 ,用合作图描述了部件间的交互 ,同时也对同步方式、异步方式和代理通讯方式进行了建模。最后对前面所建模型进行... 以客户 /服务器系统为例 ,说明基于UML的分布式软件体系结构中部件交互模式的复用技术。用UML中的类图描述了模式中的部件 ,用合作图描述了部件间的交互 ,同时也对同步方式、异步方式和代理通讯方式进行了建模。最后对前面所建模型进行了实例化 。 展开更多
关键词 uml 分布式软件体系结构 部件交互模式 软件复用 软件开发
在线阅读 下载PDF
基于ArcGIS Engine的城镇土地定级估价系统 被引量:9
19
作者 冯涛 梁虹 +1 位作者 程满 刘蕊 《计算机工程与设计》 CSCD 北大核心 2007年第11期2733-2735,2739,共4页
结合多层软件架构技术,提出一种通用的多层次城镇土地定级估价系统体系框架,并以Arcgis Engine技术为核心,使用Java语言实现了城镇土地定级估价系统。讨论了系统构建过程中因素因子体系表、单元格划分等关键问题,为同类系统的开发提供... 结合多层软件架构技术,提出一种通用的多层次城镇土地定级估价系统体系框架,并以Arcgis Engine技术为核心,使用Java语言实现了城镇土地定级估价系统。讨论了系统构建过程中因素因子体系表、单元格划分等关键问题,为同类系统的开发提供了一套通用性强,开发成本低,易于维护和扩展的土地定级估价解决方案。 展开更多
关键词 地理信息系统 城镇土地定级估价 软件工程 多层体系架构 中间件
在线阅读 下载PDF
UML-RT到一个图形设计环境体系结构的映射 被引量:5
20
作者 刘晓燕 张云生 +1 位作者 J-J.Schwarz 李俊昌 《计算机科学》 CSCD 北大核心 2006年第6期280-283,共4页
为解决把UML-RT建模模型平滑过渡到实时系统的图形化的软构件设计开发环境的设计模型,本文提出了从UML-RT的结构模型映射到该环境下的体系结构模型的高层设计的映射方法。首先介绍UML-RT结构建模的概念及笔者研制的设计环境,其次给出从U... 为解决把UML-RT建模模型平滑过渡到实时系统的图形化的软构件设计开发环境的设计模型,本文提出了从UML-RT的结构模型映射到该环境下的体系结构模型的高层设计的映射方法。首先介绍UML-RT结构建模的概念及笔者研制的设计环境,其次给出从UML-RT映射到该设计环境体系结构模型的具体方法、约束和限制。 展开更多
关键词 uml-RT 图形化建模 软件体系结构 映射方法
在线阅读 下载PDF
上一页 1 2 9 下一页 到第
使用帮助 返回顶部