SOCK : A Calculus for Service Oriented Computing