Innovations in model-based software and systems engineering
Engineering software and software intensive systems has become increasingly complex
over the last decades. In the ongoing digitalization of all aspects of our lives in almost every …
over the last decades. In the ongoing digitalization of all aspects of our lives in almost every …
Development use cases for semantics-driven modeling languages
M Broy, B Rumpe - Communications of the ACM, 2023 - dl.acm.org
Development Use Cases for Semantics-Driven Modeling Languages Page 1 62
COMMUNICATIONS OF THE ACM | MAY 2023 | VOL. 66 | NO. 5 contributed articles IMA GE B Y …
COMMUNICATIONS OF THE ACM | MAY 2023 | VOL. 66 | NO. 5 contributed articles IMA GE B Y …
Semantic evolution analysis of feature models
During the development process, feature models change continuously. Analyzing the
semantic differences between consecutive feature model versions is important throughout …
semantic differences between consecutive feature model versions is important throughout …
Model and Data Differences in an Enterprise Low-Code Platform
A Butting, T Greifenberg, K Hölldobler… - 2023 ACM/IEEE …, 2023 - ieeexplore.ieee.org
The comparison of versions and variants of models is a well-known challenge in model-
driven software engineering. In the context of low-code platforms, models are rarely text-only …
driven software engineering. In the context of low-code platforms, models are rarely text-only …
Semantic Difference Analysis with Invariant Tracing for Class Diagrams Extended by OCL
B Rumpe, M Stachon, S Stüber, V Voufo - Proceedings of the ACM/IEEE …, 2024 - dl.acm.org
Models are the primary source-artifacts in Model Driven Development (MDD) and are thus
subject to changes and evolution throughout the development process. To better understand …
subject to changes and evolution throughout the development process. To better understand …
[PDF][PDF] Semantic Differencing of Use Case Diagrams.
O Kautz, B Rumpe, L Wachtmeister - J. Object Technol., 2022 - researchgate.net
Use case diagrams (UCDs) are widely used for describing how different users use the
functionalities of a system to achieve their goals. As today's software systems offer an ever …
functionalities of a system to achieve their goals. As today's software systems offer an ever …
On computing instructions to repair failed model refinements
O Kautz, B Rumpe - Proceedings of the 21th acm/ieee international …, 2018 - dl.acm.org
A model refinement step is the process of removing underspecification from a model by
applying syntactic changes such that the transformed model's semantics is subsumed by the …
applying syntactic changes such that the transformed model's semantics is subsumed by the …
The complexities of the satisfiability checking problems of feature diagram sublanguages
O Kautz - Software and Systems Modeling, 2023 - Springer
It is well-known that the satisfiability problem of feature diagrams (FDs) is computationally
hard. This paper examines the complexities of the satisfiability problems of sixteen FD …
hard. This paper examines the complexities of the satisfiability problems of sixteen FD …
Continuously analyzing finite, message-driven, time-synchronous component & connector systems during architecture evolution
Understanding the semantic differences of continuously evolving system architectures by
semantic analyses facilitates engineers during evolution analysis in understanding the …
semantic analyses facilitates engineers during evolution analysis in understanding the …
Automated semantics-preserving parallel decomposition of finite component and connector architectures
O Kautz, B Rumpe, A Wortmann - Automated Software Engineering, 2020 - Springer
For the systematic development of logical, message-driven architectures, automating
parallel decomposition of software components is important to achieve efficient modular and …
parallel decomposition of software components is important to achieve efficient modular and …