期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1,623篇文章
< 1 2 … 82 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
关于统一建模语言——UML 被引量：27
1
作者 鲁博 柴跃廷 《计算机工程与科学》 CSCD 2000年第4期57-60,70,共5页
UML是面向对象开发中一种通用的、图形化的模型语言 ,是近代软件工程环境中对象分析和设计的重要工具。UML严格地定义了对象元模型的语义 ,提供了描述对象结构和行为的表示法。本文介绍了 UML产生的技术背景、元模型的主要思想、表示法 ... UML是面向对象开发中一种通用的、图形化的模型语言 ,是近代软件工程环境中对象分析和设计的重要工具。UML严格地定义了对象元模型的语义 ,提供了描述对象结构和行为的表示法。本文介绍了 UML产生的技术背景、元模型的主要思想、表示法 ,以及应用系统建模的一般过程和对 OO业界的意义。 展开更多
关键词 面向对象 UML语言 统一建模语言 无模型
下载PDF
UML建模过程及在需求分析中的应用 被引量：33
2
作者 黄贤英 《计算机工程》 CAS CSCD 北大核心 2001年第11期184-186,共3页
ＵＭＬ是建立系统模型和分析业务处理流程的强有力的工具，从不同的角度描述系统，帮助分析人员弄清楚系统“做什么，谁做，如何做，何时做，以什么顺序做”，描述使用ＵＭＬ的需求建模过程，并说明在稽查征费系统需求分析中的应用。获... ＵＭＬ是建立系统模型和分析业务处理流程的强有力的工具，从不同的角度描述系统，帮助分析人员弄清楚系统“做什么，谁做，如何做，何时做，以什么顺序做”，描述使用ＵＭＬ的需求建模过程，并说明在稽查征费系统需求分析中的应用。获得的经验及注意事项。 展开更多
关键词 UML 统一建模语言 需求分析 建模技术 面向对象
下载PDF
统一建模语言UML及其建模实例 被引量：34
3
作者 王瑞金 段会川 Martin Gogolla 《计算机应用研究》 CSCD 北大核心 2002年第8期80-84,共5页
以统一建模语言 (UnifiedModelingLanguage ,UML)的九种图为重点 ,简要介绍了UML的基本概念、历史、内容及其应用 ;并通过对一个超级市场销售管理系统的实际建模 。
关键词 面向对象 软件工程 统一建模语言 UML 建模
下载PDF
软件体系结构的描述方法研究 被引量：19
4
作者 于卫 杨万海 蔡希尧 《计算机研究与发展》 EI CSCD 北大核心 2000年第10期1185-1191,共7页
目前关于软件体系结构的描述已有许多工具支持 ,但各种工具不仅是领域相关的 ,而且描述方法也不尽统一 ,这使设计人员很难选择一种合适的工具 .将体系结构的共同特征提取出来 ,作为体系结构描述的核心模型 ,为各种工具提供了共同的基础... 目前关于软件体系结构的描述已有许多工具支持 ,但各种工具不仅是领域相关的 ,而且描述方法也不尽统一 ,这使设计人员很难选择一种合适的工具 .将体系结构的共同特征提取出来 ,作为体系结构描述的核心模型 ,为各种工具提供了共同的基础——若要用某一种工具描述 ,只需增加与之相关的约束 .另一方面将软件体系结构与当前主流的面向对象方法相结合 ,利用统一建模语言 UML 的扩充机制 ,从多个视图描述了软件体系结构 .最后结合研究工作给出了指挥控制中心软件体系结构 DSSA在 展开更多
关键词 软件重用 统一建模语言 软件体系结构 面向对象
下载PDF
UMLStatecharts的模型检验方法 被引量：40
5
作者 董威 王戟 齐治昌 《软件学报》 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
XML相关标准综述 被引量：26
6
作者 杨建武 陈晓鸥 《计算机科学》 CSCD 北大核心 2002年第2期25-28,共4页
1引言随着Internet的迅速发展,XML(eXtensible MarkupLanguage,可扩展置标语言)以其自身的独特优点,经过短短几年的发展,已被广泛接受并成为研究与应用的热点.XML 1.0[1]是国际组织W3C于1998年2月正式推出的.它是为适应Web的应用,对国... 1引言随着Internet的迅速发展,XML(eXtensible MarkupLanguage,可扩展置标语言)以其自身的独特优点,经过短短几年的发展,已被广泛接受并成为研究与应用的热点.XML 1.0[1]是国际组织W3C于1998年2月正式推出的.它是为适应Web的应用,对国际标准ISO8879 SGML(标准通用置标语言)进行简化形成的通用置标语言. 展开更多
关键词 XML 统一建模语言 可扩展置标语言 标准 超文本置标语言 INTERNET
下载PDF
UML现存的问题和发展道路 被引量：22
7
作者 邵维忠 蒋严冰 麻志毅 《计算机研究与发展》 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
MDA:新一代软件互操作体系结构 被引量：19
8
作者 董建武 《计算机工程》 CAS CSCD 北大核心 2003年第2期3-5,共3页
UML和MOF等建模标准的形成使得解决分布式异构环境下互操作问题的方法有了质的飞跃。为适应这种新形势，OMG提出模型驱动体系结构MDA用以明确这些新标准的相互关系，并为制定、维护和发展建模标准提供帮助。该文介绍了MDA的基础思想和... UML和MOF等建模标准的形成使得解决分布式异构环境下互操作问题的方法有了质的飞跃。为适应这种新形势，OMG提出模型驱动体系结构MDA用以明确这些新标准的相互关系，并为制定、维护和发展建模标准提供帮助。该文介绍了MDA的基础思想和基本框架，并对基于MDA的软件开发模式作了阐述。 展开更多
关键词 MDA 软件互操作体系结构 模型驱动体系结构 统一建模语言 元对象设施 公用仓库元数据 软件开发
下载PDF
UML-XML集成的敏捷虚拟企业资源建模方法 被引量：17
9
作者 张大勇 徐晓飞 王刚 《中国机械工程》 EI CAS CSCD 北大核心 2003年第5期395-398,共4页
通过扩展 UML给出了资源分类、资源的组织、产品结构和物流等敏捷虚拟企业资源模型的图形表示方法 ;定义了一个敏捷虚拟企业资源模型文档 DTD,作为敏捷虚拟企业资源模型的底层数据模型 ;给出了一个敏捷虚拟企业资源建模工具的设计。该... 通过扩展 UML给出了资源分类、资源的组织、产品结构和物流等敏捷虚拟企业资源模型的图形表示方法 ;定义了一个敏捷虚拟企业资源模型文档 DTD,作为敏捷虚拟企业资源模型的底层数据模型 ;给出了一个敏捷虚拟企业资源建模工具的设计。该方法不但明确提供了图形化的表示方法 ,而且考虑了底层数据模型等实现问题 ,适应敏捷虚拟企业资源建模工具开发的需求 。 展开更多
关键词 集成 资源建模 统一建模语言 可扩充标记语言 敏捷虚拟企业 AVE
下载PDF
基于UML状态图的类测试用例自动生成方法 被引量：23
10
作者 张毅坤 施凤鸣 +2 位作者 姚全珠 刘军 付长龙 《计算机工程》 CAS CSCD 北大核心 2003年第21期91-93,共3页
UML作为面向对象软件开发的事实上的标准建模语言，近年来得到了广泛的应用 ，基于UML的测试也成为面向对象软件测试的研究热点。该文把基于扩展的有限状态机EFSM 的唯一输入输出UIO测试用例自动生成方法和UML的类的状态图相结合，提出... UML作为面向对象软件开发的事实上的标准建模语言，近年来得到了广泛的应用 ，基于UML的测试也成为面向对象软件测试的研究热点。该文把基于扩展的有限状态机EFSM 的唯一输入输出UIO测试用例自动生成方法和UML的类的状态图相结合，提出了一种基于UML 状态图的类的测试用例自动生成方法。 展开更多
关键词 统一建模语言 状态图 扩展的有限状态机 基于规约的测试 测试用例生成 唯一输入输出
下载PDF
UML模型向关系数据库的映射方法初探 被引量：7
11
作者 张念春 杨寿保 《计算机工程与应用》 CSCD 北大核心 2002年第19期212-214,共3页
关系数据库的数据模型变得越来越复杂,用传统方法分析和描述变得越来越困难,在数据密集型的应用系统中,应用逻辑与数据存储存在差异,不利于开发人员的交流和开发过程的管理,这是文章考虑把对象技术引入关系数据库逻辑设计的出发点。统... 关系数据库的数据模型变得越来越复杂,用传统方法分析和描述变得越来越困难,在数据密集型的应用系统中,应用逻辑与数据存储存在差异,不利于开发人员的交流和开发过程的管理,这是文章考虑把对象技术引入关系数据库逻辑设计的出发点。统一建模语言UML是对象建模技术的发展结晶,可用于数据库的数据模型分析。通过技巧性的方法,可把UML模型映射到关系数据库,从而在数据库领域得到对象技术的诸多益处。 展开更多
关键词 UML模型 关系数据库 映射方法 统一建模语言 对象建模技术
下载PDF
UML实时活动图的形式化分析 被引量：22
12
作者 崔萌 李宣东 郑国梁 《计算机学报》 EI CSCD 北大核心 2004年第3期339-346,共8页
统一建模语言 (UML)自从成为OMG规范后 ,应用越来越广泛 .但UML没有精确的、形式化的语义阻碍了它的进一步发展 .该文基于Petri网 ,给出带时间约束的UML活动图的形式化描述 .与Petri网不同的是 ,Petri网的时间约束是在跃迁 (transition)... 统一建模语言 (UML)自从成为OMG规范后 ,应用越来越广泛 .但UML没有精确的、形式化的语义阻碍了它的进一步发展 .该文基于Petri网 ,给出带时间约束的UML活动图的形式化描述 .与Petri网不同的是 ,Petri网的时间约束是在跃迁 (transition)上 ,而作者将UML活动图的时间约束放在活动状态上 .在此基础上 ,用整型时间的验证技术对实时活动图的时间性质加以分析 ,为实时系统的建模打下了基础 . 展开更多
关键词 UML 统一建模语言 OMG规范 面向对象 活动图 形式化分析
下载PDF
运用UML和Rational Rose进行J2EE应用开发 被引量：15
13
作者 欧建志 张福顺 罗焕佐 《计算机应用研究》 CSCD 北大核心 2003年第1期141-143,149,共4页
J2EE已经成为一种日渐热门的企业级应用程序开发平台 ,如何利用J2EE平台尽可能快速、有效地开发和部署应用系统有着其内在的复杂性。介绍了如何运用UML和RationalRose强大的可视化建模工具来协助开发基于J2EE的应用系统的方法 。
关键词 UML RATIONALROSE J2EE 软件开发 可视化建模 面向对象 统一建模语言
下载PDF
UML类图的形式化及分析 被引量：12
14
作者 韦银星 张申生 曹健 《计算机工程与应用》 CSCD 北大核心 2002年第10期5-7,46,共4页
统一建模语言(UML)是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为事实上的工业标准。但是UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。Z是一种广泛使用的形式化规约语言,Z适合用来精确地表... 统一建模语言(UML)是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为事实上的工业标准。但是UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。Z是一种广泛使用的形式化规约语言,Z适合用来精确地表示模型的语法和语义。文章采用Z符号来表示UML类图的组成元素的语法和语义及其映射关系,最后对UML类图的一些性质进行分析和验证。 展开更多
关键词 UML 类图 形式化 分析 统一建模语言 对象约束语言 面向对象
下载PDF
信息系统UML建模研究 被引量：26
15
作者 方红萍 陈和平 《计算机工程与设计》 CSCD 北大核心 2006年第19期3613-3615,3655,共4页
UML作为一种面向对象的标准建模语言,在信息管理系统的建模领域得到了广泛的应用。概述了UML中多种模型图的使用方法和适用范围,分析了UML系统建模的主要过程和特点,并以一个实验预约系统为例详细介绍了系统用例模型、静态模型和动态模... UML作为一种面向对象的标准建模语言,在信息管理系统的建模领域得到了广泛的应用。概述了UML中多种模型图的使用方法和适用范围,分析了UML系统建模的主要过程和特点,并以一个实验预约系统为例详细介绍了系统用例模型、静态模型和动态模型的设计过程,同时重点探讨了在一般信息系统建模过程中普遍适用的系统类筛选、动态方法定义等相关技术。 展开更多
关键词 统一建模语言 用例模型 静态模型 动态模型 用例图 类图 顺序图
下载PDF
基于Web的工作流管理系统研究 被引量：13
16
作者 陶望龙 张国军 +1 位作者 任德耀 邵新宇 《华中科技大学学报（自然科学版）》 EI CAS CSCD 北大核心 2003年第9期87-89,共3页
提出一种基于Web的工作流管理系统的实现方式 ,详细讨论了其体系结构、工作流引擎模型的设计 ;最后给出了基于表单的客户端实现的实例 .系统使用UML作为系统分析建模的工具 ,以Java作为开发语言 ,从而使得系统开发维护方便 。
关键词 工作流管理系统 互联网 统一建模语言
下载PDF
基于UML的软件Markov链使用模型构造研究 被引量：29
17
作者 颜炯 王戟 陈火旺 《软件学报》 EI CSCD 北大核心 2005年第8期1386-1394,共9页
软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unifiedmodelinglanguage,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软... 软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unifiedmodelinglanguage,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软件UML模型构造软件使用模型就成为面向对象软件统计测试的关键.为此,定义了加入统计测试约束的UML用例图、序列图以及用例执行顺序关系,为基于UML的软件统计测试提供了一个形式化描述基础.在此基础上,给出一个从软件UML模型构造软件Markov链使用模型的算法,并给出了自动化支持工具UMGen的类图结构,基于一个卫星控制系统,说明了所提出方法的有效性. 展开更多
关键词 统一建模语言 统计测试 MARKOV链使用模型 软件可靠性
下载PDF
UML在关系型GIS空间数据库设计中的应用与研究 被引量：23
18
作者 韩强 陈天滋 《江苏理工大学学报（自然科学版）》 2002年第1期82-86,共5页
空间数据库是GIS系统的核心 ,如何将面向对象的理论和方法应用于空间数据库的分析、设计和实现的全过程 ,实现整个软件生命周期中从问题域到设计域的无缝转换 ,是相关应用领域中的一个十分重要的问题 UML (UnifiedModelingLanguage)是... 空间数据库是GIS系统的核心 ,如何将面向对象的理论和方法应用于空间数据库的分析、设计和实现的全过程 ,实现整个软件生命周期中从问题域到设计域的无缝转换 ,是相关应用领域中的一个十分重要的问题 UML (UnifiedModelingLanguage)是一种标准的、功能强大的面向对象建模语言 文章结合实例研究UML应用于GIS空间数据库的面向对象设计中的理论和技术 ,解决了系统从对象模型到关系模型的转换和空间矢量数据的关系化的面向对象描述和实现 在此基础上 ,通过对系统对象的设计来不断完善数据库的结构设计和功能设计 。 展开更多
关键词 统一建模语言 关系型空间数据库 地理信息系统 UML GIS 设计 面向对象
下载PDF
基于UML的软件体系结构开发方法 被引量：25
19
作者 马重明 张学旺 范时平 《计算机工程与应用》 CSCD 北大核心 2006年第4期118-120,148,共4页
模型间的平稳过渡是软件系统开发的关键。然而,通常基于UML的软件系统的四种模型中,从用例分析模型到其它设计模型之间存在一条很难逾越的鸿沟。本文通过引入软件体系结构模型,提出了基于UML的软件体系结构开发方法,改进了模型间的平稳... 模型间的平稳过渡是软件系统开发的关键。然而,通常基于UML的软件系统的四种模型中,从用例分析模型到其它设计模型之间存在一条很难逾越的鸿沟。本文通过引入软件体系结构模型,提出了基于UML的软件体系结构开发方法,改进了模型间的平稳过渡问题。为了表明这个方法的可用性和有效性,我们陈述了库存管理系统应用的案例研究。 展开更多
关键词 统一建模语言 软件体系结构 平稳过渡 用例 库存管理系统
下载PDF
面向产品的3C数据管理集成模型研究 被引量：24
20
作者 刘明周 刘光复 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2003年第10期845-848,共4页
在分析企业建模及存在问题的基础上,采取以产品为导向的技术数据的集成管理模式,以优化运作过程,解决企业"信息孤岛"问题;并在企业整体数据模型的构架下,使用可视化面向对象建模语言UML分析和构建了一种基于产品配置的3C(CAD/... 在分析企业建模及存在问题的基础上,采取以产品为导向的技术数据的集成管理模式,以优化运作过程,解决企业"信息孤岛"问题;并在企业整体数据模型的构架下,使用可视化面向对象建模语言UML分析和构建了一种基于产品配置的3C(CAD/CAPP/CAM)技术数据管理的集成化模型。 展开更多
关键词 集成模型 企业建模 企业整体模型 3C数据 统一建模语言
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 82 下一页 到第 页
使用帮助 返回顶部