http://dl.gi.de/handle/20.500.12116/40422 2026-07-21T14:24:26Z http://dl.gi.de/handle/20.500.12116/40478 Monitoring the Execution of Declarative Model Transformations Groner, Raffaela; Gylstorff, Sophie; Tichy, Matthias Kelter, Udo Model transformations, applied at design and run time, are key artifacts in Model-Driven Software Engineering. The monitoring of a transformation’s execution is a prerequisite to enable a software engineer to identify performance bottlenecks and improve transformations. Monitoring is particularly relevant for declarative model transformations since the order of execution is not explicitly defined but instead the result of internal heuristics of the transformation engine. In this paper, we present how we monitor the execution of Henshin model transformations using Kieker as well as the resulting monitoring overhead. We show that the monitoring overhead depends on the size of the input model and that it is between 17.03% and 28.44%. 2019-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/40476 Improving Service Availabiliy with Rule-Based Adaptation Adolf, Marc; Jung, Reiner; Blümke, Lars Kelter, Udo Self-adaptive software systems change their deployment and configuration to address changing user behavior and workloads. Such systems follow a MAPEK approach to observe and analyze the system, and subsequently plan and execute changes. They use operations, like the (de-)replication and migration of components, to reconfigure the system. During an adaptation, some services might become unavailable when services are replicated or migrated arbitrarily. This can cause interruptions to cross service transactions and temporary service malfunctions. While some E-commerce platforms consider this acceptable, it is irritating to the consumer. In case of safety critical systems, like medication systems, the system must be serviceable during the transition from the old to the new configuration. In this paper, we present a rule-based approach for adaptation actions. Our approach allows to address adaptation constraints on a abstract level and decouples the constrains from setup scripts often used in container environments. Furthermore, we evaluated the feasibility of our approach and illustrate its ability to adapt a component based web system safely. 2019-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/40477 An Architectural Template for Parallel Loops and Sections Frank, Markus; Hakamian, Alireza Kelter, Udo The Palladio Component Model uses UML-like diagrams to specify architectural software designs, which are used for early design-time analyses of software performance metrics. As a current drawback of the PCM, it does not support the specification of massive parallel software behaviour like OpenMP parallel loops. For Software Performance Engineers this results in complex modelling workarounds, or it is not possible to model the software’s behaviour at all, which results in inaccurate analyses and semantic discrepancies. In this paper, we present a light-weight PCM metamodel extension, allowing SPEs to easily annotate parallel sections (similar to OpenMP) in their software specifications. This significantly reduces the modelling effort through automation. 2019-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/40475 9th Symposium on Software Performance (SSP) Eichelberger, Holger; Schmid, Klaus; Hasselbring, Wilhelm; Becker, Steffen; van Hoorn, André; Kounev, Samuel; Reussner, Ralf Kelter, Udo More than fourty participants attended the 9th Symposium on Software Performance in Hildesheim. The "Symposium on Software Performance" brings together researchers and practitioners interested in all facets of software performance, ranging from modeling and prediction to monitoring and runtime management. 2019-01-01T00:00:00Z