基于USE的OCL约束验证过程解析

• 作者: 罗清胜 黎升洪
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: OCL约束 元模型 验证与确认
• 年，卷（期）: 2006,（12）
• 所属期刊栏目: 程序设计与算法
• 页码范围: 75-78
• 页数: 4页
• 分类号: TP311
• 字数: 2954字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2006.12.025

摘要

系统的静态模型通常由UML类图和OCL约束两部分构成.OCL约束可以转化为相应的程序代码,为此需要对模型及约束进行验证与确认.本文阐述了OMG的四层元模型框架,并以一个简易的模型为例,说明用USE对模型进行验证的全过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黎升洪	江西财经大学信息学院	15	129	5.0	11.0
2	罗清胜	江西财经大学信息学院	3	5	1.0	2.0