TY - GEN
T1 - Mediation-based MLM in FOModeLer
AU - Balaban, Mira
AU - Khitron, Igal
AU - Maraee, Azzam
AU - Kifer, Michael
N1 - Publisher Copyright:
© 2022 ACM.
PY - 2022/10/23
Y1 - 2022/10/23
N2 - 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.
AB - 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.
KW - MLM semantics
KW - executable logic
KW - multi-level modeling
UR - http://www.scopus.com/inward/record.url?scp=85142923355&partnerID=8YFLogxK
U2 - 10.1145/3550356.3561599
DO - 10.1145/3550356.3561599
M3 - Conference contribution
AN - SCOPUS:85142923355
T3 - Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings
SP - 444
EP - 452
BT - Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022
PB - Association for Computing Machinery, Inc
T2 - 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022
Y2 - 23 October 2022 through 28 October 2022
ER -