Software architecture quality of service analysis based on optimization models