A Model-Driven Development Framework for Non-Functional Aspects in Service Oriented Architecture