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