Re: Choreography composition --- some relevant work

Can you post actual links to these texts?

Frank

On Wednesday, July 16, 2003, at 06:22  AM, 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, 16 July 2003 14:20:13 UTC