对系统进行建模的一个关键原因是能够对模型进行分析，这提供了一种经济高效的方式来深入了解构建的系统将如何在现场执行。对模型进行分析比构建原型更便宜、更方便。此块定义图定义了将用于在此示例中进行分析的各种模型元素。它描述了将用于分析的每个约束块和相关方程，以及它们之间的关键关系。图上有两种类型的元素- 块和约束。该图还显示了需求和测试用例之间的验证关系。
