对象约束语言OCL：UML的精确描述语言开篇：自然语言的歧义张三对李四说：“我想找个程序员朋友的老婆”。李四懵了：“你到底想找谁？”理解1：程序员的【朋友的老婆】= 程序员的朋友的老婆理解2：【想找个程序员】的朋友的老婆 = 找一个程序员，然后找这个程序员朋友的老婆自然语言有歧义，UML图也有歧义。OCL就是用来消除UML歧义的精确描述语言。什么是OCL？OCL（Object Constraint Language）是对象约束语言，用于为UML模型添加精确的约束。OCL的特点：精确：没有歧义形式化：有严格的语法可执行：可以被工具验证OCL不用于编程，而是用于描述约束。OCL的基本概念约束（Constraint）约束是对模型元素的限制。格式：{表达式}例子：