Maintaining consistency among abstraction levels is a necessary, but complex, task. Tool support can help an architect in this task, for instance by checking whether a detailed description of a part of the model conforms to a higher-level description.