Comparison and Analysis of OCL and Object-Z as UML Constraint Language
OCL与Object-Z作为UML约束语言的分析比较

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