Existing conformance-checking approaches typically compare a reference model with a monolithic concrete model and therefore do not support decompositions into interacting subcomponents. We present a conformance-checking and repair approach for time-synchronous component-and-connector subarchitectures with statechart-ba...
Bahareh Taghavi, M. Stachon, Adrian Marin et al.· Proceedings of the ACM/IEEE...· 0 citations
Safety engineering and design modeling in the development of Cyber-physical Systems (CPS) involves fragmented tools, languages, and representations. Furthermore, both modeling activities are performed at different stages of the CPS development life cycle. This fragmentation necessitates manual synchronization and consi...
Muhammad Asim Minhas, Erik Burger, Ralf Reussner· Proceedings of the ACM/IEEE...· 0 citations
In an evaluation on two PREEvision Electric/Electronic-architecture models using automatically derived questions, it is found that text embedding models are capable of capturing the semantics of model elements, however, they often only find anchor points in the model and struggle to retrieve all relevant model elements...
Julian Roßkothen, David Inca Pilco, Tobias Hey et al.· 0 citations
Generating metamodel-conforming instance models is a recurring task in Model-Driven Engineering (MDE), yet it remains tedious and tool-bound: instances are serialized as verbose, deeply nested XMI that today’s large language models (LLMs) cannot reliably produce or edit. We present AMIGO, a general, harness-agnostic ar...
Maximilian Hummel, Julian Roßkothen, Nathan Hagel et al.· Proceedings of the ACM/IEEE...· 0 citations
This roadmap paper reports the outcomes of the NII Shonan Seminar No. 232 on Uncertainty Interaction in Software-Intensive Systems (UNISON), held in March 2026 and develops a shared conceptual vocabulary for distinguishing uncertainty sources, propagation, confluence, interaction, and relevance; proposes an abstract wo...
Javier Cámara, R. Mirandola, Kenji Tei et al.· ACM Transactions on Autonomo...· 0 citations
It is demonstrated that VitruviusOCL can express multi-model constraints and specify intended behavior during design space exploration prior to identifying a concrete repair action, thereby making it a valuable part of the engineering process.
Max Oesterle, Arne Lange, Nathan Hagel et al.· Proceedings of the ACM/IEEE...· 1 citation
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
