1 / 10

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