对象约束语言

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于AOP技术的软件性质监控框架被引量：1
《计算机科学》2010年第3期165-169,共5页雷晏 毛晓光 王承松 
国家自然科学基金(编号:60503032);国家863计划课题(编号:2006AA01Z178;2007AA010301)资助
针对软件运行时可信保障存在的相关问题,提出了基于AOP技术的软件性质监控框架。本框架使用OCL(Object Constraint Language)和UML Profile的SPT(Schedulability,Performance and Time)规范实现了软件性质在模型上的描述,基于描述并独...
关键词：监控框架 SPT规范 软件性质 对象约束语言 面向方面编程 
基于EMF和OCL的MDA软件工程方法研究被引量：11
《计算机科学》2007年第1期268-271,共4页常浩浩 覃征 
国家863计划项目资助(2003AA412020)
随着基于模型的软件工程方法的兴起,模型逐渐地变为软件工程中的重要元素,介绍了OMG规范MOF、XMI和OCL及在Eclipse软件工程环境下的相关实现EMF,说明了统一建模语言UML的使用方式和存在的问题,介绍了如何用EMF和OCL来设计建模语言,比较...
关键词：元对象设施 对象约束语言 EMF 模型驱动体系结构 UML类模型 模型转换 O/R映射 
OCL与Object-Z作为UML约束语言的分析比较被引量：4
《计算机科学》2004年第12期182-185,共4页陈怡海 缪淮扣 
国家自然科学基金(项目编号60373072);上海市教委科技发展基金(项目编号02AK07)
UML是目前广泛使用的标准的面向对象建模语言。为了提高建模的精确性,UML模型可以用对象约束语言OCL或者是用Object-Z规格说明语言加以补充说明。本文从多个方面分析比较了这两种语言的特点,并提出建模人员应充分利用这两种语言的特点,...
关键词：OBJECT-Z UML模型 OCL 面向对象建模语言 对象约束语言 规格说明 系统 分析比较 人员 标准 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部