We shall briefly describe WS-CDL and show its formal semantics and demonstrate its use in the real world. WS-CDL is a language for describing distributed systems. It is a language based on the pi-calculus and has been the focus of academic research for the last 2 years.