Logo des Repositoriums

Auflistung nach Schlagwort "Software Product Lines"

1 - 6 von 6
  • Textdokument
    Adapting Binary Decision Diagrams for Visualizing Product Configuration Data
    (INFORMATIK 2017, 2017) Bischoff, Daniel; Küchlin, Wolfgang
    This paper deals with the challenges of visualizing and understanding complex interacting Boolean formulæ for selecting parts in an automotive Bill-of-Materials (BoM). Our approach targets entire BoM positions containing all variants of a part, each with its own selection formula. A part variant is needed for a car if the selection formula evaluates to true under the option list (feature list) which defines the car variant. Understanding the formulæ is critical when editing or when trying to analyze and explain a bug, but it is non-trivial. SAT-solving is commonly used to detect bugs, but explaining the cause of bugs is a different matter. Our approach is to visualize all selection alternatives in a single diagram based on an adaptation of binary decision diagrams (BDDs). We also visualize the influence of the configuration constraints for car variants on the selection diagrams and show how they can help to reduce their size. Based on this method we implemented a visualization tool which additionally serves as a visual formula editor.
  • Workshopbeitrag
    Metrics for Analyzing Variability and Its Implementation in Software Product Lines: A Systematic Literature Review
    (Software Engineering and Software Management 2019, 2019) El-Sharkawy, Sascha; Yamagishi-Eichler, Nozomi; Schmid, Klaus
    This summary refers to the paper Metrics for analyzing variability and its implementation in software product lines: A systematic literature review [EYS19]. The paper was online first in 2018 and was finally published 2019 in the Information and Software Technology (IST) journal. The use of metrics for assessing software products and their qualities is well established in traditional software engineering. However, such traditional metrics are typically not applicable to Software Product Line (SPL) engineering as they do not address variability management, a key part of product line engineering. Over time, various specialized product line metrics for SPLs have been described in literature, but no systematic description of these metrics and their characteristics is currently available. This paper presents a systematic literature review, where we identify metrics explicitly designed for variability models, code artifacts, and metrics taking both kinds of artifacts into account. This captures the core of variability management for product lines. We discovered 42 relevant papers reporting 147 metrics intended to measure various aspects of variability models or code artifacts. We provide a categorization of these metrics and discuss problematic issues regarding the definition of the metrics. We also systematically assess the evaluation status of the metrics showing a current lack of high-quality evaluation in the field. Researchers and practitioners can benefit from the published catalog of variability-aware metrics and the assessment of their evaluation status.
  • Konferenzbeitrag
    On Automated Anomaly Detection for Potentially Unbounded Cardinality-based Feature Models
    (Software Engineering 2017, 2017) Weckesser, Markus; Lochau, Malte; Schnabel, Thomas; Richerzhagen, Björn; Schürr, Andy
    In this work, we report about our research results on analysis of cardinality-based fea- ture models with potentially unbounded feature multiplicities, initially published in [We16]. Feature models are frequently used for specifying variability of user-configurable software systems, e.g., software product lines. Numerous approaches have been developed for automating feature model validation concerning constraint consistency and absence of anomalies. As a crucial extension to feature models, cardinality annotations allow for multiple, and even potentially unbounded occur- rences of feature instances within configurations. This is of particular relevance for user-adjustable application resources as prevalent, e.g., in cloud-based systems where not only the type, but also the amount of available resources is explicitly configurable. However, a precise semantic characteriza- tion and tool support for automated and scalable validation of cardinality-based feature models is still an open issue. We present a comprehensive formalization of cardinality-based feature models with potentially unbounded feature multiplicities. We apply a combination of ILP and SMT solvers to automate consistency checking and anomaly detection, including novel anomalies, e.g., interval gaps. Furthermore, we show evaluation results gained from our tool implementation showing appli- cability and scalability of our approach to larger-scale models.
  • Konferenzbeitrag
    Propagating Configuration Decisions with Modal Implication Graphs
    (Software Engineering and Software Management 2019, 2019) Krieter, Sebastian; Thüm, Thomas; Schulze, Sandro; Schroeter, Reimar; Saake, Gunter
    This work was originally published as “Propagating Configuration Decisions with Modal Implication Graphs” at the 40th International Conference on Software Engineering 2018 [Kr18].
  • Zeitschriftenartikel
    Realisierung von Softwareproduktlinien durch Komposition modularer Belangimplementierungen
    (Wirtschaftsinformatik: Vol. 49, No. 3, 2007) Kuttruff, Volker
    KernpunktoGenerisches und aspektorientiertes Programmieren sind Techniken, mit denen sich Software-produktlinien auf technischer Ebene realisieren lassen. Sie ermöglichen in hohem Maße die Umsetzung des softwaretechnischen Grundprinzips der Trennung der Belange. In diesem Beitrag wird ein Ansatz vorgestellt, der existierende Techniken um für die Softwareproduktlinienentwicklung wichtige Eigenschaften erweitert:Die Parametrisierbarkeit von Belangimplementierungen erhöht deren Wiederverwendbarkeit in den verschiedenen Ausprägungen der Softwareproduktlinie.Eine konkrete Konfiguration der Softwareproduktlinie lässt sich deklarativ beschreiben. Diese Konfigurationsbeschreibung kann vorab geprüft werden, so dass semantisch ungültige Konfigurationen erkannt werden können.Ein Verfahren zur Erkennung und Auflösung von Konflikten während der Komposition von Belangimplementierungen hilft, unerwartete Laufzeitresultate zu vermeiden.AbstractIn order to fulfil similar user requirements within a specific domain, one typically uses software product line engineering. In this article, we present an approach which allows a modular specification of concerns and their modular composition to construct software systems. The approach uses concepts from generic and aspect-oriented programming and adapts them to the requirements imposed by software product line engineering.
  • Konferenzbeitrag
    Reasoning about Product-Line Evolution using Complex Feature Model Differences
    (Software Engineering 2017, 2017) Bürdek, Johannes; Kehrer, Timo; Lochau, Malte; Reuling, Dennis; Kelter, Udo; Schürr, Andy
    In this work, we report about research results on the Reasoning about Product-Line Evo- lution using Complex Feature Model Differences, published in [Bu ̈15]. A (software) product-line constitutes a long-term investment and, therefore, has to undergo continuous evolution to meet con- stantly changing requirements. Initially, product-line evolution leads to changes of the variability model, typically a feature model, due to its central role in the product-line paradigm. Thus, product- line engineers are often faced with the problems that (1) feature models are changed ad-hoc without proper documentation, and (2) the semantic impact of changes is unclear. We propose a comprehen- sive approach to tackle both challenges. For (1), our approach compares the old and new version of the diagram representation of a feature model and specifies the changes using edit operations on feature diagrams. For (2), we propose a novel approach for reasoning about the semantic impact of diagram changes. We present a set of edit operations on feature diagrams, where complex operations are primarily derived from evolution scenarios observed in a real-world case study. We demonstrate the applicability of our approach with respect to the case study, and evaluate its scalability concern- ing experimental data sets.