Refine
Document Type
Language
- English (7)
Keywords
- Konfigurationsmanagement (2)
- Produktlinien (2)
- Softwaretechnik (2)
Institute
Abstract. Our feature configuration tool S2T2 Configurator integrates (1) a visual interactive representation of the feature model and (2) a formal reasoning engine that calculates consequences of the user's actions and provides formal explanations. The tool's software architecture is designed as a chain of components, whichprovide mappings between visual elements and their corresponding formal representations. Using these mappings, consequences and explanations calculated by thereasoning engine are communicated in the interactive representation.
Whenever a software engineer derives a product from a prod-uct line, he has to resolve variability by making con_guration decisions.This con_guration process can become rather complex because of depen-dencies within the variability model and knock-on e_ects and dependen-cies in other related artefacts. Because of the limited cognitive capacity ofthe human engineer, this complexity limits the ability of handling prod-uct lines with large con_guration spaces. To address this problem wefocus on techniques that support the interactive con_guration of largerfeature models, including (1) visual interaction with a formal reason-ing engine, (2) visual representation of multiple interrelated hierarchies,(3) indicators for con_guration progress and (4) _ltering of visible nodes.The concepts are demonstrated within S2T2 Con_gurator, an interactivefeature con_guration tool. The techniques are discussed and evaluatedwith feature models, however, we believe they can be generalised to othermodels that describe con_guration choices, e.g., variability models anddecision models.