On the Rules for Inheritance in LML

Although classification relationships play the dominant role in structuring multi-level models, inheritance relationships, which are restricted to clabjects at the same level, are also important. As in traditional two-level modeling, the basic principle of inheritance in multi-level modeling is to ensure the substitutability of instances of sub-clabjects for instances of super-clabjects. However, for multi-level modeling languages that rely on potency and endurance properties to control classification, the rules governing inheritance can become complicated if "deep substitutable" is desired and these properties are regraded as part of clabjects' intensions. This paper clarifies these rules in the context of the Level-Agnostic Modeling Language supported by the Melanee multi-level modeling environment.