UML模型

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与设计x
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向模型检测的LTL语句自动生成方法被引量：2
《计算机工程与设计》2023年第8期2337-2344,共8页段喜龙 陆智伟 郑巍 陈晋升 樊鑫 肖鹏 
国家自然科学基金项目(61867004)。
为优化线性时态逻辑语句的生成过程,减少模型检测的时间,提出一种面向模型检测的基于自然语言处理生成线性时态逻辑验证语句的方法。对需求文档提取关键词,将文档中的数据和可以代表模型中状态的名词进行提取,注释UML模型,对UML模型中...
关键词：自然语言处理 模型一致性 线性时态逻辑 UML模型 形式化验证工具 模型验证 模型注释 
基于Z规格的UML模型形式化转换及验证
《计算机工程与设计》2013年第6期2031-2035,共5页张杨 段富 
山西省自然科学基金项目(2008011039);山西省科技攻关基金项目(20080322008)
统一建模语言(UML)所建立的模型的正确性无法通过其本身进行形式化验证,为解决这个问题,根据UML模型的静态性质和动态模块行为两个方面提出结合形式化规格说明语言的模型形式化方案,以此为基础提出将UML目标模型转化为Z规格说明的形式...
关键词：形式化方法 形式化验证 统一建模语言 Z规格 Z-EVES 
基于Atlas语言的数据库模型转换方法的研究被引量：1
《计算机工程与设计》2013年第2期507-514,共8页张博 李亚芬 王普 
国家自然科学基金项目(61174109)
为了减少需求变更对软件开发的影响,提高软件开发效率和系统的可维护性,针对面向对象的数据库建设环节,在MDA思想的基础上,提出了基于元模型的UML模型到数据库模型的自动转换,建立了平台无关模型和平台相关模型的元模型,分析了Atlas的...
关键词：模型转换 模型驱动架构 UML模型 数据库模型 Atlas转换语言 
基于COM原理的UML模型信息提取技术被引量：5
《计算机工程与设计》2007年第17期4099-4101,共3页吴柏青 魏仰苏 蒋国明 
浙江省重点科技攻关基金项目(2005C21027);浙江省教育厅基金项目(20060621)
提出了一种提取UML模型信息的方法。UML是一种优秀的建模语言,使用UML可以为软件模型的建立带来很多方便。同时,为了验证模型的一致性,有必要将模型信息提取出来,通过一些成熟的算法进行测试。因此,研究如何从UML图中提取相应的模型信...
关键词：统一建模语言 状态图 软件测试 组件对象模型 协议 
系统RBAC安全模型与其UML模型的集成
《计算机工程与设计》2007年第4期789-791,共3页郭天文 殷兆麟 范宝德 
山东省自然科学基金项目(Y2005G13)
软件系统建模一般不包括安全建模,系统安全策略和安全机制往往作为开发人员在系统开发后期对系统的补充和完善的措施。这种不规范的安全需求处理方法为系统后期安全维护及系统之间的集成带来莫大隐患。阐述了系统RBAC的安全模型与系统通...
关键词：安全建模 基于角色的访问控制(RBAC) UML RBAC设计模式 模型集成 
MDA中关联从UML模型到Java模型的转换被引量：4
《计算机工程与设计》2006年第16期3078-3081,共4页夏雷 欧阳松 
关联变换是MDA中模型转换的难点,研究了如何定义一套高质量的映射规则用于关联变换。首先讨论了UML中关联关系及其两种实现模式,接着对每种模式分别定义了一套从UML模型(平台独立模型)到Java模型(平台相关模型)的变换规则,最后给出了两...
关键词：模型驱动构架 UML 关联 实现模式 变换 
基于多个域的UML模型的一致性检测被引量：1
《计算机工程与设计》2005年第5期1355-1357,1372,共4页许培嘉 赵合计 
任何模型的表示都是要有意义的、一致的,通常的解决办法是加强约束。给出了在当前软件开发过程中的解决方案。约束和语义的关系是一致性检测的基础。对建模过程中模型受到的各个域的约束进行分级:从专家系统的知识根基中引入即成建模规...
关键词：一致性 域 UML模型 建模规则 软件开发 
基于UML的软件使用模型生成技术研究
《计算机工程与设计》2004年第11期1969-1972,共4页王涛 徐锡山 颜炯 
软件可靠性测试是高可靠软件质量保证的重要过程,而软件使用模型则是进行软件可靠性测试的基础。UML(Unified Modeling Language)作为事实上的工业标准,在软件开发中得到了日益广泛的应用。研究基于UML的软件可靠性测试具有很强的现实...
关键词：软件可靠性测试 软件使用 UML模型 软件开发 模型生成 顺序图 软件质量保证 过程 现实意义 技术研究 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部