Clabject Typing in MLM - the Double Life of a Clabject: A Position Paper

Mira Balaban, Michael Kifer, Azzam Maraee

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publicationProceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023
PublisherInstitute of Electrical and Electronics Engineers
Pages635-638
Number of pages4
ISBN (Electronic)9798350324983
DOIs
StatePublished - 1 Jan 2023
Event2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2023 - Vasteras, Sweden
Duration: 1 Oct 20236 Oct 2023

Publication series

NameProceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023

Conference

Conference2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2023
Country/TerritorySweden
CityVasteras
Period1/10/236/10/23

Keywords

  • Multi-level modeling
  • OO-type system
  • class facet
  • instance-of
  • object facet
  • object-Oriented
  • subtyping
  • type safety

ASJC Scopus subject areas

  • Software
  • Engineering (miscellaneous)

Cite this