A Case Study on Integrating Extra-Functional Properties in Web Service Model-Driven Development | IEEE Conference Publication | IEEE Xplore