Logo des Repositoriums

Auflistung nach Autor:in "Chechik, Marsha"

1 - 2 von 2
  • Konferenzbeitrag
    RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules
    (Software Engineering 2017, 2017) Strüber, Daniel; Rubin, Julia; Arendt, Thorsten; Chechik, Marsha; Taentzer, Gabriele; Plöger, Jennifer
    We present a summary of our paper of the same title, published in the proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE) 2016. Unifying similar model transformation rules into variability-based ones can improve both the main- tainability and the performance of a model transformation system. Yet, manual identification and unification of such similar rules is a tedious and error-prone task. In this work, we propose a novel merging approach for automating this task. The approach employs clone detection for identifying overlapping rule portions and clustering for selecting groups of rules to be unified. Our instantiation of the approach harnesses state-of-the-art clone detection and clustering techniques and includes a specialized merge construction algorithm. We formally prove correctness of the approach and demonstrate its ability to produce high-quality outcomes in two real-life case-studies.
  • Konferenzbeitrag
    Transformation of Software Product Lines
    (Software Engineering und Software Management 2018, 2018) Taentzer, Gabriele; Salay, Rick; Strüber, Daniel; Chechik, Marsha
    We present our paper from the proceedings of the 2017 edition of the MODELS conference. Software product lines are used to manage the development of highly complex software with many variants. In the literature, various forms of rule-based product line modifications have been considered. However, when considered in isolation, their expressiveness for specifying combined modifications of feature models and domain models is limited. In this paper, we present a formal framework for product line transformations that is able to combine several kinds of product line modifications presented in the literature. Moreover, it defines new forms of product line modifications supporting various forms of product lines and transformation rules. Our formalization of product line transformations is based on category theory, and concentrates on properties of product line relations instead of their single elements. Our framework provides improved expressiveness and flexibility of software product line transformations while abstracting from the considered type of model.