Mediation-based MLM in FOModeLer

Mira Balaban, Igal Khitron, Azzam Maraee, Michael Kifer

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

1 Scopus citations

Abstract

MLM has attracted much attention over the last two decades. MLM activities include philosophical discussions about ontologies, requirements and relevant services, and development of theories, languages, and tools. Approaches differ in their support for MLM concepts on the levels of syntax, semantics and pragmatics. The Mediation-based MLM (MedMLM), is a formal theory that defines a multilevel model as an ordered collection of levels that are inter-related by mediators, and can be enriched by inter-level relationships and interactions. The levels of MedMLM are plain class models, and the mediators define inter-level instantiation relations. MedMLM is unique in supporting a modular architecture of levels and mediators. This paper introduces the MedMLM software modeling tool, that is built on top of the FOModeLer class modeling tool. The tool supports MLM construction, querying and reasoning, meta-reasoning, validation, syntax verification, and plain computation. We also compare the MedMLM tool with older MLM approaches using semantic, syntactic, and pragmatic MLM criteria.

Original languageEnglish
Title of host publicationProceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022
Subtitle of host publicationCompanion Proceedings
PublisherAssociation for Computing Machinery, Inc
Pages444-452
Number of pages9
ISBN (Electronic)9781450394673
DOIs
StatePublished - 23 Oct 2022
Event25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022 - Montreal, Canada
Duration: 23 Oct 202228 Oct 2022

Publication series

NameProceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings

Conference

Conference25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022
Country/TerritoryCanada
CityMontreal
Period23/10/2228/10/22

Keywords

  • MLM semantics
  • executable logic
  • multi-level modeling

ASJC Scopus subject areas

  • Engineering (miscellaneous)
  • Software

Fingerprint

Dive into the research topics of 'Mediation-based MLM in FOModeLer'. Together they form a unique fingerprint.

Cite this