http://dl.gi.de/handle/20.500.12116/19970 2026-07-21T13:23:58Z http://dl.gi.de/handle/20.500.12116/17732 Taking the pick out of the bunch - type-safe shrinking of metamodels Bergmayr, Alexander; Wimmer, Manuel; Retschitzegger, Werner; Zdun, Uwe Kowalewski, Stefan; Rumpe, Bernhard To focus only on those parts of a metamodel that are of interest for a specific task requires techniques to generate metamodel snippets. Current techniques generate strictly structure-preserving snippets, only, although restructuring would facilitate to generate less complex snippets. Therefore, we propose metamodel shrinking to enable type-safe restructuring of snippets that are generated from base metamodels. Our approach allows to shrink a selected set of metamodel elements by automatic reductions that guarantee type-safe results by design. Based on experiments with 12 different metamodels from various application domains, we demonstrate the benefits of metamodel shrinking supported by our prototypical implementation build on top of the Eclipse Modeling Framework (EMF). 2013-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/17731 SimuLizar: Design-Time Modeling and Performance Analysis of Self-Adaptive Systems Becker, Matthias; Becker, Steffen; Meyer, Joachim Kowalewski, Stefan; Rumpe, Bernhard Modern software systems adapt themselves to changing environments in order to meet quality-of-service requirements, such as response time limits. The engineering of the system's self-adaptation logic does not only require new modeling methods, but also new analysis of transient phases. Model-driven software performance engineering methods already allow design-time analysis of steady states of nonadaptive system models. In order to validate requirements for transient phases, new modeling and analysis methods are needed. In this paper, we present SimuLizar, our initial model-driven approach to model self-adaptive systems and to analyze the performance of their transient phases. Our evaluation of a proof of concept load balancer system shows the applicability of our modeling approach. In addition, a comparison of our performance analysis with a prototypical implementation of our example system provides evidence that the prediction accuracy is sufficient to identify unsatisfactory self-adaptations. 2013-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/17733 Automata-based refinement checking for real-time systems Brenner, Christian; Heinzemann, Christian; Schäfer, Wilhelm; Henkler, Stefan Kowalewski, Stefan; Rumpe, Bernhard Model-driven development of real-time safety-critical systems requires to support refinement of behavioral model specifications using, for example, timed simulation or timed bisimulation. Such refinements, if defined properly, guarantee that (safety and liveness) properties, which have been verified for an abstract model, still hold for the refined model. In this paper, we propose an automatic selection algorithm selecting the most suitable refinement definition concerning the type of model specification applied and the properties to be verified. By extending the idea of test automata construction for refinement checking, our approach also guarantees that a refined model is constructed correctly concerning the selected and applied refinement definition. We illustrate the application of our approach by an example of an advanced railway transportation system. 2013-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/17728 Wieviel Usability-Engineering braucht das Requirements-Engineering? Rupp, Chris Kowalewski, Stefan; Rumpe, Bernhard Software Produkte sind nicht immer einfach und intuitiv benutzbar, was uns Nutzer oft verzweifeln und verärgern lässt. Dies liegt daran, dass wir Endbenutzer zu selten in den Entwicklungsprozess mit eingebunden werden, obwohl die Produkte für uns entwickelt werden. Unsere Ziele und Bedürfnisse werden oft gar nicht betrachtet oder kommen viel zu kurz. Doch was kann man aus Requirements Engineering Sicht tun, um dieser Problematik entgegenzuwirken? Im Rahmen eines Innovationsprojektes beschäftigen sich die SOPHISTen mit der Frage, wie viel Usability Engineering das Requirements Engineering braucht, um die Benutzbarkeit von Softwareprodukten zu stärken und dem User ein positives Nutzungserlebnis zu bieten. Wir suchen nach methodischen Schnittpunkten beider Disziplinen, um anschließend einige Usability-Engineering-Methoden in das Requirements Engineering zu transferieren. Weiter forschen wir an der Erstellung eines Vorgehensmodells, bei dem sich Usability-Engineering-Methoden und Requirements Engineering Methoden eingliedern. Sie bekommen über folgende auch für Requirements Engineers spannende Themen aus dem Usability Engineering etwas zu hören: Das Personas-Konzept nach Cooper - und wie es das klassische Stakeholder- Relationship-Management ergänzt, Die Szenariobasierte Erstellung von Kontextszenarien mit anschließender Erhebung von Anforderungen, Sowie ein Vorgehensmodell, das Usability-Engineering-Methoden und Requirements Engineering Methoden einordnet. Seien Sie gespannt, welche Zusatzerkenntnisse man aus einem professionellen Usability Engineering als Requirements Engineer ziehen kann. 2013-01-01T00:00:00Z