W3C home > Mailing lists > Public > public-ws-chor@w3.org > September 2005

Re: reasoning about interaction patterns

From: Steve Ross-Talbot <steve@pi4tech.com>
Date: Tue, 13 Sep 2005 12:39:52 +0100
Message-Id: <1e6bbe46d69e228c13ce890dc8a19d86@pi4tech.com>
Cc: Claudio Guidi <cguidi@cs.unibo.it>, public-ws-chor@w3.org
To: Roberto Lucchi <lucchi@cs.unibo.it>


are you in touch with Honda, Yoshida and Carbone at all? They have been 
doing work not unrelated but certainly a different facet to yours in 
looking at liveness and looking at both a global and an end-point 
calculus which form the basis of the formal semantics for CDL both now 
and in the future. You can get their details from the WS-CDL membership 

I shall take a look at the paper.


Steve T

On 13 Sep 2005, at 11:31, Roberto Lucchi wrote:

> Dear all,
> I would like to point out that a paper which deals with choreography 
> languages and in particular on the interaction patterns when alignment 
> property is considered has been published in the proceeding of 2nd 
> International Workshop on Web Services and Formal Methods WS-FM'05, 
> LNCS 3670.
> Here we report the abstract, we hope this can help and stimulate the 
> discussion about the right interaction patterns that should be used at 
> the choreography level.
> Abstract:
> Choreography languages provide a top-view design way for
> describing complex systems composed of services distributed over the
> network. The basic building block of such languages is the interaction
> between two peers which are of two kinds: request and request-respond.
> WS-CDL, which is the most representative choreography language, 
> supports a pattern for programming the request interaction and two 
> patterns
> for the request-respond one. Furthermore, it allows to specify if an 
> interaction is aligned or not whose meaning is related to the 
> possibility to
> control when the interaction completes. In this paper we reason about
> interaction patterns by analyzing their adequacy when considering the
> fact that they have to support the alignment property. We show the 
> inadequacy of the two patterns supporting the request-respond 
> interaction;
> one of them because it does not permit to reason on alignment at the
> right granularity level and the other one for some expressiveness 
> lacks.
> The paper is also available at the following URL:
> http://www.cs.unibo.it/~lucchi/pubbl.html
> Best regards,
>  Roberto
Received on Tuesday, 13 September 2005 11:40:06 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:30:33 UTC