理学 元模型体系结构 释 object constraint language; OCL 对象约束语言 一种形式化的模型描述语言。用于描述统一建模语言（UML）模型的细节，既是UML规范的组成部分，也可视为一种独立的语言。
软件工程 释文 object constraint language, OCL 对象约束语言
- de Rham torsion
- derivability
- derivable
- derivable element
- derivable expression
- derivable formula
- derivable rule
- derivable statement
- *-derivation
- derivation
- derivation algebra
- derivation formula
- derivation module
- derivation of a field
- derivation of a Lie algebra
- derivation of an algebra
- derivation of a polynomial
- derivation of a ring
- derivation rule
- derivation tree
- derivation weaves
- derivative
- derivative control
- derivative coupling
- derivative deposits