填空题 状态机理论认为，系统总是处于一定的状态之中。系统在任一状态中都是稳定的，如果没有（），系统会一直持续维持该状态。

填空题 顺序图和通信图从不同的侧重点对用例的典型场景进行完全等价的实现。一个更常见的做法是在分析阶段的开始，先开发（），而不是直接考虑对象间的交互图。

填空题 对象约束语言（）是一种规约语言，它以（表达式）的方式定义对其它模型元素的约束。