[ISSUE 116] Interface compatibility refers to input/output types which isambiguous when using WSDL 1.1 - Updated Proposal

[Mike Edwards <mike_edwards@uk.ibm.com>]

Outline -- 
1) For remotable interfaces, require that the interface is mappable to
WSDL 1.1.

For checking the compatibility of 2 remotable
interfaces which are in different
interface languages, both are mapped to WSDL
1.1 (if not already WSDL 1.1) and 
compatibility checking is done between the
WSDL 1.1 mapped interfaces.

For checking the compatibility of two remotable
interfaces using the same interface
language, and for checking the compatibility
of two local interfaces, compatibility of
the interfaces is delegated to the interface
type specification(s).

2) Two interfaces A and B, where A uses XML Schema element declaration
and B 
uses XML Schema type are considered incompatible. 


Text change -- 

Add the following normative statement to
Section 7.1 Local and Remotable Interfaces, following line 2457:

All remotable interfaces MUST be mappable
to WSDL 1.1 [ASM80017]

The mapping to WSDL 1.1 for a particular
interface type is defined by the specification which defines the interface
type.


 
Replace lines 1790 through 1811 in cd02-rev6 (PDF version) by: 

    "A wire MUST only connect a source to a target
if the target implements 
    an interface that is compatible with the interface
declared by the source. 
    The source and the target are compatible if the
target interface is a 
    compatible superset of the source interface. [ASM80018]
"



Yours,  Mike.

Strategist - Emerging Technologies, SCA & SDO.
Co Chair OASIS SCA Assembly TC.
IBM Hursley Park, Mail Point 146, Winchester, SO21 2JN, Great Britain.
Phone & FAX: +44-1962-818014    Mobile: +44-7802-467431  
Email:  mike_edwards@uk.ibm.com

---

Unless stated otherwise above:
IBM United Kingdom Limited - Registered in England and Wales with number 741598.
Registered office: PO Box 41, North Harbour, Portsmouth, Hampshire PO6 3AU