OCL expressions usually are used to depict the accurate meaning of UML model.

• 摘要从语法、语义域和语义映射三个方面，给出了基于UML元模型和形式化的OCL表达式语义描述。