On the rules for inheritance in LML

DOI:	https://doi.org/10.1109/MODELS-C.2019.00021
URL:	https://ieeexplore.ieee.org/document/8904676
Additional URL:	https://www.researchgate.net/publication/337518077...
Document Type:	Conference or workshop publication
Year of publication:	2019
Book title:	2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion : 15-20 September 2019, Munich, Germany : proceedings
Page range:	113-118
Conference title:	22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
Location of the conference venue:	München, Germany
Date of the conference:	15.-20.09.2019
Publisher:	Burgueño, Loli
Place of publication:	Los Alamitos, CA [u.a.]
Publishing house:	IEEE
ISBN:	978-1-7281-5126-7 , 978-1-7281-5125-0
Publication language:	English
Institution:	School of Business Informatics and Mathematics > Software Engineering (Atkinson 2003-)
Subject:	004 Computer science, internet
Abstract:	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.