2.7 对象约束语言简介

对象约束语言（Object Constraint Language，OCL）是UML中专门用于编写约束和业务规则的一种形式语言。

1995年，IBM公司的Jos Warmer和Steve Cookdailing带领的一个小组开发了对象约束语言，并将其作为业务建模项目的一部分，它后来成为IBM提交给对象标准化组织（OMG）的统一建模语言的一个部分，并将其视为定义模型中约束的推荐语言，并成为UML版本1.1规范的一部分开始被正式采用。