- From: Martin Gudgin <mgudgin@microsoft.com>
- Date: Wed, 2 Oct 2002 10:51:48 -0700
- To: "Sanjiva Weerawarana" <sanjiva@watson.ibm.com>, <www-ws-desc@w3.org>
> -----Original Message-----
> From: Sanjiva Weerawarana [mailto:sanjiva@watson.ibm.com]
> Sent: 02 October 2002 17:40
> To: Martin Gudgin; www-ws-desc@w3.org
> Subject: Re: Port type extension proposal
>
>
> This looks quite reasonable. However, there are some major
> features that we (IBM) don't like:
>
> - We need to have multiple portTypes per service, not just one. We
> believe that different aspects of a service's function are best
> modeled by different portTypes and it does not make sense to
> force one to combine all of them into one portType.
OK, I've just written up what I think the TF agreed. We need to think
carefully about what we want going forward.
>
> - The service must indicate its "type": with portType inheritance
> in place we (IBM) would prefer to have the service just indicate
> the interfaces it supports:
> <service implements="pt1 .. ptn"> ... </service>
Are you saying that you don't want port type B to inherit from port type
A but rather that a service would just say that it implements port type
A and port type B?
>
> - The semantics of inheritance needs to be defined more. What are
> the rules for two operations of the same (local) name from two
> inherited portTypes?
Currently the rule is as defined by:
'For each port type operation component in the {operations} property of
a port type component the {name} property must be unique.'
Which means it would be an error if port type B derived from port type A
and both port types had an operation called 'Foo'
> I guess the Java (and I assume C# too?) rule
> of ignoring the namespace (package for Java) and just merging
> the local names will work. If there's a conflict then since we now
> don't allow operation overloading, we must require all inherited
> operations of the same name to have the same "signature." Similarly
> if the new portType defines an operation of a same ncname as one
> from an inherited portType, then it must have the same signature
> or its illegal.
I think I prefer the current formulation.
Gudge
Received on Wednesday, 2 October 2002 13:52:20 UTC