specificando meglio, il controllo sui tipi viene fatto solo lato server (server.php) settando in modo appropriato la variabile dispatch_map. Quello che mi aspettavo era invece che il controllo venisse fatto nel wsdl, cioe' che il wsdl definisse un'interfaccia per il server e che il server fosse obbligato a seguirla (tipo interfaccia java).
Mi stavo chiedendo se non ci fosse un modo per dire al server.php di seguiire l'interfaccia wsdl