A physical service and policy model of a service-oriented architecture system is generated from a logic model. Web service policies are transformed from the logical model to the physical model. The logical model includes a plurality of logical service components and logical dependency relationships among the logical service components. At least one of the logical service components has been specified with logical policies. The physical model includes physical components and physical dependency relationships associated with the service components and tire logical dependency relationships among the service components in the logical model. Effective logical policies are calculated for each of the logical service components and mapped to associated physical components in the physical model.