OCL约束验证与实现的方法

为了能在运行时验证OCL约束,提出了约束验证框架.针对OCL-Java代码(即OCL约束对应的可执行Java代码)插入的简单方案和封装方法存在的不足,给出了改进的代码插入方案,其中应用异常处理技术从而能够捕获冲突的约束.为了使OCL-Java代码根据设计的代码模式插入到Java程序中,对Java解析器作了修改.最后,实验结果表明了该方法的可行性.

Method to OCL constraints verification and implementation

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 ...