Mediation-based MLM in FOModeLer
Mediation-based MLM in FOModeLer
复制标题
FOModeLer 中基于中介的 MLM
DOI：
10.1145/3550356.3561599
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Kifer, Michael
中科院分区：
文献类型：
--
作者：
Balaban, Mira;Khitron, Igal;Maraee, Azzam;Kifer, Michael
在过去的二十年里，传销引起了人们的极大关注。传销活动包括关于本体论、需求和相关服务的哲学讨论，以及理论、语言和工具的发展。基于中介的传销(MedMLM)是一种形式化的理论，它将多层模型定义为由中介相互关联的层级的有序集合，并可以通过层间关系和交互来丰富。MedMLM的级别是普通的类模型，调解器定义了级别间的实例化关系。MedMLM在支持层次和中介的模块化体系结构方面具有独到之处，本文介绍了建立在FOModeLer类建模工具之上的MedMLM软件建模工具。该工具支持MLM构建、查询和推理、元推理、验证、语法验证和纯计算。我们还使用语义、语法和语用传销标准将MedMLM工具与较旧的传销方法进行了比较。
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.TheMediation-based MLM (MedMLM), is a formal theory that defines a multilevel model as an ordered collection oflevelsthat are inter-related bymediators, and can be enriched byinter-levelrelationships 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.
登录
查看更多内容
使用 F-OML 进行基于逻辑的模型级软件开发
DOI：
--
发表时间：
2011
期刊：
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
影响因子：
--
作者：
Mira Balaban;M. Kifer
通讯作者：
M. Kifer
建立一个有根据的多层次概念建模理论
DOI：
--
发表时间：
2018
期刊：
Journal of Software and Systems Modeling
影响因子：
--
作者：
V. Carvalho;J. P. Almeida
通讯作者：
J. P. Almeida
关于评估多层次建模
DOI：
--
发表时间：
2020
期刊：
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
影响因子：
--
作者：
C. Atkinson;Thomas Kühne
通讯作者：
Thomas Kühne
多层次建模（Dagstuhl 研讨会 17492）
DOI：
--
发表时间：
2018
期刊：
Dagstuhl Reports
影响因子：
--
作者：
J. P. Almeida;U. Frank;Thomas Kühne
通讯作者：
Thomas Kühne
双深度实例化及其ConceptBase实现
DOI：
--
发表时间：
2014
期刊：
International Conference on Advanced Information Systems Engineering
影响因子：
--
作者：
B. Neumayr;M. Jeusfeld;M. Schrefl;C. G. Schütz
通讯作者：
C. G. Schütz