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