摘要： UML是目前广泛使用的标准的面向对象建模语言。为了提高建模的精确性，UML模型可以用对象约束语言OCL或者是用Object-Z规格说明语言加以补充说明。本文从多个方面分析比较了这两种语言的特点，并提出建模人员应充分利用这两种语言的特点，对系统进行精确的建模。

关键词: Object-Z UML模型 OCL 面向对象建模语言 对象约束语言 规格说明 系统 分析比较 人员 标准