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

Parsing of OCL Constraints Confirmation with USE

作　　者：罗清胜[1] 黎升洪[1] 

机构地区：[1]江西财经大学信息学院,江西南昌330013

出　　处：《计算机与现代化》2006年第12期75-78,共4页Computer and Modernization

摘　　要：系统的静态模型通常由UML类图和OCL约束两部分构成。OCL约束可以转化为相应的程序代码,为此需要对模型及约束进行验证与确认。本文阐述了OMG的四层元模型框架,并以一个简易的模型为例,说明用USE对模型进行验证的全过程。Those static models in system modeling axe usually eomprisecl of UML class diagrams and OCL constraints. OCL constraints can be tnmstated into program code, therefore, model and its eonstratnts should be validated and confirmed. The article explaines OMG meta-model architecture of four layers, and parses the process of the OEL constraints confirmation by a simple model.

关 键 词：OCL约束 元模型 验证与确认 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]