W3C home > Mailing lists > Public > public-ws-chor@w3.org > July 2003

Re: Choreography composition --- some relevant work

From: Andrew Berry <andyb@whyanbeel.net>
Date: Wed, 23 Jul 2003 23:45:54 +1000
Cc: public-ws-chor@w3.org
To: Andrew Berry <andyb@whyanbeel.net>
Message-Id: <FB28B7B7-BD13-11D7-B0D2-0003936786BC@whyanbeel.net>

I've had quite a number of requests for web links to the work 
referenced in my previous email.  There is no specific web page, but 
the following links might be useful:

Abstracts for the first two papers with links to full text are at:


If you have IEEE and ACM membership, you will be able to download the 
full text.  Unfortunately, copyright prevents me from making them 
publically available on a web site (at least, that is my understanding 
of the copyright agreement) hence the "on request" in my original email.

I've also put the PDF for my PhD up at:




On Wednesday, July 16, 2003, at 11:22  PM, Andrew Berry wrote:

> Hi,
> I'm a newcomer to the list and "choreography" lingo so forgive me if I 
> have missed some important context.
> I've been reading through the archives and noted that you're grappling 
> with the issues of behavioural composition in a distributed context.  
> I spent several years of my PhD on this issue and hope that I can 
> help.  The thesis describes a choreography (or coordination) language, 
> a formal execution semantics for the language, and a prototype for a 
> distributed, asynchronous runtime engine implementing the semantics.  
> The approach does not require any central mediator because execution 
> progresses based on partial state held at each participant.
> I've included some references to papers at the end of this email and 
> can supply copies of those and the thesis on request.  The third paper 
> is preceding but related work on the business/legal aspects of 
> implementing contracts that I think might be quite relevant to 
> choreography use cases.  The thesis has overview and example chapters 
> that are fairly approachable for those without significant interest in 
> the more formal and technical aspects of the work.
> I'll try to follup up on a few threads with more specific comments.
> Ciao,
> AndyB
> --
> 1. A Berry and S Kaplan,
> A Distributed Asynchronous Execution Semantics for Programming the 
> Middleware Machine
> Fifth International Symposium on Autonomous Distributed Systems,
> Dallas, March 2001
> 2. A Berry and S Kaplan,
> Open, Distributed Coordination with Finesse.
> ACM Symposium on Applied Computing,
> Atlanta, February 1998
> 3. Z Milosevic, A Berry, A Bond and K Raymond,
> Supporting Business Contracts in Open Distributed Systems.
> Proceedings of the International Workshop on Services in Distributed 
> and Networked Environments,
> IEEE, Whistler, Canada, June 1995.
Received on Wednesday, 23 July 2003 09:47:34 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:01:00 UTC