| 基于USE的OCL约束验证过程解析 |
| |
| 引用本文： | 罗清胜,黎升洪.基于USE的OCL约束验证过程解析[J].计算机与现代化,2006(12):75-78. |
| |
| 作者姓名： | 罗清胜 黎升洪 |
| |
| 作者单位： | 江西财经大学信息学院,江西,南昌,330013 |
| |
| 摘 要： | 系统的静态模型通常由UML类图和OCL约束两部分构成。OCL约束可以转化为相应的程序代码，为此需要对模型及约束进行验证与确认。本文阐述了OMG的四层元横型框架，并以一个简易的模型为例，说明用USE对模型进行验证的全过程。
|
| 关 键 词： | OCL约束 元模型 验证与确认 |
| 文章编号： | 1006-2475（2006）12-0075-04 |
| 收稿时间： | 2006-01-17 |
| 修稿时间： | 2006年1月17日 |
Parsing of OCL Constraints Confirmation with USE |
| |
| LUO Qing-sheng,LI Sheng-hong.Parsing of OCL Constraints Confirmation with USE[J].Computer and Modernization,2006(12):75-78. |
| |
| Authors: | LUO Qing-sheng LI Sheng-hong |
| |
| Abstract: | 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. |
| |
| Keywords: | OCL constraint recta-model confirmation and validation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
