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 classes. The second group uses the powertype pattern to implicitly establish levels. From this group, we consider two proposals, DeepTelos and MLT^*. Both have been defined via axioms and both give a central role to the powertype pattern. In this paper, we reconstruct MLT^* with the deductive axiomatization style used for DeepTelos. The resulting specification is executed in a deductive database to check MLT^* multi-level models for errors and complete them with derived facts that do not have to be explicitly asserted by modelers. This leverages the rich rules of MLT^* with the deductive approach underlying DeepTelos. The effort also allows us to clearly establish the relation between DeepTelos and MLT^*, in an attempt to clarify the relations between approaches in this research domain. As a byproduct, we supply MLT-Telos as a fully operational deductive implementation of MLT^* to the research community.