UML(统一建模语言)是一种定义良好、易于表达、功能强且普遍适用的建模语言,用其可以从不同的角度对信息系统进行建模。用UML图(例如类图)建立的模型并不是足以精确的,经常还要用自然语言描述一些约束,而这可能会造成歧义。OCL(Object Constraint Language,对象约束语言)是由OMG提出的一种用于描述UML模型上表达式的形式语言,这些表达式可用以规定系统中必须成立的条件和查询模型信息。　　 OCL的应用离不开OCL工具(核心是OCL引擎)的支持。现阶段,已出现一些OCL工具,它们常被用在各种建模框架或工具中。然而,在这些OCL工具中,有些支持的OCL版本较旧,能解析OCL语句的种类有限:有些只支持特定的建模框架或工具,很难扩展该OCL工具到其他建模工具上。针对上述问题,并参考现有OCL工具的设计与实现,本文提出了自己的OCL引擎,它满足下列要求:1)遵行OCL2.0规范,能对主要的OCL语句进行解析;2)OCL引擎与特定建模框架或工具松耦合,以便于OCL引擎复用到多种建模工具上。　　 本文给出了一个OCL引擎的体系结构,然后重点阐述怎样对OCL语句进行词法分析、语法分析和语义分析,如何表示和获取OCL引擎所需的模型信息,怎样实现OCL引擎与特定建模框架或工具的解耦,如何设计与实现OCL标准库和OCL解释求值器,并通过案例说明OCL引擎在建模工具上的应用。