Service Oriented Computing: A New Challenge for Process Algebras