Reliability Modeling and Analysis of Service-Oriented Architectures