DIKU IT-C RUC

COPLAS

Copenhagen Programming Language Seminar


Choreography, Orchestration, and Contracts: Languages and Techniques for Service Composition

Gianluigi Zavattaro
University of Bologna

Tuesday 17 March 2009, 10:00-11:00
The IT University, Rued Langgaards Vej 7, DK-2300 Auditorium 3

Abstract:

We present emerging languages and techniques for service composition in the area of service oriented computing. In particular, we discuss the relationship between choreographic specifications of service systems (containing the description of the behaviour expected from the services composing the system) and the problem of retrieving already available services that correctly implement such systems (because their behaviour is conformant to that one described in the specification).


Scientific host:Thomas Hildebrandt Administrative host: Annette Enggaard. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU, KVL and RUC.
COPLAS is sponsored by the FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org