AI-powered model repair: an experience report—lessons learned, challenges, and opportunities

A Barriga, A Rutle, R Heldal - Software and Systems Modeling, 2022 - Springer
Artificial intelligence has already proven to be a powerful tool to automate and improve how
we deal with software development processes. The application of artificial intelligence to …

Consistency management in industrial continuous model-based development settings: a reality check

R Jongeling, F Ciccozzi, J Carlson… - Software and Systems …, 2022 - Springer
This article presents the state of practice of consistency management in thirteen industrial
model-based development settings. Our analysis shows a tight coupling between adopting …

KBX: Verified Model Synchronization via Formal Bidirectional Transformation

J Zhao, Y Zhao, P Yao, F Zeng, B Zhan… - ACM Transactions on …, 2024 - dl.acm.org
Complex safety-critical systems require multiple models for a comprehensive description,
resulting in error-prone development and laborious verification. Bidirectional transformation …

BXtendDSL: A layered framework for bidirectional model transformations combining a declarative and an imperative language

T Buchmann, M Bank, B Westfechtel - Journal of Systems and Software, 2022 - Elsevier
Abstract Model-driven software development (MDSD) heavily relies on model
transformations. While in a strict forward engineering process unidirectional transformations …

Comprehensive systems: a formal foundation for multi-model consistency management

P Stünkel, H König, Y Lamo, A Rutle - Formal Aspects of Computing, 2021 - Springer
Abstract Model management is a central activity in Software Engineering. The most
challenging aspect of model management is to keep inter-related models consistent with …

Contrasting dedicated model transformation languages versus general purpose languages: a historical perspective on ATL versus Java based on complexity and size

S Höppner, T Kehrer, M Tichy - Software and Systems Modeling, 2022 - Springer
Abstract Model transformations are among the key concepts of model-driven engineering
(MDE), and dedicated model transformation languages (MTLs) emerged with the popularity …

SWEL: A Domain-Specific Language for Modeling Data-Intensive Workflows

R Salado-Cid, A Vallecillo, K Munir… - Business & Information …, 2024 - Springer
Data-intensive applications aim at discovering valuable knowledge from large amounts of
data coming from real-world sources. Typically, workflow languages are used to specify …

Model-driven engineering city spaces via bidirectional model transformations

E Visconti, C Tsigkanos, Z Hu, C Ghezzi - Software and systems modeling, 2021 - Springer
Engineering cyber-physical systems inhabiting contemporary urban spatial environments
demands software engineering facilities to support design and operation. Tools and …

A precedence-driven approach for concurrent model synchronization scenarios using triple graph grammars

L Fritsche, J Kosiol, A Möller, A Schürr… - Proceedings of the 13th …, 2020 - dl.acm.org
Concurrent model synchronization is the task of restoring consistency between two
correlated models after they have been changed concurrently and independently. To …

Prompting Bidirectional Model Transformations-The Good, The Bad and The Ugly

T Buchmann - Proceedings of the ACM/IEEE 27th International …, 2024 - dl.acm.org
This paper investigates the comparative effectiveness of model-to-model transformations
generated by an LLM based upon user prompts versus those created with dedicated model …