Deductive reconstruction of MLT * for multi-level modeling.

In the last two decades, about a dozen proposals were made to extend object-oriented modeling by multiple abstraction levels. One group of proposals designates explicit levels to objects and classe ...