Hi Richard,
I am unable to find out relevant discussions in
Basic Profile Version 1.0 that can support the following claim in your post:
the WS-I BP clearly prohibits this so if an input and output have a part with the same name, they must be the same type
Could you possibly give me a clue either as form of the requirement statement number or cut and paste some text from
Basic Profile Version 1.0? Am I looking at wrong document?
I appreicate your help very much.