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

顺序图和通信图从不同的侧重点对用例的典型场景进行完全等价的实现。一个更常见的做法是在分析阶段的开始，先开发（）...

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

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

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

在需求工程中，主要产生三类重要的文档（）、（）以及需求规格说明。

填空题在需求工程中，主要产生三类重要的文档（）、（）以及需求规格说明。