（）是类元之间的语义关系，其中的一个类元指定了由另一个类元保证执行的契约。

（）是类元之间的语义关系，其中的一个类元指定了由另一个类元保证执行的契约。
A.依赖关系
B.关联关系
C.泛化关系
D.实现关系
正确答案：D