多项选择题

A.一个用例实现是设计模型中一个系统用例的表达式
B.一个用例实现跨越使用一个类图来表示
C.用例实现提供了从分析和设计到需求的可追踪性
D.用例实现与其关联的用例之间存在实现关系