Service oriented architecture (SOA) is an emerging style of architecture to build distributed applications by reusing and combining software services. This dissertation studies new strategies for end-to-end support of non-functional properties (e.g., security and reliable messaging) from high-level business process modeling to low-level implementation through performance engineering and deployment optimization.;Key research findings in this dissertation include (1) visual modeling languages and techniques that flexibly separate functional and non-functional properties and verify a set of constraints among non-functional properties; (2) a queuing theoretic method to estimate the performance of non-functional properties used in an application; (3) multi-objective optimization algorithms to seek the optimal deployment configurations for the application; (4) an aspect-oriented technique to seamlessly synthesize functional and non-functional properties; and (5) a code generation mechanism to generate program code.
展开▼