Can the WSDL validator be extended to validate extension elements, for example partnerLinks and properties from the WS-BPEL specification?
Yes! The WSDL validator has extension points (which should all be considered internal, non-API at this point) which allow you to plug your own extension validator for a given namespace into the WSDL validator. In this case, you can create a validator for the WS-BPEL namespace and plug-it into the WSDL validator. Your validator will get called any time an element from the WS-BPEL namespace is encountered. The WSDL HTTP validator and SOAP validator both use this extension mechanism.