Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Choreographies: using Constraints to Satisfy Service Requests Alexander Lazovik,1

Summary: Choreographies: using Constraints to Satisfy Service Requests
Alexander Lazovik,1
Marco Aiello,1,2
and Rosella Gennari3
1. DIT, University of Trento, Via Sommarive 14, 38100 Trento, Italy
2. VITALab, TUWien, Argentinierstrasse 8, 1040 Wien, Austria
3. Bozen-Bolzano Free U., Piazza Domenicani 3, 39100 Bolzano, Italy
{lazovik,aiellom}@dit.unitn.it gennari@inf.unibz.it
Interacting with a web service enabled marketplace to
achieve a complex task involves sequencing a set of indi-
vidual service operations, gathering information from the
services, and making choices. In the context of coreogra-
phies of web services, we propose to encode the problem of
issuing requests as a constraint problem. In particular, we
provide a choreographic framework to handle requests, we
show how request encoding is performed, and we illustrate
an implementation using the Choco constraint system.
1 Introduction
Satisfying complex business requirements in service-


Source: Aiello, Marco - Institute for Mathematics and Computing Science, Rijksuniversiteit Groningen


Collections: Computer Technologies and Information Sciences