期刊文献+
共找到23篇文章
< 1 2 >
每页显示 20 50 100
UML-XML集成的敏捷虚拟企业资源建模方法 被引量:17
1
作者 张大勇 徐晓飞 王刚 《中国机械工程》 EI CAS CSCD 北大核心 2003年第5期395-398,共4页
通过扩展 UML给出了资源分类、资源的组织、产品结构和物流等敏捷虚拟企业资源模型的图形表示方法 ;定义了一个敏捷虚拟企业资源模型文档 DTD,作为敏捷虚拟企业资源模型的底层数据模型 ;给出了一个敏捷虚拟企业资源建模工具的设计。该... 通过扩展 UML给出了资源分类、资源的组织、产品结构和物流等敏捷虚拟企业资源模型的图形表示方法 ;定义了一个敏捷虚拟企业资源模型文档 DTD,作为敏捷虚拟企业资源模型的底层数据模型 ;给出了一个敏捷虚拟企业资源建模工具的设计。该方法不但明确提供了图形化的表示方法 ,而且考虑了底层数据模型等实现问题 ,适应敏捷虚拟企业资源建模工具开发的需求 。 展开更多
关键词 集成 资源建模 统一建模语言 可扩充标记语言 敏捷虚拟企业 AVE
在线阅读 下载PDF
基于UML模型和OCL约束的类间交互测试用例生成方法研究 被引量:5
2
作者 柴玉梅 冯秋燕 王黎明 《电子学报》 EI CAS CSCD 北大核心 2013年第6期1242-1248,共7页
面向对象所具有的类、封装、继承、动态连接等特性,使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想.本文针对面向对象软件的特点,采用基于模型的软件测试方法,对UML(United Model Language)设计模型中的顺序图添加O... 面向对象所具有的类、封装、继承、动态连接等特性,使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想.本文针对面向对象软件的特点,采用基于模型的软件测试方法,对UML(United Model Language)设计模型中的顺序图添加OCL(Object Constraints Language)约束,做类间交互的软件测试.本文提出执行图EG生成算法,将顺序图SD转换为执行图EG,解决UML2.0顺序图新增特性中的alt、loop、opt、break四种常见组合片段及其嵌套和多态性问题;为得到最小完备的测试路径,本文提出了EG的遍历策略和测试路径生成算法;最后,根据测试路径确定测试场景,并删除无效场景,生成测试用例.经实验验证,此方法可以基于UML顺序图与OCL约束进行系统地测试. 展开更多
关键词 uml 顺序图 OCL 执行图(EG) 测试场景 测试用例
在线阅读 下载PDF
基于UML的软件形式化需求分析与验证 被引量:12
3
作者 姚全珠 王江 《计算机工程》 CAS CSCD 北大核心 2010年第13期30-33,共4页
针对软件开发中传统的需求分析方法所存在的需求描述不完整、具有二义性和不一致性问题,提出一种形式化需求分析方法。介绍根据用户需求采用形式化方法获取软件需求说明书并设计软件的统一建模语言(UML)模型的过程,及对该UML模型进行形... 针对软件开发中传统的需求分析方法所存在的需求描述不完整、具有二义性和不一致性问题,提出一种形式化需求分析方法。介绍根据用户需求采用形式化方法获取软件需求说明书并设计软件的统一建模语言(UML)模型的过程,及对该UML模型进行形式化描述,采用形式化验证技术对形式化后的UML模型进行需求验证,以确保设计的UML模型的正确性。实验结果表明,形式化的需求分析方法克服了传统需求分析方法中存在的问题。 展开更多
关键词 需求分析 形式化方法 统一建模语言 需求验证
在线阅读 下载PDF
UML-PNs集成建模方法及其在虚拟企业中的应用 被引量:11
4
作者 勾红梅 黄必清 任守榘 《计算机集成制造系统-CIMS》 EI CSCD 2000年第5期23-28,共6页
虚拟企业是未来企业的重要组织形态 ,它的主要职能之一是执行分布、并行经营过程。本文致力于虚拟企业的经营过程建模研究 ,以面向对象的虚拟企业经营过程描述为基础 ,提出了集成标准建模语言和Petri网的虚拟企业经营过程建模方法———... 虚拟企业是未来企业的重要组织形态 ,它的主要职能之一是执行分布、并行经营过程。本文致力于虚拟企业的经营过程建模研究 ,以面向对象的虚拟企业经营过程描述为基础 ,提出了集成标准建模语言和Petri网的虚拟企业经营过程建模方法———UML -PNs集成建模方法。该方法提供了支持需求分析、模型描述和设计、模型分析和仿真 ,直至模型实现的一体化框架。最后 ,我们设计了旨在实现UML -PNs集成建模方法的系统平台。 展开更多
关键词 虚拟企业 uml-PNs 集成建模 经营过程
在线阅读 下载PDF
软件企业CMMI评估系统的UML建模、设计与实现 被引量:5
5
作者 毛超 林子禹 肖劲松 《计算机工程》 CAS CSCD 北大核心 2004年第7期62-63,143,共3页
描述了在软件企业CMMI评估系统开发中,使用UML这种面向系统并且支持系统开发全部过程的建模工具,完成了系统的分析与设计。并且给出了KP(Key Process)的量化标准,帮助企业有针对性地改进软件的开发过程。
关键词 统一建模语言 CMM 能力成熟度模型集成 评估 建模方法
在线阅读 下载PDF
基于动态描述逻辑的UML状态图形式化方法 被引量:6
6
作者 陈振庆 罗兰花 《计算机工程》 CAS CSCD 北大核心 2011年第13期55-57,60,共4页
统一建模语言(UML)状态图包括静态语义和动态语义。针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SHOIN(D)的语法和语义,设计UML状态图的DDL_SHOIN(D)形式化方法,研究状态图动作推理问题。给出状态图状... 统一建模语言(UML)状态图包括静态语义和动态语义。针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SHOIN(D)的语法和语义,设计UML状态图的DDL_SHOIN(D)形式化方法,研究状态图动作推理问题。给出状态图状态可达性和动作包含关系的定义,并证明其正确性。 展开更多
关键词 动态描述逻辑 统一建模语言状态图 形式化方法 动作推理
在线阅读 下载PDF
基于UML的COSMIC-FFP度量方法 被引量:3
7
作者 计春雷 谈叶勇 宋国新 《计算机工程》 CAS CSCD 北大核心 2010年第10期41-43,共3页
针对目前的软件规模度量方法中存在的主观性强、可重复性差的问题,通过将UML引入到度量过程中来改善当前的软件度量方法。分析UML主要部件(用例图、类图和时序图)的语义和COSMIC-FFP的主要元素(功能用户、层、边界、数据组和功能过程),... 针对目前的软件规模度量方法中存在的主观性强、可重复性差的问题,通过将UML引入到度量过程中来改善当前的软件度量方法。分析UML主要部件(用例图、类图和时序图)的语义和COSMIC-FFP的主要元素(功能用户、层、边界、数据组和功能过程),建立其间的对应关系,给出15条映射规则,同时还提出基于UML的COSMIC-FFP度量步骤。实例结果证明,该方法能客观有效地度量软件功能规模。 展开更多
关键词 功能规模度量 COSMIC-FFP度量方法 统一建模语言 映射规则
在线阅读 下载PDF
用UML和IDEF方法对软件开发进行建模 被引量:3
8
作者 郭海英 钟廷修 《计算机工程与应用》 CSCD 北大核心 2002年第4期105-107,171,共4页
文章介绍了可视化面向对象建模技术和IDEF结构化分析方法的基本概念和方法。并以锅炉CAD软件的开发为例,研究了这两种信息建模方法在软件开发中的应用,并对他们的特点进行了分析和比较。
关键词 软件开发 建模 可视化 面向对象 uml IDEF 锅炉 CAD
在线阅读 下载PDF
UML状态机模型元素的RSL形式化定义 被引量:4
9
作者 郭艳燕 刘惊雷 《计算机科学》 CSCD 北大核心 2013年第5期177-183,205,共8页
UML状态机作为UML动态描述机制的重要组成部分,在描述系统及模型的动态行为时扮演着重要的角色,但已有的UML动态语义缺乏准确的形式化描述。首先将UML状态机抽象成图;再将图通过传统的有穷自动机进行语义扩展,同时增加状态分层,形成一... UML状态机作为UML动态描述机制的重要组成部分,在描述系统及模型的动态行为时扮演着重要的角色,但已有的UML动态语义缺乏准确的形式化描述。首先将UML状态机抽象成图;再将图通过传统的有穷自动机进行语义扩展,同时增加状态分层,形成一个基于UML状态机的有穷自动机;然后用RAISE规约语言RSL对扩展后的自动机进行形式化定义,使UML状态机中的模型元素的语义更加清晰、精确,为后期的UML状态机的操作语义形式化研究打下基础。 展开更多
关键词 统一建模语言(uml ) 状态机 形式化方法 有穷自动机 RAISE规约语言(RSL)
在线阅读 下载PDF
结合UML和RAISE的软件开发方法研究 被引量:2
10
作者 明仲 《计算机工程》 CAS CSCD 北大核心 2001年第4期23-25,共3页
面向对象方法形象、直观、使用方便,但难以消除二义性。形式化方法严密、可靠、可验证,但软件规约不直观,不符合开发人员的使用习惯。探讨一种结合面向对象方法UML和形式化方法RAISE的软件开发方法。
关键词 软件开放方法 uml RAISE 软件工程 面向对象
在线阅读 下载PDF
基于UML的搜索雷达仿真系统建模与实现 被引量:2
11
作者 邓东旭 王学智 徐跃 《现代防御技术》 北大核心 2016年第3期201-207,共7页
为了构建某防空火力单元仿真系统中搜索雷达的仿真模块,介绍了基于统一建模语言UML(unified modeling language)的搜索雷达仿真系统的建模与实现,利用UML为搜索雷达仿真系统进行面向对象的分析建模,构建了搜索雷达仿真系统的用例模型,... 为了构建某防空火力单元仿真系统中搜索雷达的仿真模块,介绍了基于统一建模语言UML(unified modeling language)的搜索雷达仿真系统的建模与实现,利用UML为搜索雷达仿真系统进行面向对象的分析建模,构建了搜索雷达仿真系统的用例模型,动态模型和静态模型。最后给出了系统的具体实现,仿真实验表明系统设计的可行性。 展开更多
关键词 防空火力单元 搜索雷达 uml 面向对象 建模 仿真系统
在线阅读 下载PDF
基于UML的仿真应用系统映射方法研究 被引量:1
12
作者 王晶 翟永翠 周玉芳 《计算机工程与科学》 CSCD 北大核心 2014年第6期1192-1197,共6页
基于组件的仿真应用系统设计方法在视图建模时往往存在标准不统一的问题,提出了仿真应用系统向统一建模语言UML映射的解决思路,仅用两种视图实现了系统的完整建模,完成了系统静态组成结构向UML复合结构图的映射以及系统动态行为向UML活... 基于组件的仿真应用系统设计方法在视图建模时往往存在标准不统一的问题,提出了仿真应用系统向统一建模语言UML映射的解决思路,仅用两种视图实现了系统的完整建模,完成了系统静态组成结构向UML复合结构图的映射以及系统动态行为向UML活动图的映射。参考模型驱动架构MDA的开发过程,对完成映射的系统进行了代码自动生成,实现了用户的零编码。最后,通过某一海军作战仿真实例证明,此方法达到了基于组件的仿真应用系统视图建模标准化的目的,提高了系统的一致性。 展开更多
关键词 组件 统一建模语言 映射方法 代码自动生成
在线阅读 下载PDF
基于协同管理模式的企业员工招聘模型研究 被引量:6
13
作者 刘明周 李军鹏 +2 位作者 张铭鑫 赵韩 蒋增强 《合肥工业大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第5期550-553,共4页
通过对传统企业员工招聘模式的深入分析和研究,指出了该模式存在的不足,提出了基于协同管理模式的企业员工招聘模式,并在对该模式的原理、要点以及协同过程认真分析的基础上,运用可视化的统一建模语言(UnitedModelingLanguage,UML),从... 通过对传统企业员工招聘模式的深入分析和研究,指出了该模式存在的不足,提出了基于协同管理模式的企业员工招聘模式,并在对该模式的原理、要点以及协同过程认真分析的基础上,运用可视化的统一建模语言(UnitedModelingLanguage,UML),从静态功能、动态活动以及系统实现等不同角度给出了该模式的可视化模型,为构建基于协同管理模式的企业员工招聘系统提供蓝图,最终实现企业员工招聘过程的快速化、集成化和有效化。 展开更多
关键词 协同管理 模型 uml统一建模语言 招聘过程
在线阅读 下载PDF
在J2EE平台上开发电子政务系统的建模方法研究 被引量:4
14
作者 陈伟 丁秋林 +1 位作者 郑洪源 周良 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2003年第4期409-414,共6页
阐述了我国建立电子政务系统的必要性 ;针对电子政务系统的特点 ,把 J2 EE(Java2 platform enterpriseedition)平台和 UML(Unified modeling language)建模方法引入到电子政务系统的开发中 ,设计出 J2 EE平台上电子政务系统的构架 ;在... 阐述了我国建立电子政务系统的必要性 ;针对电子政务系统的特点 ,把 J2 EE(Java2 platform enterpriseedition)平台和 UML(Unified modeling language)建模方法引入到电子政务系统的开发中 ,设计出 J2 EE平台上电子政务系统的构架 ;在指出传统建模方法不足的基础上 ,根据此构架 ,给出了如何采用 UML和 Rational Rose实现 J2 EE平台上开发电子政务系统的建模方法 ,并通过实例验证了该建模方法的可行性。研究表明 :在 J2 EE平台上开发电子政务系统 ,采用 UML作为建模语言、Rational Rose作为分析、设计工具 ,可以完成从系统分析到系统设计、编码的完整过渡 ,从而可开发出高质量、可复用。 展开更多
关键词 J2EE平台 电子政务系统 建模方法 uml语言 统一建模语言 企业信息系统
在线阅读 下载PDF
OCL数据类型到B形式化规约的转换 被引量:3
15
作者 肖健宇 张德运 《计算机工程》 EI CAS CSCD 北大核心 2006年第6期61-63,共3页
研究了UML模型到B形式化规约的转换。提出了一套从OCL数据类型及定义在这些数据类型上的操作到B AMN的转换规则。OCL的Boolean类型和Integer类型分别对应于B中的BOOL类型和Z类型;OCL中的String类型需用B抽象机器重新定义新的数据类型Cha... 研究了UML模型到B形式化规约的转换。提出了一套从OCL数据类型及定义在这些数据类型上的操作到B AMN的转换规则。OCL的Boolean类型和Integer类型分别对应于B中的BOOL类型和Z类型;OCL中的String类型需用B抽象机器重新定义新的数据类型Char_TYPE和String_TYPE来进行规约;OCL中的REAL类型采用B中的记录表达式进行近似模拟;OCL中的Collection类型(包括Set,Orderedset,Bag,Sequence)用B语言中的set,sequence,tree等进行近似模拟。 展开更多
关键词 统一建模语占 对象约束语言 形式化方法 B方法
在线阅读 下载PDF
带OCL的活动图多态性测试用例生成方法 被引量:3
16
作者 曾一 丁娜 邹明 《计算机工程》 CAS CSCD 2012年第10期34-37,共4页
研究UML活动图多态性测试用例的生成方法。形式化定义活动图,结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集,扩展活动图中含多态信息的节点,得到多态扩展活动图。利用测试路径构造方法和覆盖准则,对多态扩展活动图进行遍历... 研究UML活动图多态性测试用例的生成方法。形式化定义活动图,结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集,扩展活动图中含多态信息的节点,得到多态扩展活动图。利用测试路径构造方法和覆盖准则,对多态扩展活动图进行遍历,生成测试用例。实验结果表明,该方法能生成含多态性信息的测试用例,提高测试覆盖度。 展开更多
关键词 统一建模语言 对象约束语言 扩展活动图 多态性方法集 测试用例
在线阅读 下载PDF
共轭梯度法的GPU实现 被引量:4
17
作者 夏健明 魏德敏 《计算机工程》 CAS CSCD 北大核心 2009年第17期274-276,共3页
提出基于图形处理单元(GPU)实现矩阵与向量相乘的新算法,只需渲染四边形一次即可实现矩阵与向量乘法。并给出实现向量元素求和的新算法,与缩减算法不同,该算法不要求向量大小为2的幂。基于这2种算法使用OpenGL着色语言(GLSL)编程,用GPU... 提出基于图形处理单元(GPU)实现矩阵与向量相乘的新算法,只需渲染四边形一次即可实现矩阵与向量乘法。并给出实现向量元素求和的新算法,与缩减算法不同,该算法不要求向量大小为2的幂。基于这2种算法使用OpenGL着色语言(GLSL)编程,用GPU实现求解线性方程组的共轭梯度法。与Krüger算法相比,该方法所用计算时间更少。 展开更多
关键词 图形处理单元 OpenGL着色语言 共轭梯度法
在线阅读 下载PDF
基于ASP.NET的课堂教学平台设计与开发 被引量:3
18
作者 徐金寿 《现代制造工程》 CSCD 2007年第2期124-126,60,共4页
利用UML统一建模技术设计课堂教学平台,采用ASP.NET技术进行开发,使用Microsoft SQL Server 2000作为后台数据库。该平台是基于网络的、开放的教学平台,支持XML数据共享,具有良好的交互性。设计和开发该平台的目的是突破传统教学的时空... 利用UML统一建模技术设计课堂教学平台,采用ASP.NET技术进行开发,使用Microsoft SQL Server 2000作为后台数据库。该平台是基于网络的、开放的教学平台,支持XML数据共享,具有良好的交互性。设计和开发该平台的目的是突破传统教学的时空界限,使专业课程的教与学上升到一个新的平台。 展开更多
关键词 教学平台 网络 uml ASP.NET 数据库
在线阅读 下载PDF
基于GPGPU的LBM障碍绕流的实时模拟 被引量:1
19
作者 张强 张卓鹏 +2 位作者 王长波 夏正冬 崔军营 《东华大学学报(自然科学版)》 CAS CSCD 北大核心 2011年第4期408-411,共4页
基于显卡的通用计算(GPGPU)是近年来并行计算和快速绘制的热点.格子Boltzmann方法(LBM)作为流体动力学的新方法,其并行性好,常常用于基于物理的流体模拟,且具有适用于复杂边界障碍的特性,但计算较为复杂.利用GPGPU技术来加速LBM的流体... 基于显卡的通用计算(GPGPU)是近年来并行计算和快速绘制的热点.格子Boltzmann方法(LBM)作为流体动力学的新方法,其并行性好,常常用于基于物理的流体模拟,且具有适用于复杂边界障碍的特性,但计算较为复杂.利用GPGPU技术来加速LBM的流体计算模型,构建了基于图形处理器(GPU)的流体计算框架,实现了格子Boltzmann计算的D2Q9和D3Q15模型,并用于实时的障碍绕流模拟. 展开更多
关键词 图形处理器(GPU) 格子BOLTZMANN方法 OpenGL着色语言
在线阅读 下载PDF
基于模型转换的通信协议自动分析 被引量:1
20
作者 陈海波 赵伟华 《机电工程》 CAS 2009年第5期48-51,共4页
针对目前网络通信相关领域中协议分析程序复用程度不高且算法需要随协议版本变化不断修正的情况,在模型转换技术基础上设计了一种有限自动机模型到UML模型的转换算法,根据此算法开发了一个协议自动分析程序,能够实现使用一套程序同时进... 针对目前网络通信相关领域中协议分析程序复用程度不高且算法需要随协议版本变化不断修正的情况,在模型转换技术基础上设计了一种有限自动机模型到UML模型的转换算法,根据此算法开发了一个协议自动分析程序,能够实现使用一套程序同时进行多种类型的通信协议分析,且算法不会随协议版本变化而变化。研究结果表明,该算法提高了协议分析程序的复用性,在GPS通信系统实例中得到了应用。 展开更多
关键词 模型转换 通信协议自动分析 统一建模语言
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部