理学 元模型体系结构 释 object constraint language; OCL 对象约束语言 一种形式化的模型描述语言。用于描述统一建模语言（UML）模型的细节，既是UML规范的组成部分，也可视为一种独立的语言。
软件工程 释文 object constraint language, OCL 对象约束语言
- Hilbert-Samuel function
- Hilbert scheme
- Hilbert-Schmidt class
- Hilbert Schmidt expansion theorem
- Hilbert-Schmidt expansion theorem
- Hilbert-Schmidt integral operator
- Hilbert-Schmidt kernel
- Hilbert Schmidt norm
- Hilbert-Schmidt norm
- Hilbert Schmidt operator
- Hilbert-Schmidt operator
- Hilbert-Schmidt theory
- Hilbert-Schmidt type
- Hilbert series
- Hilbert singular integral
- Hilbert space
- Hilbert space of quantum states
- Hilbert space with a reproducing kernel
- Hilbert's Program
- Hilbert's system of axioms
- Hilbert-style deduction system
- Hilbert symbol
- Hilbert system of axioms
- Hilbert theorem
- Hilbert transform