Determining the Dependability of Service-Oriented Architectures