- From: Claudio Guidi <cguidi@cs.unibo.it>
- Date: Wed, 30 May 2007 10:26:25 +0200
- To: Xianfei Tang <xianfei.tang@gmail.com>
- CC: public-ws-chor@w3.org
Hi Xianfei, if you are interested, we have formally analyzed the difference between orchestration and choreography in "Choreography and Orchestration conformance for system design" Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi and Gianluigi Zavattaro In Proc. of 8th International Conference on Coordination Models and Languages (COORDINATION'06). Volume 4038 of LNCS, pages 63-81, 2006. where we have proposed two formal calculi for choreography and orchestration respectively. Moreover, we have proposed a relationship between them which resembles a bisimulation realtion. In my PhD thesis you can find this topic deeply analyzed: http://www.cs.unibo.it/pub/TR/UBLCS/ABSTRACTS/2007.bib?ncstrl.cabernet//BOLOGNA-UBLCS-2007-07 Other very interesting formal works about choreography and orchestration are the following one: "Structured Communication-Centred Programming for Web Services" Marco Carbone, Kohei Honda and Nobuko Yoshida. ESOP 2007 "A Rigorous Approach To Engineering Web Service Compositions." Howard Foster. PhD. thesis, Imperial College London, University of London, Department of Computing, 2006. Regards, CG -- _____________________________________________________________ dr. Claudio Guidi Università di Bologna Corso di Laurea in Scienze dell'informazione via Sacchi, 3 47023 Cesena (FC), Italy Phone: +39-0547-338846 Fax: +39-0547-338890 e-mail: cguidi@cs.unibo.it _____________________________________________________________
Received on Wednesday, 30 May 2007 08:26:38 UTC