Specification and Analysis of Service Oriented Architectures within the Calculus of Communicating Sequential Processes (CSP)