ADL是一种在底层语义模拟支持下的形式化语言。基于底层语义的工具为体系结构的（）、分析、（）、（）、设计过程等提供支持。
参考答案：表示；演化；细化
下列说法中，正确的是 [ ]
A．延长直线AB到C
B．C，D两点间的距离就是线段CD
C．射线比直线短一半
D．同一平面内有四个点，以其中任意两个点为端点可以得到6条线段
下列属于民事责任的有（ ）。
A．罚金
B．赔偿损失
C．支付违约金
D．没收财产
