UML模型

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于回答集编程的UML模型不一致性修正被引量：1
《计算机工程》2011年第S1期43-45,共3页王洁 艾莹莹 赵丽丽 夏杰 
北京市教委科研计划基金资助项目(JC007011200904)
为支持大规模工业应用的设计,研究统一建模语言(UML)中的不一致性修正问题,提出基于回答集编程的修正方法,处理类图和序列图之间的不一致性。采用逻辑程序表示UML图和固有约束规则,借助推理机求解得到回答集,该回答集能使UML图保持一致...
关键词：回答集编程 统一建模语言 不一致性 修正 
基于TLA的UML模型形式化验证被引量：3
《计算机工程》2011年第2期72-74,共3页梁盟磊 王小平 薛小平 李刚 
国家自然科学基金资助项目(60972036)
统一建模语言(UML)不能直接对所建立模型的正确性进行形式化验证。为解决上述问题,从UML模型的静态结构和动态行为2个方面分别提出结合行为时序逻辑(TLA)的模型形式化方法,在此基础上提出将UML模型转化为TLA+的形式化描述方法,并用TLC...
关键词：形式化方法 形式化验证 统一建模语言 行为时序逻辑 
分布构件化软件性能预测的UML模型标注方法
《计算机工程》2007年第10期38-40,共3页王克波 贾焰 韩伟红 王志英 马永柱 
国家"863"计划基金资助项目(2004AA112020;2003AA115210;2003AA111020;2003AA115410)
构件能够独立部署,经过组装构成应用。将软件模型转换成性能模型的过程中,传统的功能模型不能提供足够的信息进行转换。文章提出了分布构件化软件CCPE Profile以及一种基于此的标注方法,使得分布构件化软件的非功能信息蕴含于软件模型之...
关键词：性能 分布式构件 UML 
基于Web的设备远程监测与诊断系统UML模型被引量：10
《计算机工程》2004年第14期27-29,共3页伍星 陈进 李如强 
"十五"国家科技攻关计划资助项目(2001BA204B05-KHKZ0009)
以实现软件系统在设备远程监测与故障诊断领域的复用为目标,在实际项目的基础上,介绍了采用UML(统一模型语言)对整个系统进行需求分析、静态和动态建模的过程,提出了系统中组件的分类策略,指出UML在设备监测和故障诊断系统开发和应用领...
关键词：WEB应用 远程监测 故障诊断 统一模型语言 组件框架 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部