对象约束语言

作品数：55被引量：113H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：彭中杜浩曾一毛晓光张申生更多>>
相关机构：重庆大学南京航空航天大学国防科学技术大学南京理工大学更多>>
相关期刊：《计算机辅助设计与图形学学报》《南京理工大学学报》《计算机集成制造系统》《信息技术与信息化》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国防科技技术预先研究基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=小型微型计算机系统x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种利用Kodkod约束求解器验证UML-OCL类图的方法被引量：1
《小型微型计算机系统》2014年第2期205-209,共5页罗奇鸣 
MOE-MS多媒体计算与通信实验室基金项目(07122807)资助
采用形式化方法对软件模型进行自动验证在模型驱动架构开发方法中发挥重要的作用.本文提出一种对面向对象软件设计模型的静态结构进行验证的具体实现方法.该方法将用OCL不变式约束的UML类图转换为用关系逻辑表达的公式,Kodkod约束求解...
关键词：统一建模语言 对象约束语言 类图 验证 软件工程 
MDA模型转换的OCL扩展被引量：4
《小型微型计算机系统》2012年第3期548-551,共4页余金山 周武斌 
福建省自然科学基金项目(A0810013)资助
模型驱动架构(MDA)是继CORBA,UML之后由OMG推出的重要的软件开发方法学.MDA的核心是模型转换,模型转换语言又是实施模型转换的关键.本文从MOF元模型的角度首先对OCL进行动态特性的扩展,使其具备表达动态行为语义的能力;然后通过扩展相...
关键词：模型驱动 模型转换 模型转换语言 对象约束语言 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部