@inproceedings{d7cc479ae6254c3b808ed2f32cd0f0e5,
title = "Clabject Typing in MLM - the Double Life of a Clabject: A Position Paper",
abstract = "MultiLevel software Modeling (MLM) views complex domains as a classification system, created by monotonically growing abstraction of a domain. A multilevel model consists of levels which are structures of modeling elements that are inter-related and possibly constrained. Elements in different levels can be inter-related by an instantiation relation, that defines an element of a lower level as an instance-of an element of a higher level. The instance-of relation assigns a dual role to an instance class: In addition to its role as a class - its class facet, it also functions as an object of its owner class - its object facet. Such classes are termed clabjects. This position paper raises the issue of typing the class facet of clabjects and its relationship to the types of the dual object facet. The approaches of four MLM systems are summarized. The paper points out the crucial impact of clabject typing on computation with MLM-driven systems.",
keywords = "class facet, instance-of, Multi-level modeling, object facet, object-Oriented, OO-type system, subtyping, type safety",
author = "Mira Balaban and Michael Kifer and Azzam Maraee",
note = "Publisher Copyright: {\textcopyright} 2023 IEEE.; 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2023 ; Conference date: 01-10-2023 Through 06-10-2023",
year = "2023",
month = jan,
day = "1",
doi = "10.1109/MODELS-C59198.2023.00104",
language = "English",
series = "Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023",
publisher = "Institute of Electrical and Electronics Engineers",
pages = "635--638",
booktitle = "Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023",
address = "United States",
}