TU Darmstadt / ULB / TUbiblio

Variability Hiding in Contracts for Dependent Software Product Lines

Thüm, Thomas and Winkelmann, Tim and Schröter, Reimar and Hentschel, Martin and Krüger, Stefan (2016):
Variability Hiding in Contracts for Dependent Software Product Lines.
In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, ACM, Salvador, Brazil, In: VaMoS '16, ISBN 978-1-4503-4019-9,
DOI: 10.1145/2866614.2866628,
[Conference or Workshop Item]

Abstract

Software product lines are used to efficiently develop and verify similar software products. While they focus on reuse of artifacts between products, a product line may also be reused itself in other product lines. A challenge with such dependent product lines is evolution; every change in a product line may influence all dependent product lines. With variability hiding, we aim to hide certain features and their artifacts in dependent product lines. In prior work, we focused on feature models and implementation artifacts. We build on this by discussing how variability hiding can be extended to specifications in terms of method contracts. We illustrate variability hiding in contracts by means of a running example and share our insights with preliminary experiments on the benefits for formal verification. In particular, we find that not every change in a certain product line requires a re-verification of other dependent product lines.

Item Type: Conference or Workshop Item
Erschienen: 2016
Creators: Thüm, Thomas and Winkelmann, Tim and Schröter, Reimar and Hentschel, Martin and Krüger, Stefan
Title: Variability Hiding in Contracts for Dependent Software Product Lines
Language: German
Abstract:

Software product lines are used to efficiently develop and verify similar software products. While they focus on reuse of artifacts between products, a product line may also be reused itself in other product lines. A challenge with such dependent product lines is evolution; every change in a product line may influence all dependent product lines. With variability hiding, we aim to hide certain features and their artifacts in dependent product lines. In prior work, we focused on feature models and implementation artifacts. We build on this by discussing how variability hiding can be extended to specifications in terms of method contracts. We illustrate variability hiding in contracts by means of a running example and share our insights with preliminary experiments on the benefits for formal verification. In particular, we find that not every change in a certain product line requires a re-verification of other dependent product lines.

Title of Book: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems
Series Name: VaMoS '16
Publisher: ACM
ISBN: 978-1-4503-4019-9
Uncontrolled Keywords: Multi product line, deductive verification, method contracts
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Event Location: Salvador, Brazil
Date Deposited: 31 Dec 2016 10:40
DOI: 10.1145/2866614.2866628
Identification Number: TUD-CS-2016-0026
Export:

Optionen (nur für Redakteure)

View Item View Item