SeVaTax: service taxonomy selection & validation process for SPL development

Variability management is a key activity in Software Product Lines (SPL) development. To be more specific, the product selection and verification allow us to generate correct derivations. In this work we present a process, called SeVaTax, to guide the selection and validation activities -both in domain and application engineering- together with a supporting tool.