对象约束语言

对象约束语言（object constraint language，OCL），计算机科学技术名词，一种形式化的模型描述语言。用于描述统一建模语言（UML）模型的细节，既是UML规范的组成部分，也可视为一种独立的语言。