UML模型

作品数:162被引量:365H指数:9
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:李宣东曾一郑国梁段富余双双更多>>
相关机构:重庆大学电子科技大学北京航空航天大学南京大学更多>>
相关期刊:更多>>
相关基金:国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国防科技技术预先研究基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=计算机工程与应用x
条 记 录,以下是1-5
视图:
排序:
面向复杂UML的Markov建模方法研究被引量:1
《计算机工程与应用》2018年第4期60-65,134,共7页靖天才 方景龙 魏丹 
软件可靠性测试技术是保证软件质量的重要研究内容,尤其是对航空航天、金融机构等高信度复杂软件尤为重要。在现有研究的基础上,针对复杂软件UML模型场景消息粒度过大导致构建的Markov链使用模型描述软件的真实度不够的问题,提出了一种...
关键词:可靠性测试 UML模型 嵌套组合片段 MARKOV链 
基于MDA的UML模型转换技术——从顺序图到状态图被引量:13
《计算机工程与应用》2004年第13期40-45,共6页史耀馨 崔萌 李宣东 郑国梁 
国家863高技术研究发展计划项目(编号:2001AA113203)资助
为了实现不同中间件平台之间的集成和互操作,OMG提出了一个标准的基于模型的体系结构:MDA。MDA将应用模型划分成与平台无关的模型(PIM)和与平台有关的模型(PSM),并定义了PIM和PSM之间的4种映射关系。该文主要对PIM到PIM之间的映射进行...
关键词:MDA UML 顺序图 状态图 自动软件工程 
UML模型到COOZ规约的形式化转换被引量:4
《计算机工程与应用》2003年第20期89-91,共3页黄春荣 李宣东 郑国梁 
国家自然科学基金资助(编号:60073031);国家863高技术研究发展计划资助(编号:2001AA113203);江苏省自然科学基金资助(编号:BK2001033)
为UML建模元素提供坚实的形式化语义基础是目前的研究热点之一,在这方面也有了不少探索。文章在过去的研究的基础上,给出了UML模型到COOZ规约的一种系统的转化方法。将UML模型转换到COOZ规约后,UML模型的推理验证就可以通过相应COOZ规...
关键词:统一建模语言UML COOZ 面向对象的模型 
UML模型向关系数据库的映射方法初探被引量:7
《计算机工程与应用》2002年第19期212-214,共3页张念春 杨寿保 
关系数据库的数据模型变得越来越复杂,用传统方法分析和描述变得越来越困难,在数据密集型的应用系统中,应用逻辑与数据存储存在差异,不利于开发人员的交流和开发过程的管理,这是文章考虑把对象技术引入关系数据库逻辑设计的出发点。统...
关键词:UML模型 关系数据库 映射方法 统一建模语言 对象建模技术 
UML模型及其应用被引量:21
《计算机工程与应用》1999年第11期47-50,共4页王文玲 金茂忠 
文章扼要介绍了UML的发展历史以及它与过程的关系,并针对UML的特色及存在的一些争议,结合一个从JAVA软件测试系统详细探讨了用例图、类图、活动图、交互图和包图的基本概念、基本思想、鲜明特色以及某些具体的应用问题,然...
关键词:面向对象 UML语言 建模语言 软件系统 
检索报告 对象比较 聚类工具 使用帮助 返回顶部