AI-powered model repair: an experience report—lessons learned, challenges, and opportunities
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 …
we deal with software development processes. The application of artificial intelligence to …
Consistency management in industrial continuous model-based development settings: a reality check
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 …
model-based development settings. Our analysis shows a tight coupling between adopting …
KBX: Verified Model Synchronization via Formal Bidirectional Transformation
Complex safety-critical systems require multiple models for a comprehensive description,
resulting in error-prone development and laborious verification. Bidirectional transformation …
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
Abstract Model-driven software development (MDSD) heavily relies on model
transformations. While in a strict forward engineering process unidirectional transformations …
transformations. While in a strict forward engineering process unidirectional transformations …
Comprehensive systems: a formal foundation for multi-model consistency management
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 …
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
Abstract Model transformations are among the key concepts of model-driven engineering
(MDE), and dedicated model transformation languages (MTLs) emerged with the popularity …
(MDE), and dedicated model transformation languages (MTLs) emerged with the popularity …
SWEL: A Domain-Specific Language for Modeling Data-Intensive Workflows
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 …
data coming from real-world sources. Typically, workflow languages are used to specify …
Model-driven engineering city spaces via bidirectional model transformations
Engineering cyber-physical systems inhabiting contemporary urban spatial environments
demands software engineering facilities to support design and operation. Tools and …
demands software engineering facilities to support design and operation. Tools and …
A precedence-driven approach for concurrent model synchronization scenarios using triple graph grammars
Concurrent model synchronization is the task of restoring consistency between two
correlated models after they have been changed concurrently and independently. To …
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 …
generated by an LLM based upon user prompts versus those created with dedicated model …