WSDL file extended