Re: Choreography composition --- some relevant work

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:

   http://computer.org/proceedings/isads/1065/10650187abs.htm
   http://portal.acm.org/citation.cfm?doid=330560.330666

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:

   http://www.whyanbeel.net/phd/phd.pdf

Ciao,

AndyB


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