Project

Back to overview

SPREBA - Software Product Line Requirements Engineering Based on Aspects

Applicant Glinz Martin
Number 132752
Funding scheme Project funding (Div. I-III)
Research institution Institut für Informatik Universität Zürich
Institution of higher education University of Zurich - ZH
Main discipline Information Technology
Start/End 01.10.2010 - 31.12.2011
Approved amount 68'960.00
Show all

Keywords (5)

Software Product Line Engineering; Variability Modeling; Aspect-Orientation; Product Derivation; Requirements Engineering

Lay Summary (English)

Lead
Lay summary

Software product line requirements engineering, that is the discipline of dealing with requirements when using a software product line, has gained significant attention in this decade. However, modeling the variability in requirements descriptions and deriving a product model from the product line requirements specification are still major challenges.

The SPREBA project aims at improving requirements variability modeling and analysis for software product line engineering, using graphical modeling languages. In the previous SNF-funded project from 2008 to 2010, we mainly dealt with enabling variability modeling and product derivation with aspect-oriented requirements models.

In this project, we continue our work, heading towards supporting the full product line requirements engineering process as well as performing a comprehensive validation. The main objectives are: (1) Support the transition from conventional software engineering towards software product line engineering, (2) Extend the automated analysis of constraint propagations by including support for reverting decisions and evaluating what-if-scenarios, (3) Investigate mechanisms for supporting the evolution of a product line model, (4) Perform a comprehensive validation of our approach.

We achieve these objectives as follows. (i) We use a novel semi-automated solution for extracting a selection of variable requirements from a conventional requirements model, which we call feature unweaving. This mechanism eliminates tedious manual work when extracting the selected elements into a separate feature and guarantee that the refactored model is semantically equivalent to the original one. (ii) In the framework of product derivation support, we extend our automated constraint propagation solution by mechanisms for reverting previously taken decisions. The challenge is to automatically resolve consistency conflicts that may arise when reverting a decision that depends on other decisions. (iii) We provide tool support for automatically updating a product line domain model with new requirements created in the process of deriving a product. Together with the refactoring capabilities provided by feature unweaving, we thus are able to support product line model evolution. (iv) We validate our approach in a real-world environment by conducting an empirical study in the form of an industrial case study. Finally, we conduct a performance analysis of our SAT-based automated reasoning solution.


Direct link to Lay Summary Last update: 21.02.2013

Responsible applicant and co-applicants

Employees

Name Institute

Publications

Publication
Feature unweaving: efficient variability extraction and specification for emerging software product lines
Stoiber Reinhard, Glinz Martin (2010), Feature unweaving: efficient variability extraction and specification for emerging software product lines, in 4th International Workshop on Software Product Management (IWSPM'10), IEEE, Los Alamitos, CA..
Supporting stepwise, incremental product derivation in product line requirements engineering
Stoiber Reinhard, Glinz Martin (2010), Supporting stepwise, incremental product derivation in product line requirements engineering, in Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), (37), 77-84, n.a., n.a.(37), 77-84.

Associated projects

Number Title Start Funding scheme
121904 SPREBA - Software Product Line Requirements Engineering Based on Aspects 01.10.2008 Project funding (Div. I-III)
121904 SPREBA - Software Product Line Requirements Engineering Based on Aspects 01.10.2008 Project funding (Div. I-III)

Abstract

Software product line requirements engineering, that is the discipline of dealing with requirements when using a software product line, has gained significant attention in this decade. However, modeling the variability in requirements descriptions and deriving a product model from the product line requirements specification are still major challenges.The SPREBA project aims at improving requirements variability modeling and analysis for software product line engineering, using graphical modeling languages. In the funding period from 2008 to 2010, we mainly dealt with enabling variability modeling and product derivation with aspect-oriented requirements models. In this propsal, we apply for continuing our work, heading towards supporting the full product line requirements engineering process as well as performing a comprehensive validation. The main goals are:?Support the transition from conventional software engineering towards software product line engineering,?Extend the automated analysis of constraint propagations by including support for reverting decisions and evaluating what-if-scenarios,?Investigate mechanisms for supporting the evolution of a product line model,?Perform a comprehensive validation of our approach.We plan to achieve these goals as follows. (i) We use a novel semi-automated solution for extracting a selection of variable requirements from a conventional requirements model, which we call feature unweaving. This mechanism will eliminate tedious manual work when extracting the selected elements into a separate feature and guarantee that the refactored model is semantically equivalent to the original one. (ii) In the framework of product derivation support, we extend our automated constraint propagation solution by mechanisms for reverting previously taken decisions. The challenge is to automatically resolve consistency conflicts that may arise when reverting a decision that depends on other decisions. (iii) We plan to provide tool support for automatically updating a product line domain model with new requirements created in the process of deriving a product. Together with the refactoring capabilities provided by feature unweaving, we will thus be able to support product line model evolution. (iv) We plan to validate our approach in a real-world environment by conducting an empirical study in the form of an industrial case study or action research. Further, we plan experiments to complement the empirical results with quantitative data. Finally, we will do a performance analysis of our SAT-based automated reasoning solution.
-