理学 元模型体系结构 释 object constraint language; OCL 对象约束语言 一种形式化的模型描述语言。用于描述统一建模语言（UML）模型的细节，既是UML规范的组成部分，也可视为一种独立的语言。
软件工程 释文 object constraint language, OCL 对象约束语言
- implicit
- implicit Adams formula
- implicit algebraic surface
- implicit artificial boundary condition
- implicit association test
- implicitation in translation
- implicit attitude
- implicit axiom
- implicit behavior
- implicit branching
- implicit constraint
- implicit contracts
- implicit contract theory
- implicit curve
- implicit definition
- implicit difference equation
- implicit difference method
- implicit differential equation
- implicit differentiation
- implicit enumeration method
- implicit equation
- implicit Euler method
- implicit formula
- implicit function
- implicit function theorem