OCL约束验证与实现的方法.pdf

12642010，31(6)计算机工程与设计ComputerEngineeringandDesign ·软件与算法· OCL约束验证与实现的方法 罗清胜 (江西财经大学图书馆，江西南昌330013) 的简单方案和封装方法存在的不足，给出了改进的代码插入方案，其中应用异常处理技术从而能够辅获冲突的约束．为了使 关键词：对象约束语言；约束冲突；约束验证；代码模式；Java解析器 中图法分类号：TP311文献标识码：A 文章编号：1000．7024(2010)06．1264．03 MethodtoOCLconstraintsverificationand implementation LUO Qing-sheng ofFinanceand 33001 3，China) (Library,JiangxiUniversity Economics，Nanchang Abstract：Toverificatethe constraint frameworkofconstraitverificationis rtmtime，a OC．L(object language)constraintsduring tothe ofthe codeinsertion and method code allusion oftheOCL-Java presented．In disadvantagessimple approachwrapping insertion， amendedcodeinsertion is the theconstraintsviolated． forward,whichexceptiontechnology approachput applying handling catching InordertomakeOCL-JavacodeinsertintotheJava tothe code Java ismended．At programaccordingdesignedpattern，thepaser last， the oftheverificationmethodis withall feasibility proved experiment． constraint Keywords：objectlanguage；constraintviolation；constraintverification；codepattern；Javaparser 式都不能有效地检测出冲突的约束，这是因为代码模式中没 0引 言 有设计关于抛出异常的功能。为此，本文提出了改进的方案。 统一建模语言(unifiedmodelinglanguage，UML)Ⅲ在软件工 1改进的方案 程领域已被广泛接受。UML已经包含了它自己的语言即对 1．1基本思想 象约束语言(objectconstraintlanguage，OCL)来弥补自然语言固 有的模棱两可性，OCL2．0已被纳入为UML2．