SeVaTax: service taxonomy selection & validation process for SPL development | IEEE Conference Publication | IEEE Xplore