sca-assembly message
[Date Prev]
| [Thread Prev]
| [Thread Next]
| [Date Next]
--
[Date Index]
| [Thread Index]
| [List Home]
Subject: [ISSUE 117] Definition of compatible superset and subset - Updated Proposal
- From: Mike Edwards <mike_edwards@uk.ibm.com>
- To: "OASIS Assembly" <sca-assembly@lists.oasis-open.org>
- Date: Tue, 3 Mar 2009 15:24:16 +0000
Folks,
My proposal is that we resolve Issue
117 with the following:
Insert a new section 7.2, following
line 2493 in CD02 Rev6:
7.2 Interface Compatiibility
The compatibility of two interfaces
is defined in this section and these
definitions are used throughout this
specification. Two forms of
compatibility are defined - Subset Compatibility
and Superset
Compatibility.
7.2.1 Interface Subset Compatibility
An interface B is a compatible subset
of another interface A if and
only if all of points 1 through 7 in
the following list apply.
1. interfaces A and B are either both
remotable or else both local
2. the set of operations in interface
B is the same as or is a subset of the
set of operations in interface
A
3. compatibility for individual operations
of an interface is defined
as compatibility of the
signature, i.e., the operation name,
input types, and output
types are the same
4. the order of the input and output
types for each operation in
interface A is the same
as the order of the input and output types
for the corresponding
operation in interface B
5. the set of Faults and Exceptions
expected by each operation in
interface A is the same
as or a subset of the set of Faults and Exceptions
specified by the corresponding
operation in interface B
6. 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.
WSDL 1.1 message parts
can point to an XML Schema element declaration or
to an XML Schema types.
When determining compatibility between two WSDL
operations, a message
part that points to an XML Schema element
declaration is considered
to be incompatible with a message part that
points to an XML Schema
type.
For checking the compatibility
of 2 local interfaces which are in different
interface languages, the
method of checking compatibility is defined by the
specifications which define
those interface types, which must define mapping
rules for the 2 interface
types concerned.
7. if either interface A or interface
B declares a callback interface
then both interface A
and interface B declare callback interfaces
and the callback interface
declared on interface A is a compatible
subset of the callback
interface declared on interface B,
according to points 1
through 6 above
7.2.2 Interface Superset Compatibility
An interface B is a compatible superset
of another interface A if and
only if all of points 1 through 7 in
the following list apply.
1. interfaces A and B are either both
remotable or else both local
2. the set of operations in interface
B is the same as or is a superset of the
operations in interface
A
3. compatibility for individual operations
of an interface is defined
as compatibility of the
signature, i.e., the operation name,
input types, and output
types are the same
4. the order of the input and output
types for each operation in
interface B is the same
as the order of the input and output types
for the corresponding
operation in interface A
5. the set of Faults and Exceptions
specified by each operation in
interface B is the same
as or a subset of the set of Faults and Exceptions
expected by the corresponding
operation in interface A
6. 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.
WSDL 1.1 message parts
can point to an XML Schema element declaration or
to an XML Schema types.
When determining compatibility between two WSDL
operations, a message
part that points to an XML Schema element
declaration is considered
to be incompatible with a message part that
points to an XML Schema
type.
For checking the compatibility
of 2 local interfaces which are in different
interface languages, the
method of checking compatibility is defined by the
specifications which define
those interface types, which must define mapping
rules for the 2 interface
types concerned.
7. if either interface A or interface
B declares a callback interface
then both interface A
and interface B declare callback interfaces
and the callback interface
declared on interface A is a compatible
superset of the callback
interface declared on interface B,
according to points 1
through 6 above
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
[Date Prev]
| [Thread Prev]
| [Thread Next]
| [Date Next]
--
[Date Index]
| [Thread Index]
| [List Home]