XL: an XML programming language for web service specification and composition