AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning

• URL: http://arxiv.org/abs/2403.02652v1
• Date: Tue, 5 Mar 2024 04:49:21 GMT
• Title: AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
• Authors: Ferhat Erata, Arda Goknil, Ivan Kurtev, Bedir Tekinerdogan
• Abstract summary: AlloyInEcore is a tool for specifying metamodels with their static semantics. It has been evaluated on three industrial case studies in the automotive domain.
• Score: 4.732769742263469
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We present AlloyInEcore, a tool for specifying metamodels with their static semantics to facilitate automated, formal reasoning on models. Software development projects require that software systems be specified in various models (e.g., requirements models, architecture models, test models, and source code). It is crucial to reason about those models to ensure the correct and complete system specifications. AlloyInEcore allows the user to specify metamodels with their static semantics, while, using the semantics, it automatically detects inconsistent models, and completes partial models. It has been evaluated on three industrial case studies in the automotive domain (https://modelwriter.github.io/AlloyInEcore/).

Related papers

• Apple Intelligence Foundation Language Models [109.60033785567484]
  This report describes the model architecture, the data used to train the model, the training process, and the evaluation results. We highlight our focus on Responsible AI and how the principles are applied throughout the model development.
  arXiv  Detail & Related papers  (2024-07-29T18:38:49Z)
• Model-driven realization of IDTA submodel specifications: The good, the bad, the incompatible? [49.60138105915326]
  Asset Administration Shells are trending in Industry 4.0. In February 2024, the Industrial Digital Twin Association announced 84 and released 18 AAS submodel specifications. We present a model-driven approach, which transforms extracted information from IDTA specifications into an intermediary meta-model and, from there, generates API code and tests.
  arXiv  Detail & Related papers  (2024-06-20T16:33:46Z)
• Aligning Models with Their Realization through Model-based Systems Engineering [0.0]
  We propose a method for aligning models with their realization through the application of model-based systems engineering. Our approach facilitates a more seamless integration of models and implementation, fostering enhanced Business-IT alignment.
  arXiv  Detail & Related papers  (2024-06-18T06:50:36Z)
• EMR-Merging: Tuning-Free High-Performance Model Merging [55.03509900949149]
  We show that Elect, Mask & Rescale-Merging (EMR-Merging) shows outstanding performance compared to existing merging methods. EMR-Merging is tuning-free, thus requiring no data availability or any additional training while showing impressive performance.
  arXiv  Detail & Related papers  (2024-05-23T05:25:45Z)
• Fine-Tuning Enhances Existing Mechanisms: A Case Study on Entity Tracking [53.66999416757543]
  We study how fine-tuning affects the internal mechanisms implemented in language models. Fine-tuning enhances, rather than alters, the mechanistic operation of the model.
  arXiv  Detail & Related papers  (2024-02-22T18:59:24Z)
• ModelScope-Agent: Building Your Customizable Agent System with Open-source Large Language Models [74.64651681052628]
  We introduce ModelScope-Agent, a customizable agent framework for real-world applications based on open-source LLMs as controllers. It provides a user-friendly system library, with customizable engine design to support model training on multiple open-source LLMs. A comprehensive framework has been proposed spanning over tool-use data collection, tool retrieval, tool registration, memory control, customized model training, and evaluation.
  arXiv  Detail & Related papers  (2023-09-02T16:50:30Z)
• MGit: A Model Versioning and Management System [7.2678752235785735]
  MGit is a model versioning and management system that makes it easier to store, test, update, and collaborate on model derivatives. MGit is able to reduce the lineage graph's storage footprint by up to 7x and automatically update downstream models in response to updates to upstream models.
  arXiv  Detail & Related papers  (2023-07-14T17:56:48Z)
• Towards an Automatic Optimisation Model Generator Assisted with Generative Pre-trained Transformer [0.0]
  This article presents a framework for generating optimisation models using a pre-trained generative transformer. The framework involves specifying the features that the optimisation model should have and using a language model to generate an initial version of the model.
  arXiv  Detail & Related papers  (2023-05-09T23:51:14Z)
• What Language Model Architecture and Pretraining Objective Work Best for Zero-Shot Generalization? [50.84738303888189]
  We present a large-scale evaluation of modeling choices and their impact on zero-shot generalization. We train models with over 5 billion parameters for more than 170 billion tokens. We find that pretrained causal decoder models can be efficiently adapted into non-causal decoder models.
  arXiv  Detail & Related papers  (2022-04-12T14:19:49Z)
• Recommending Metamodel Concepts during Modeling Activities with Pre-Trained Language Models [0.0]
  We propose an approach to assist a modeler in the design of a metamodel by recommending relevant domain concepts in several modeling scenarios. Our approach does not require to extract knowledge from the domain or to hand-design completion rules. We evaluate our approach on a test set containing 166 metamodels, unseen during the model training, with more than 5000 test samples.
  arXiv  Detail & Related papers  (2021-04-04T16:29:10Z)
• Scalable Deployment of AI Time-series Models for IoT [0.7169734491710924]
  IBM Research Castor is a cloud-native system for managing and deploying time-series models in IoT applications. Model templates can be deployed against specific instances of semantic concepts. Results from deployments in real-world smartgrid live forecasting applications are reported.
  arXiv  Detail & Related papers  (2020-03-24T14:27:25Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.