Substitution 是两个 Classifier 之间A关系，表示替换的分类器符合合约分类器指定的合约。这意味着替换分类器的实例是运行时可替换的，其中合约分类器的实例是预期的。在该示例中，名为 ResizableWindow 的类有一个到名为 Window 的类的替换连接器，这意味着无论您在哪里被要求提供一个窗口，您都可以使用一个可调整大小的窗口。
替换关系是依赖关系的子类型。
