UML模型

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于UML类图和活动图的故障树生成方法被引量：3
《计算机科学》2016年第7期180-185,共6页徐慧 燕雪峰 周勇 
国防科工局十二五重大基础科研项目(c0420110005;NS2013091)资助
针对UML活动图在生成故障树的过程中只能反映活动事件流故障导致的系统失效,不能反映系统静态状态故障的问题,提出了一种活动图结合类图生成故障树的方法。在原有活动图的基础上,使用类图增加系统静态状态信息,设计活动图和类图到故障...
关键词：UML模型 活动图模型 类图模型 故障树 
基于UML活动图的软件可靠性预测方法被引量：1
《计算机科学》2015年第S1期531-536 560,560,共7页苏岳 李蜜 汪文心 张德平 
南京航空航天大学计算机科学与技术学院科技创新资助项目资助
以构件化的软件开发方法为背景,提出了一种能自动将UML活动图转换为模型Markov链的可靠性预测方法。该方法基于构件化的软件体系结构,从UML的活动图和顺序图出发,通过构造一个名为"控制结构转移图"的中间模型,将标注了可靠性信息的UML...
关键词：UML模型 MARKOV链 软件可靠性 模型转换 路径测试 
UML模型和Java代码之间的一致性检测方法被引量：6
《计算机科学》2015年第4期151-155,共5页曾一 李函逾 刘慧君 余双双 周波 
国家自然科学基金:自然最近邻居的特征分析与应用研究(61272194)资助
针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法。首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序...
关键词：UML模型 JAVA代码 时序调用图 方法调用图 一致性检测 
基于UML模型的敏捷开发迭代顺序的确定被引量：4
《计算机科学》2013年第12期215-218,共4页胡文生 赵明 杨剑锋 龙士工 
国家自然科学基金(61163001)资助
确定迭代顺序是敏捷开发过程中首先要解决的一个关键问题,它是敏捷开发过程的基础,有很多文献资料在这方面做了大量工作,但都是以功能组的价值为依据来确定迭代开发顺序的,这种以单一指标为依据确定迭代顺序的方式往往会产生一些意料不...
关键词：UML 用例 风险程度 价值 迭代顺序 
UML模型到FSM模型的转换被引量：5
《计算机科学》2009年第7期113-116,149,共5页郭亮 缪淮扣 王皙 陈圣波 
国家自然科学基金项目(60673115);国家863计划项目(2007AA01Z144);国家973项目(2007CB310800);上海市教委科研项目(07ZZ06);上海市重点学科建设项目(J50103)资助
通常可采用UML的各种图从Web应用不同方面对其进行建模。当对Web应用模型进行测试和验证时,需要分别考虑这些采用了不同图形描述的模型,这就带来了测试和验证的繁琐。如果将UML各种图转换到有限状态机(FSM)模型,则可以统一用FSM模型来...
关键词：状态图 模型转换规则 有限状态机 UML 
精化UML模型被引量：3
《计算机科学》2007年第3期250-253,共4页杨静 张明义 刘志明 
国家自然科学基金项目(No.10161005);贵州省科研基金项目(No.3086)
本文通过融合UML用例图、类图、顺序图和状态图,得到一个软件系统的需求模型和设计模型,给出了需求模型和设计模型的协调性条件及精化规则。这样,我们可以从软件开发的需求分析和设计阶段检查模型的协调性,通过协调地精化模型后生成代...
关键词：UML 用例图 类图 顺序图 状态图 需求模型 设计模型 协调性 精化 
UML模型的协调性检查
《计算机科学》2006年第9期262-265,共4页杨静 张明义 
国家自然科学基金项目(No.10161005);贵州省科研基金项目(No.3086)。
本文融合UML用例图、类图、顺序图和状态图,得到一个软件系统的需求模型,给出了这个需求模型的各个元素及相互间协调性检查的一种方法,这样,可以从软件开发的需求分析阶段检查模型的协调性,减少开发成本,最后再从协调的需求模型生成代码。
关键词：UML 用例图 类图 顺序图 状态图 需求模型 协调性 
从Executable UML模型到J2ME程序被引量：1
《计算机科学》2005年第12期112-115,127,共5页袁梁 李宣东 赵建华 郑国梁 
国家自然科学基金(批准号 60203009;60233020);江苏省自然科学基金(批准号 BK2003408);国家973项目(批准号 2002CB312001)的资助
嵌入式系统由于功能的特定性和底层硬件的多样性,使得其代码的重用和易移植性一直是困扰开发者的一大难题。模型驱动体系结构(MDA)是OMG组织提出的一种新的软件开发方法。MDA将关注点集中于业务模型,把平台相关内容和不同的实现技术从...
关键词：模型驱动的软件体系结构 J2ME 嵌入式系统 可执行UML 转换规则 
基于UML模型的统计测试方法研究
《计算机科学》2005年第8期219-222,共4页朱虹虹 熊光泽 雷航 桑楠 
国家"十五"预研项目(No.41315040106)
为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出了一种基于UML模型的统计测试方法。论文首先建立了基于UML模型的统计测试过程,然后结合扩展的UML模型和使用模型的形式化描述,...
关键词：统计测试 使用模型 UML模型 马尔可夫链 有限状态机 测试方法 统一建模语言UML 形式化描述 可测试性 工业标准 
UML模型中并发对象的组合验证
《计算机科学》2005年第7期231-233,F004,共4页董威 王戟 齐治昌 
国家自然科学基金(No.60303013);武汉大学软件工程国家重点实验室开放基金(No.SKLSE03-08)
本文在用层次自动机结构化表示UML Statecharts的基础上,定义了UML协同图中并发对象的同步合成,然后根据结构间的模拟关系,研究了对并发对象系统进行组合验证的方法和规则,使有可能在对UML协同图进行模型检验的过程中不必建立系统的全...
关键词：并发对象 UML模型 STATECHARTS 验证 组合 同步合成 模拟关系 对象系统 模型检验 状态爆炸 结构化 自动机 状态图 协同 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部