OCL约束验证与实现的方法  

Method to OCL constraints verification and implementation

作　　者：罗清胜[1] 

机构地区：[1]江西财经大学图书馆,江西南昌330013

出　　处：《计算机工程与设计》2010年第6期1264-1266,1270,共4页Computer Engineering and Design

摘　　要：为了能在运行时验证OCL约束,提出了约束验证框架。针对OCL-Java代码(即OCL约束对应的可执行Java代码)插入的简单方案和封装方法存在的不足,给出了改进的代码插入方案,其中应用异常处理技术从而能够捕获冲突的约束。为了使OCL-Java代码根据设计的代码模式插入到Java程序中,对Java解析器作了修改。最后,实验结果表明了该方法的可行性。To verificate the OCL（object constraint language） constraints during runtime, a framework of constrait verification is presented.In allusion to the disadvantages of the simple code insertion approach and wrapping method of the OCL-Java code insertion, a mended code insertion approach is put forward, which applying the exception handling technology catching the constraints violated.In order to make OCL-Java code insert into the Java program according to the designed code pattern, the Java paser is mended.At last, the feasibility of the verification method is proved with an experiment.

关 键 词：对象约束语言 约束冲突 约束验证 代码模式 Java解析器 

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