Generation of Orchestrator and Wrapper Protocols from Choreography Specifications

Monday, June 16, 2008 - 4:55pm


Gwen Salaun
University of Malaga, Spain

Date: Monday, June 16, 2008
Time: 3:30 – 4:30
Place: Computer Science Conference Room, Harold Frank Hall Rm. 1132

Choreography description languages specify interactions
among a set of services from a global point of view. From this
description, it is possible to generate either an orchestrator
(centralized interactions), or a set of peers or wrappers (distributed
interactions). In this talk, we present first a model of service
protocols with value passing, and an abstract choreography language to
describe their composition and adaptation. Adaptation is useful while
composing services to correct existing mismatches which might exist
between their interfaces. Being given abstract descriptions of
services and a choreography specification, we propose techniques to
generate an orchestrator and a set of wrapper protocols. To do so, we
rely on encodings into process algebra. Our approach is completely
automated by some tools we implemented and validated on many examples.

Short Bio:

Gwen Salaun received the PhD degree in Computer Science from the
University of Nantes, France, in 2003. He is currently an associate
researcher at the University of Malaga, Spain. His current research
interests include issues related to formal methods, specification and
verification, composition and adaptation of components and services.

Host: Tevfik Bultan