用于在保护条件下使用对象的UML决策节点语法

给定一个对象

数组

，某个任意类

数组

的实例，该类具有属性

length

我如何对UML活动图建模，在某一点上，它在控制流语句中使用

array.length

，即在决策节点的保护中

array = getArray();
if (array.length > 5)
    save();
else
    waitForData();

---

我知道所使用的决策节点的保护将是

[array.length>5]

，

[array.lengthUML没有指定如何描述保护。它只要求它是一个逻辑表达式，即计算结果要么为真，要么为假。
您可以使用自然语言、任何编程语言或OCL。
你所用的陈述绝对有效。
此外，还可以在对象节点上放置对象的状态，例如[length>5]
我还刚刚读到自然语言契约在UML中是完全可以接受的。@mike OCL/precise语言的目的是它们是机器可消费的，不会引入歧义。如果你的目标受众是人类，那么自然语言就足够好了。