Fwd: Agenda for Tuesdays call is:

Two changes to the specification from Kohei that I suggest we add to 
the specification.

Cheers

Steve T

Begin forwarded message:

> From: "Kohei Honda" <kohei_honda@ntlworld.com>
> Date: 30 November 2004 13:48:18 GMT
> To: "Steve Ross-Talbot" <steve@enigmatec.net>
> Cc: "Gary Brown" <gary@enigmatec.net>, "Nobuko Yoshida" 
> <yoshida@doc.ic.ac.uk>, <kohei@dcs.qmul.ac.uk>
> Subject: Re: Agenda for Tuesdays call is:
> Reply-To: "Kohei Honda" <kohei@dcs.qmul.ac.uk>
>
> Very strange --- it has arrived just now as CC: perhaps the same with 
> you.
> I sent this last night...
>
> kohei
> ----- Original Message -----
> From: "Kohei Honda" <kohei_honda@ntlworld.com>
> To: "Steve Ross-Talbot" <steve@enigmatec.net>
> Cc: "Gary Brown" <gary@enigmatec.net>; "Nobuko Yoshida" 
> <yoshida@doc.ic.ac.uk>; <kohei@dcs.qmul.ac.uk>
> Sent: Monday, November 29, 2004 10:17 PM
> Subject: Re: Agenda for Tuesdays call is:
>
>
>> Dear Steve,
>>
>> I have been perusing the updated CDL document. I appreciate great 
>> efforts which have been
>> done so far.
>>
>> I propose two insertions to 1.2, page9.
>>
>> (A) Lines 111/112, which currerntly reads:
>>
>>> Each party can then use the global definition to build and test 
>>> solutions that conform to it.
>>
>> I propose to augment this as (>> marks added lines):
>>
>>> Each party can then use the global definition to build and test 
>>> solutions that conform to it.
>>>> >> The global specification is in turn realised by combination of 
>>>> the resulting local systems,
>>>> >> on the basis of appropriate infrastructure support.
>>
>> (B) Lines 122/123, which currently reads:
>>
>>> Each entity may then implement its portion of Choreography as 
>>> determined by the common view.
>>
>> I propose to augment this as (>> again marks addition):
>>
>>> Each entity may then implement its portion of Choreography as 
>>> determined by the common view.
>>>> >> CDL is designed so that the conformance of each implementation 
>>>> to the common view
>>>> >> is easily determined.
>>
>> I believe both are the main spirits of CDL. Indeed, without (A), CDL 
>> is not realistic, since it cannot
>> be implemented by local entities (with some global infrastructure's 
>> help). (B) is the minimum we need
>> from a verification side: if this is not met, there is no meaning to 
>> have a global specification after all.
>>
>> I cordially but firmly recommend these two additions. I believe these 
>> make clear the core engineering
>> spirit of CDL.
>>
>> Best wishes,
>>
>> kohei
>>
>> (I thought of putting this to the mailing list but I am not sure to 
>> whom it goes: so I send it to you.
>> I am happy this is sent to paritipants of a conference as you 
>> consider appropriate: I leave it to
>> you the best possible treatment.)
>>

Received on Tuesday, 30 November 2004 15:31:41 UTC