期刊文献+
共找到391篇文章
< 1 2 20 >
每页显示 20 50 100
Capability requirements modeling and verification based on fuzzy ontology 被引量:4
1
作者 Qingchao Dong Zhixue Wang Weixing Zhu Hongyue He 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2012年第1期78-87,共10页
The capability requirements of the command, control, communication, computing, intelligence, surveillance, reconnaissance (C41SR) systems are full of uncertain and vague information, which makes it difficult to mode... The capability requirements of the command, control, communication, computing, intelligence, surveillance, reconnaissance (C41SR) systems are full of uncertain and vague information, which makes it difficult to model the C41SR architecture. The paper presents an approach to modeling the capability requirements with the fuzzy unified modeling language (UML) and building domain ontologies with fuzzy description logic (DL). The UML modeling constructs are extended according to the meta model of Depart- ment of Defense Architecture Framework to improve their domain applicability, the fuzzy modeling mechanism is introduced to model the fuzzy efficiency features of capabilities, and the capability requirement models are converted into ontologies formalized in fuzzy DL so that the model consistency and reasonability can be checked with a DL reasoning system. Finally, a case study of C41SR capability requirements model checking is provided to demonstrate the availability and applicability of the method. 展开更多
关键词 fuzzy ontology fuzzy unified modeling language (uml fuzzy description logic DL model checking.
在线阅读 下载PDF
UML状态图的形式化 被引量:7
2
作者 李桂 苏一丹 《广西大学学报(自然科学版)》 CAS CSCD 2003年第4期318-321,共4页
为面向对象模型建立坚实的形式化基础是近年来形式化研究的热点 ,UML是一种被推荐的面向对象建模语言 ,Z是一种广泛使用的形式化规约语言 ,适合用来精确表示模型的语法和语义 ,本文利用 DFA描述了 UML状态机的语法 ,并采用 Z( Object-Z... 为面向对象模型建立坚实的形式化基础是近年来形式化研究的热点 ,UML是一种被推荐的面向对象建模语言 ,Z是一种广泛使用的形式化规约语言 ,适合用来精确表示模型的语法和语义 ,本文利用 DFA描述了 UML状态机的语法 ,并采用 Z( Object-Z)语言对 展开更多
关键词 uml状态图 DFA Z OBJECT Z
在线阅读 下载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
基于UML的软件开发过程 被引量:4
4
作者 陈卓艳 刘真 《山东科技大学学报(自然科学版)》 CAS 2003年第2期114-116,共3页
介绍了UML的内容 ,阐述了RUP的主要内容及UML在RUP中的应用 。
关键词 uml RUP
在线阅读 下载PDF
基于UML的攻击模式研究 被引量:4
5
作者 李昀 李伟华 《计算机工程与应用》 CSCD 北大核心 2003年第3期8-10,24,共4页
黑客攻击持续增加的频率和复杂性使预防的难度越来越大。同时,多阶段攻击和协同攻击也越来越普遍。目前,关于攻击的大多数研究都集中于攻击的分类和攻击细节的分析上,仅靠这些还很难掌握攻击的本质。该文提出了攻击模式的概念,使用基于... 黑客攻击持续增加的频率和复杂性使预防的难度越来越大。同时,多阶段攻击和协同攻击也越来越普遍。目前,关于攻击的大多数研究都集中于攻击的分类和攻击细节的分析上,仅靠这些还很难掌握攻击的本质。该文提出了攻击模式的概念,使用基于UML的攻击模式,描述了攻击的静态结构和动态行为。对一般攻击过程和具体攻击技术都做了较深入的分析,揭示了各个攻击步骤、攻击对象及各步骤相互间的本质联系。攻击模式对于多阶段攻击和协同攻击尤其适用。利用攻击模式,可以迅速地理解新型攻击,把握攻击的本质,从而提高入侵检测的准确性。 展开更多
关键词 uml
在线阅读 下载PDF
用UML和IDEF方法对软件开发进行建模 被引量:3
6
作者 郭海英 钟廷修 《计算机工程与应用》 CSCD 北大核心 2002年第4期105-107,171,共4页
文章介绍了可视化面向对象建模技术和IDEF结构化分析方法的基本概念和方法。并以锅炉CAD软件的开发为例,研究了这两种信息建模方法在软件开发中的应用,并对他们的特点进行了分析和比较。
关键词 uml IDEF CAD
在线阅读 下载PDF
UML与多Agent应用系统建模 被引量:4
7
作者 孙华志 《计算机科学》 CSCD 北大核心 2003年第9期61-63,共3页
1引言 Agent是一种处于不断变化、不确定的环境中,具有应激性、自治性和自我激发能力的实体,能感知环境并作用于环境.近来对多Agent系统的理论研究和实际应用方面已经取得了长足进展,Agent作为一种抽象工具,为理解、设计和实现一类复杂... 1引言 Agent是一种处于不断变化、不确定的环境中,具有应激性、自治性和自我激发能力的实体,能感知环境并作用于环境.近来对多Agent系统的理论研究和实际应用方面已经取得了长足进展,Agent作为一种抽象工具,为理解、设计和实现一类复杂的软件系统提供了较好的解决途径. 展开更多
关键词 uml AGENT
在线阅读 下载PDF
UML建模在常住人口管理信息系统开发中的应用 被引量:12
8
作者 王红燕 陈志刚 曾志文 《计算机工程与应用》 CSCD 北大核心 2002年第19期238-240,249,共4页
统一建模语言UML(UnifiedModelingLanguage)是面向对象软件开发方法的重要技术。该文在介绍UML的基础上,以常住人口管理信息系统的建模作为实际例子,描述了通过UML来进行静态建模和动态建模的详细过程。
关键词 uml语言
在线阅读 下载PDF
运用UML和Rational Rose进行J2EE应用开发 被引量:15
9
作者 欧建志 张福顺 罗焕佐 《计算机应用研究》 CSCD 北大核心 2003年第1期141-143,149,共4页
J2EE已经成为一种日渐热门的企业级应用程序开发平台 ,如何利用J2EE平台尽可能快速、有效地开发和部署应用系统有着其内在的复杂性。介绍了如何运用UML和RationalRose强大的可视化建模工具来协助开发基于J2EE的应用系统的方法 。
关键词 uml RATIONALROSE J2EE
在线阅读 下载PDF
基于UML的CORBA/Java分布式应用系统的领域模型设计 被引量:3
10
作者 温泉彻 陈镜全 林彩霞 《计算机工程与设计》 CSCD 北大核心 2008年第6期1433-1436,共4页
探讨了一种借助UML构建的基于CORBA/Java的分布式应用系统建模方法以及相关技术。研究设计了分布式应用系统的软件模型,使用UML建模方法完成了系统分析、设计和建立领域模型的全过程。通过一个具体实例给予详细说明,实例表明,利用UML对... 探讨了一种借助UML构建的基于CORBA/Java的分布式应用系统建模方法以及相关技术。研究设计了分布式应用系统的软件模型,使用UML建模方法完成了系统分析、设计和建立领域模型的全过程。通过一个具体实例给予详细说明,实例表明,利用UML对复杂的软件系统建模,有助于实现软件的重组和复用,为快速、高效地构建系统提供了一种可行的解决方案。 展开更多
关键词
在线阅读 下载PDF
基于网络的UML协同建模系统 被引量:1
11
作者 丁勇 战洪飞 +2 位作者 孙静 顾新建 陈芨熙 《机械科学与技术》 CSCD 北大核心 2002年第2期307-309,共3页
介绍了采用浏览器 /服务器 (B/ S)结构的 U ML 协同建模系统的原理和设计方法。统一建模语言 U ML 是近两年来用得最多的面向对象的建模语言 ,在企业管理中有广泛的应用前景。为了适应企业协同工作 ,需要有一种基于网络的 UML 协同建模... 介绍了采用浏览器 /服务器 (B/ S)结构的 U ML 协同建模系统的原理和设计方法。统一建模语言 U ML 是近两年来用得最多的面向对象的建模语言 ,在企业管理中有广泛的应用前景。为了适应企业协同工作 ,需要有一种基于网络的 UML 协同建模系统的支持。作者开发了该系统的 UML 用例图和类图的协同建模的功能模块 ,解决了建立基于网络的 UML 协同建模系统的关键技术问题。 展开更多
关键词 uml /
在线阅读 下载PDF
定义及验证UML Statechart图中的数据流语义 被引量:1
12
作者 陆公正 吴澜波 张广泉 《计算机工程与应用》 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分析设计嵌入式系统 被引量:7
13
作者 唐英 李志蜀 《计算机应用研究》 CSCD 北大核心 2002年第5期117-120,共4页
标准建模语言UML是最广泛使用的可视化面向对象系统的建模方法。介绍了使用U ML对嵌入式系统—网络收音机作面向对象软件分析与设计的过程。网络收音机是一款收听 网上广播电台节目的信息家电产品。论述了利用UML的各种标准符号进行从... 标准建模语言UML是最广泛使用的可视化面向对象系统的建模方法。介绍了使用U ML对嵌入式系统—网络收音机作面向对象软件分析与设计的过程。网络收音机是一款收听 网上广播电台节目的信息家电产品。论述了利用UML的各种标准符号进行从需求分析开 始,到系统整体设计的一系列工作。 展开更多
关键词 uml
在线阅读 下载PDF
一种基于UML的实时工作流建模方法研究 被引量:26
14
作者 徐亮 张莉 樊志强 《计算机研究与发展》 EI CSCD 北大核心 2010年第7期1184-1191,共8页
实时系统由于其业务对时间要求的特殊性,使得传统工作流技术难以满足其需求.在传统工作流的基础上,针对实时系统提出了实时工作流的概念,并建立了实时工作流元模型.与传统的工作流相比,主要对工作流的时间约束和异常处理进行了考虑.在... 实时系统由于其业务对时间要求的特殊性,使得传统工作流技术难以满足其需求.在传统工作流的基础上,针对实时系统提出了实时工作流的概念,并建立了实时工作流元模型.与传统的工作流相比,主要对工作流的时间约束和异常处理进行了考虑.在活动上扩展了启动时间和执行时间,在工作流过程上扩展了执行时间,在并发活动上扩展了并发时间约束等,此外,元模型中还考虑了活动的超时异常以及应用程序和活动之间的执行关系.为了能够利用实时工作流元模型进行实时工作流建模,通过扩展UML定义了一种实时工作流描述语言,并分别从设计要求、定义技术和profile三个方面对实时工作流描述语言进行了阐述,给出了实时工作流的建模规则.最后结合船舶指控系统的具体实例,对建模方法进行了说明. 展开更多
关键词 uml PROFILE
在线阅读 下载PDF
UML在VPN业务管理中的应用和实现 被引量:6
15
作者 邱雪松 亓峰 +1 位作者 李向东 孟洛明 《通信学报》 EI CSCD 北大核心 2001年第4期80-85,共6页
分析了当前网络 /业务管理中管理信息建模方法的不足 ,指出UML建模方法的优点。具体研究了UML建模方法在VPN业务管理信息建模方面的应用。
关键词
在线阅读 下载PDF
UML-XML集成的敏捷虚拟企业资源建模方法 被引量:17
16
作者 张大勇 徐晓飞 王刚 《中国机械工程》 EI CAS CSCD 北大核心 2003年第5期395-398,共4页
通过扩展 UML给出了资源分类、资源的组织、产品结构和物流等敏捷虚拟企业资源模型的图形表示方法 ;定义了一个敏捷虚拟企业资源模型文档 DTD,作为敏捷虚拟企业资源模型的底层数据模型 ;给出了一个敏捷虚拟企业资源建模工具的设计。该... 通过扩展 UML给出了资源分类、资源的组织、产品结构和物流等敏捷虚拟企业资源模型的图形表示方法 ;定义了一个敏捷虚拟企业资源模型文档 DTD,作为敏捷虚拟企业资源模型的底层数据模型 ;给出了一个敏捷虚拟企业资源建模工具的设计。该方法不但明确提供了图形化的表示方法 ,而且考虑了底层数据模型等实现问题 ,适应敏捷虚拟企业资源建模工具开发的需求 。 展开更多
关键词 AVE
在线阅读 下载PDF
基于UML软件开发过程的CASE平台研制 被引量:4
17
作者 陈英 施兴华 赵小林 《北京理工大学学报》 EI CAS CSCD 北大核心 2001年第1期48-52,共5页
针对基于 UML的面向对象软件开发支持环境 CASE平台的研制 ,给出了平台的需求定位和实现目标 ,讨论了平台组织的总体方案和功能 ,并据此给出了平台体系结构的设计和实现方案 ,阐述了平台设计和实现中的模型建立、数据存储机制实现方案 ... 针对基于 UML的面向对象软件开发支持环境 CASE平台的研制 ,给出了平台的需求定位和实现目标 ,讨论了平台组织的总体方案和功能 ,并据此给出了平台体系结构的设计和实现方案 ,阐述了平台设计和实现中的模型建立、数据存储机制实现方案 ,较成功地用于基于 UML软件开发过程的 CASE平台 . 展开更多
关键词 CASE CASE uml
在线阅读 下载PDF
基于UML的仓库管理数据库系统设计 被引量:10
18
作者 张裔智 冯春辉 《计算机科学》 CSCD 北大核心 2008年第6期295-296,F0003,共3页
本文主要针对基于UML的仓库管理数据库系统分析方法进行研究。在基于面向对象UML的平台上,以仓库管理为研究对象,对其需求模型和总体设计模型进行了分析设计,并结合基于UML建模语言的CASE工具Power Designer进行进一步的辅助分析,最终... 本文主要针对基于UML的仓库管理数据库系统分析方法进行研究。在基于面向对象UML的平台上,以仓库管理为研究对象,对其需求模型和总体设计模型进行了分析设计,并结合基于UML建模语言的CASE工具Power Designer进行进一步的辅助分析,最终实现了数据库系统的设计。 展开更多
关键词 uml Power DESIGNER
在线阅读 下载PDF
基于UML的迭代式软件开发过程 被引量:7
19
作者 刘军 王宁生 《计算机工程与应用》 CSCD 北大核心 2001年第17期154-156,共3页
UML(Unified Modeling Language)作为第三代面向对象开发方法,它是一种定义良好,易于表达,功能强大,且适应广泛的建模语言。Rational Unified Process(RUP)是一种软件工程方法,它提供了一种严谨的途径来分派开发组织的任务和... UML(Unified Modeling Language)作为第三代面向对象开发方法,它是一种定义良好,易于表达,功能强大,且适应广泛的建模语言。Rational Unified Process(RUP)是一种软件工程方法,它提供了一种严谨的途径来分派开发组织的任务和职责。它的目标是确保在预定的时间和预算内得到一套的最终用户所需要的高质量的软件产品。文章讨论了依据RUP利用UML建立应用系统模的方法。 展开更多
关键词 uml RUP CIMS
在线阅读 下载PDF
基于时间扩展UML活动图的工作流过程建模方法 被引量:11
20
作者 蔡敏 卢佩 《计算机集成制造系统》 EI CSCD 北大核心 2014年第7期1758-1767,共10页
为了严格管理与控制业务流程中的时间,对统一建模语言活动图进行了时间约束的扩展,充分考虑活动中资源的到来时间、资源有效时间、活动延迟时间、跃迁有效时间、延迟时间和活动截止时间共六种时间因素,建立基于时间统一建模语言活动图... 为了严格管理与控制业务流程中的时间,对统一建模语言活动图进行了时间约束的扩展,充分考虑活动中资源的到来时间、资源有效时间、活动延迟时间、跃迁有效时间、延迟时间和活动截止时间共六种时间因素,建立基于时间统一建模语言活动图的工作流过程模型,并给予语义形式描述,增强了时间管理的全面性。鉴于时间复杂性,提出基于等待状态事件触发活动转移路由,解决了循环活动事件时间计算的问题。为了检验该方法的正确性、有效性和时间一致性,对Petri网时间验证方法进行了改进。通过对实例建模,验证了所提方法的合理性。 展开更多
关键词
在线阅读 下载PDF
上一页 1 2 20 下一页 到第
使用帮助 返回顶部