Home | Sitemap | Index | Contact | Legals | KIT

Karlsruhe Series on Software Design and Quality

This series reports on research in Karlsruhe for the engineering foundations of software design. Edited by Prof. Dr. Ralf Reussner

All books from this series are available online and as book on demand from KIT Scientific Publishing.

Volume 1: Coupled model transformations for QoS enabled component-based software design

by Steffen Becker

This thesis presents the Palladio Component Model and its accompanying transformations for component-based software design with predictable performance attributes. The use of transformations results in a deterministic relationship between the model and its implementation. The introduced Coupled Transformations method uses this relationship to include implementation details into predictions to get better predictions. The approach is validated in several case studies showing the increased accuracy.

Fulltext PDF | Oder printed book

Volume 2: Parameter dependencies for reusable performance specifications of software components

by Heiko Koziolek

To avoid design-related per­for­mance problems, model-driven performance prediction methods analyse the response times, throughputs, and re­source utilizations of software architectures before and during implementation. This thesis proposes new modeling languages and according model transformations, which allow a reusable description of usage profile dependencies to the performance of software components. Predictions based on this new methods can support performance-related design decisions.

Fulltext PDF | Order printed book

Volume 3: Predicting software performance in symmetric multi-core and multiprocessor Environments

by Jens Happe

With today's rise of multi-core processors, concurrency becomes a ubiquitous challenge in software development.Performance prediction methods have to reflect the influence of multiprocessing environments on software performance in order to help software architects to find potential performance problems during early development phases. In this thesis, we address the influence of the operating system scheduler on software performance in symmetric multiprocessing environments.

Fulltext PDF | Order printed book

Volume 4: Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis

by Klaus Krogmann

Model-based performance prediction systematically deals with the evaluation of software performance to avoid for example bottlenecks, estimate execution environment sizing, or identify scalability limitations for new usage scenarios. Such performance predictions require up-to-date software performance models. This book describes a new integrated reverse engineering approach for the reconstruction of parameterised software performance models (software component architecture and behaviour).

Fulltext PDF | Order printed book

Volume 5: Quantifying and Predicting the Influence of Execution Platform on Software Component Performance

by Michael Kuperberg

The performance of software components depends on several factors, including the execution platform on which the software components run. To simplify cross-platform performance prediction in relocation and sizing scenarios, a novel approach is introduced in this thesis which separates the application performance profile from the platform performance profile. The approach is evaluated using transparent instrumentation of Java applications and with automated benchmarks for Java Virtual Machines.

Fulltext PDF | Order printed book

Volume 6: View-based textual modelling

by Thomas Goldschmidt

This work introduces the FURCAS approach, a framework for view-based textual modelling. FURCAS includes means that allow software language engineers to define partial and overlapping textual modelling languages. Furthermore, FURCAS provides an incremental update approach that enables modellers to work with multiple views on the same underlying model. The approach is validated against a set of formal requirements, as well as several industrial case studies showing its practical applicability.

Fulltext PDF | Order printed book

Volume 7: Automated Improvement of Software Architecture Models for Performance and Other Quality Attributes

by Anne Koziolek

Quality attributes, such as performance or reliability, are crucial for the success of a software system and largely influenced by the software architecture. Their quantitative prediction supports systematic, goal-oriented software design and forms a base of an engineering approach to software design. This thesis proposes a method and tool to automatically improve component-based software architecture (CBA) models based on such quantitative quality prediction techniques. The method and tool support software architects in making trade-off decisions and negotiating quality requirements with stakeholders.

Fulltext PDF | Order printed book

Volume 8: Configurable Software Performance Completions through Higher-Order Model Transformations

by Lucia Happe

Chillies is a novel approach for variable model transformations closing the gap between abstract architecture models, used for performance prediction, and required low-level details. We enable variability of transformations using chain of generators based on the Higher-Order Transformation (HOT). HOTs target different goals, such as template instantiation or transformation composition. In addition, we discuss state-dependent behavior in prediction models and quality of model transformations.

Fulltext PDF | Order printed book

Volume 9: Integrated Software Architecture-Based Reliability Prediction for IT Systems

by Franz Brosch

