OCL约束验证与实现的方法

摘要：

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

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

所属期刊栏目：31

分类号：TP311(计算技术、计算机技术)

在线出版日期：2010-05-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1264-1266,1270