The top arrow shows that a decreasing level of abstraction results in greater implementation specificity by means of model transformations.

顶端的箭头表示抽象级别的下降导致通过模型转换更大的实现具体性。