With the increasing importance of reliability in business and industrial IT systems, new techniques for architecture-based software reliability prediction are becoming an integral part of the development process. This dissertation thesis introduces a novel reliability modelling and prediction technique that considers the software architecture with its component structure, control and data flow, recovery mechanisms, its deployment to distributed hardware resources and the system’s usage profile.

Fulltext PDF | Order printed book

Volume 10: Modelling Event-Based Interactions in Component-Based Architectures for Quantitative System Evaluation

by Christoph Rathfelder

This dissertation thesis presents an approach enabling the modelling and quality-of-service prediction of event-based systems at the architecture-level. Applying a two-step model refinement transformation, the approach integrates platform-specific performance influences of the underlying middleware while enabling the use of different existing analytical and simulation-based prediction techniques.

PDF fulltext | Order printed book

Volume 11: Certifying Software Component Performance Specifications

by Henning Groenda

In component-based software engineering, performance prediction approaches support the design of business information systems on the architectural level. They are based on behavior specifications of components. This work presents a round-trip approach for using, assessing, and certifying the accuracy of parameterized, probabilistic, deterministic, and concurrent performance specifications. Its applicability and effectiveness are demonstrated using the CoCoME benchmark.

Fulltext PDF | Order printed book

Volume 12: Deriving Goal-oriented Performance Models by Systematic Experimentation

by Dennis Westermann

Performance modelling can require substantial effort when creating and maintaining performance models for software systems that are based on existing software. Therefore, this thesis addresses the challenge of performance prediction in such scenarios. It proposes a novel goal-oriented method for experimental, measurement-based performance modelling. We validated the approach in a number of case studies including standard industry benchmarks as well as a real development scenario at SAP.

Fulltext PDF | Order printed book

Volume 13: Automated Experiments for Deriving Performance-relevant Properties of Software Execution Environments

by Michael Hauck

The software execution environment can play a crucial role when analyzing the performance of a software system. In this book, a novel approach for the automated detection of performance-relevant properties of the execution environment is presented. The properties are detected using predefined experiments and integrated into performance prediction tools. The approach is applied to experiments for detecting different CPU, OS, and virtualization properties, and validated in different case studies.

Fulltext PDF | Order printed book

Volume 14: Architectural Design Decision Documentation through Reuse of Design Patterns.

by Zoya Durdik

The ADMD3 approach presented in this book enchances the architectural design documentation of decision via reuse of design patterns. It combines the support for evaluation of pattern application, semi-automated documentation of decision rationale and trace links. The approach is based on a new kind of design pattern catalogue, whereby usual pattern descriptions are captured together with question annotations to the patterns and information on architectural structure of patterns.

Fulltext PDF | Order printed book

Volume 15: Flexible Views for View-based Model-driven Development

by Erik Burger

Modern software development faces growing size and complexity of systems. The usage of several formalisms introduces the problem of fragmentation of information across heterogeneous artefacts in different formats, concepts, and languages. In this thesis, the conceptual foundations for the Vitruvius approach are presented. Flexible views are introduced as a concept for the compact definition of user-specific views, which can be defined in the ModelJoin language. The view-based development process is supported by a change metamodel for the description of metamodel evolution and a change impact analysis.

Fulltext PDF | Order printed book

Volume 16: Consolidation of Customized Product Copies into Software Product Lines

by Benjamin Klatt

In software development, project constraints lead to customer-specific variants by copying and adapting the product. During this process, modifications are scattered all over the code. Although this is flexible and efficient in the short term, a Software Product Line (SPL) offers better results in the long term, regarding cost reduction, time-to-market, and quality attributes. This book presents a novel approach named SPLevo, which consolidates customized product copies into an SPL.

Fulltext PDF | Order printed book

Volume 17: Model Transformation Languages with Modular Information Hiding

by Andreas Rentschler

Model transformations, together with models, form the principal artifacts in model-driven software development. Industrial practitioners report that transformations on larger models quickly get sufficiently large and complex themselves. To alleviate entailed maintenance efforts, this thesis presents a modularity concept with explicit interfaces, complemented by software visualization and clustering techniques. All three approaches are tailored to the specific needs of the transformation domain.

Fulltext PDF | Order printed book

Volume 18: Modeling and Prediction of I/O Performance in Virtualized Environments

by Qais Noorshams

– to appear –